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
  Thoughts on hyper-operations of rational but non-integer orders? VSO 2 770 09/09/2019, 10:38 PM
Last Post: tommy1729
  Hyper-volume by integration Xorter 0 1,505 04/08/2017, 01:52 PM
Last Post: Xorter
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,622 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 41,411 09/02/2016, 02:11 AM
Last Post: tommy1729
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 17,361 08/22/2016, 12:19 AM
Last Post: JmsNxn
  The bounded analytic semiHyper-operators JmsNxn 2 3,825 05/27/2016, 04:03 AM
Last Post: JmsNxn
  Set theory debate : cantor 1st / Virgil argument. tommy1729 1 2,092 12/08/2015, 11:14 PM
Last Post: tommy1729
  on constructing hyper operations for bases > eta JmsNxn 1 2,851 04/08/2015, 09:18 PM
Last Post: marraco
  Bounded Analytic Hyper operators JmsNxn 25 21,395 04/01/2015, 06:09 PM
Last Post: MphLee
  [2015] Spiderweb theory tommy1729 0 1,926 03/29/2015, 06:25 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)