Skip to main content
Joerg Zimmermann's user avatar
Joerg Zimmermann's user avatar
Joerg Zimmermann's user avatar
Joerg Zimmermann
  • Member for 12 years, 6 months
awarded
awarded
comment
Monotonic bijections of rational numbers
Thanks for this nice and explicit example, Jeremy. I wonder if there are other elementary functions besides quotients of linear functions which can be used to piece together a monotonic bijection (that there are a lot of other, but maybe not elementary, functions follows from the comments by Emil Jeřábek).
comment
Monotonic bijections of rational numbers
Enlightening constructions, Emil, thank you very much. So even if the rationals have not such a "smooth" structure as the reals, there is still a large degree of flexibility in reparameterizing stochastic models having a rational parameter. Have to think about the implications...
accepted
awarded
revised
Monotonic bijections of rational numbers
Changing the requirement from continuous to monotonic, because that fits better what I'm interested in.
Loading…
comment
Monotonic bijections of rational numbers
You're right, I'm not interested in these (at least not at the moment), so I should add monotonic as a requirement. Can you please provide or point to a non-monotonic continuous bijection from $\mathbb{Q}$ to itself? Thanks a lot in advance!
asked
Loading…
awarded
awarded
comment
Large cardinal axioms and total recursive functions
First of all, thanks a lot for your quick and enlightening answers! Also the discussion about intensional and extensional definitions raises an important point for further contemplation. As Francois has correctly remarked, in my context the intensional view seems to be appropriate, because I deal with programs executed on a universal reference TM. It is fascinating, that these large cardinals, which are directly concerned with unfathomable infinities, have such interesting implications for effective objects.
awarded
Loading…