Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Hyper operators in computability theory
ok, take your time.

Anyways I think this is only the tip of the iceberg.

About clone theory ... this is insanely curious. This is not a theory that you meet that often... at least I don't. This is the second time I hear of that and the first time was... inside an answer an MSE user gave me about compatible posets on algebraic structures.. to be more precise I had in mind the transitive closure of dynamical systems (defined by left or right translations of binary operations) ... and he came up with the fact that it is sufficient to look at the compatibility of quasiorders on monounary algebras... that are just dynamical systems where the phase space need not to be a metric space or a topological one.

Obviously I went into this because monounary algebras are the synthetic way to talk about ranks in full abstraction. There you can define connectedness, define a meet operation, talk about three kind of ranks too (finite, period, "co-rank" and rank relative to an element) and alot of other interesting notions form a purely algebraic point of view that is more fundamental  than the topological features of dynamical systems. (fixed points, cyclic/periodical points, the lattice of the iterations are all algebraic in nature. look)

And Clone theory seems so unrelated to all of this that I do not know well what to think.
MathStackExchange account:MphLee

Messages In This Thread
RE: Hyper operators in computability theory - by MphLee - 02/15/2017, 10:07 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Hyper-volume by integration Xorter 0 1,152 04/08/2017, 01:52 PM
Last Post: Xorter
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,259 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 33,784 09/02/2016, 02:11 AM
Last Post: tommy1729
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 14,629 08/22/2016, 12:19 AM
Last Post: JmsNxn
  The bounded analytic semiHyper-operators JmsNxn 2 3,127 05/27/2016, 04:03 AM
Last Post: JmsNxn
  Set theory debate : cantor 1st / Virgil argument. tommy1729 1 1,688 12/08/2015, 11:14 PM
Last Post: tommy1729
  on constructing hyper operations for bases > eta JmsNxn 1 2,330 04/08/2015, 09:18 PM
Last Post: marraco
  Bounded Analytic Hyper operators JmsNxn 25 17,080 04/01/2015, 06:09 PM
Last Post: MphLee
  [2015] Spiderweb theory tommy1729 0 1,600 03/29/2015, 06:25 PM
Last Post: tommy1729
  [number theory] sieving with a_i mod p_i tommy1729 7 6,816 09/12/2014, 07:28 AM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)