Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Hyper operators in computability theory
#6
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
Reply


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 137 09/09/2019, 10:38 PM
Last Post: tommy1729
  Hyper-volume by integration Xorter 0 1,219 04/08/2017, 01:52 PM
Last Post: Xorter
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,328 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 35,328 09/02/2016, 02:11 AM
Last Post: tommy1729
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 15,275 08/22/2016, 12:19 AM
Last Post: JmsNxn
  The bounded analytic semiHyper-operators JmsNxn 2 3,264 05/27/2016, 04:03 AM
Last Post: JmsNxn
  Set theory debate : cantor 1st / Virgil argument. tommy1729 1 1,766 12/08/2015, 11:14 PM
Last Post: tommy1729
  on constructing hyper operations for bases > eta JmsNxn 1 2,438 04/08/2015, 09:18 PM
Last Post: marraco
  Bounded Analytic Hyper operators JmsNxn 25 17,977 04/01/2015, 06:09 PM
Last Post: MphLee
  [2015] Spiderweb theory tommy1729 0 1,663 03/29/2015, 06:25 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)