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

Users browsing this thread: 1 Guest(s)