arXiv · 0705.4130
We prove that e.g. there is no omega_4-sequence in (omega_3)^{omega_3} increasing modulo the ideal of countable sets.
Explore connections, maps & timelines
Saharon Shelah. 2010-06-15. On long increasing chains modulo flat ideals. https://arxiv.org/abs/0705.4130
Cite the original work for its findings. Save a collection to share your selection of sources.
KEEP EXPLORING
We show that the expansion of the valued differential field of logarithmic-exponential transseries by its natural exponential function is model complete. We give an axiomatization of the theory of this expansion that is effective relative to the theory of the real exponential field, and show that any maximal Hardy field satisfies the same axioms. We use this to prove a transfer theorem between Hardy fields and transseries.
Inspired by a statement about Extended Frege proof systems by Jain and Jin (FOCS 2022) we prove that: - there is a p-time binary relation $\approx$ between circuits that implies their logical equivalence, - if the equivalence $C \equiv D$ has an Extended Frege or a Circuit Frege proof with $k$ steps then there is a chain of circuits $E_i$ $$ C = E_0 \approx \dots \approx E_t = D $$ with $t \le O(k \log k)$, and the total size of the chain is bounded above by $(k+|C|+|D|)^{O(1)}$.
Erdős Problem 1154 asks whether every number in $[0,1]$ occurs as the Hausdorff dimension of a subring or subfield of $\mathbb{R}$. We prove that a subring of $\mathbb{R}$ closed under binary interleaving has Hausdorff dimension either zero or one. Consequently, every Turing ideal and its associated subfield satisfy the same dichotomy.