Image de couverture de livre

Avoiding logical strength in real analysis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Freund, Anton, Pischke, Nicholas, Uftring, Patrick
Format:	Preprint
Publié:	2026
Sujets:	Logic 03B30, 03F35, 03F60
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

More conservativity for weak Kőnig's lemma
par: Freund, Anton, et autres
Publié: (2024)

Weak and Strong Versions of Effective Transfinite Recursion
par: Uftring, Patrick
Publié: (2022)

On inverse Goodstein sequences
par: Uftring, Patrick
Publié: (2023)

Induction on Dilators and Bachmann-Howard Fixed Points
par: Aguilera, Juan P., et autres
Publié: (2024)

Dilators and the reverse mathematics zoo
par: Freund, Anton
Publié: (2024)

Maximal order types for sequences with gap condition
par: Uftring, Patrick
Publié: (2025)

Fraïssé's conjecture, partial impredicativity and well-ordering principles, part I
par: Freund, Anton
Publié: (2024)

Connecting real and hyperarithmetical analysis
par: Sanders, Sam
Publié: (2024)

The uniform Kruskal theorem over RCA$_0$
par: Uftring, Patrick
Publié: (2025)

Reverse mathematics of a uniform Kruskal-Friedman theorem
par: Freund, Anton
Publié: (2021)

The uncountability of the reals and the Axiom of Choice
par: Normann, Dag, et autres
Publié: (2026)

Encoding Sequences in Intuitionistic Real Algebra
par: Erdélyi-Szabó, Miklós
Publié: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
par: Erdélyi-Szabó, Miklós
Publié: (2024)

On countability and representations
par: Sanders, Sam
Publié: (2026)

On two recent extensions of the Big Five of Reverse Mathematics
par: Normann, Dag, et autres
Publié: (2024)

A note on continuous functions on metric spaces
par: Sanders, Sam
Publié: (2024)

On sequential theorems in Reverse Mathematics
par: Normann, Dag, et autres
Publié: (2024)

Coding is hard
par: Sanders, Sam
Publié: (2024)

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
par: Kulshreshtha, Dhruv
Publié: (2024)

Approximation theorems throughout Reverse Mathematics
par: Sanders, Sam
Publié: (2023)

Open questions about Ramsey-type statements in reverse mathematics
par: Patey, Ludovic
Publié: (2015)

Big in Reverse Mathematics: measure and category
par: Sanders, Sam
Publié: (2023)

A non-speedup result for the chain-antichain principle over a weak base theory
par: Kowalik, Katarzyna W.
Publié: (2025)

Proof-theoretic dilator and intermediate pointclasses
par: Jeon, Hanul
Publié: (2025)

On the hierarchy of natural theories
par: Walsh, James
Publié: (2021)

The finite cohesiveness principle
par: Sun, Mengzhou
Publié: (2025)

Effective inseparability and some applications in meta-mathematics
par: Cheng, Yong
Publié: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
par: Cheng, Yong
Publié: (2023)

The limitless First Incompleteness Theorem
par: Cheng, Yong
Publié: (2021)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
par: Buriola, Gabriele, et autres
Publié: (2025)

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
par: Müller, Sandra, et autres
Publié: (2025)

Axiom Beta Implies Elementary Transfinite Recursion
par: Frittaion, Emanuele, et autres
Publié: (2026)

Well-quasi-orders on finite trees and transfinite sequences
par: Chopra, Alakh Dhruv, et autres
Publié: (2026)

On Nash-Williams' Theorem regarding sequences with finite range
par: Pakhomov, Fedor, et autres
Publié: (2024)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
par: Houérou, Quentin Le, et autres
Publié: (2026)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
par: Anttila, Aleksi, et autres
Publié: (2025)

Herbrandized modified realizability
par: Ferreira, Gilda, et autres
Publié: (2024)

The computational content of multidimensional discontinuity
par: Hölzl, Rupert, et autres
Publié: (2024)

On the computational properties of ambivalent sets and functions
par: Normann, Dag, et autres
Publié: (2026)

A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces
par: Neri, Morenikeji
Publié: (2024)