Buchumschlag

Axiom Beta Implies Elementary Transfinite Recursion

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Frittaion, Emanuele, Genovesi, Giorgio G.
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic 03E30, 03B30 (Primary) 03D60, 03F05 (Secondary)
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The reverse mathematics of bounded Ramsey's theorem for pairs
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2025)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
von: Cipriani, Vittorio, et al.
Veröffentlicht: (2022)

Ramsey-like theorems for separable permutations
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2025)

Weak and Strong Versions of Effective Transfinite Recursion
von: Uftring, Patrick
Veröffentlicht: (2022)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2026)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
von: Gerdes, Peter
Veröffentlicht: (2023)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
von: Harrington, Leo A., et al.
Veröffentlicht: (2025)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
von: Mancosu, Paolo, et al.
Veröffentlicht: (2023)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
von: Kołodziejczyk, Leszek Aleksander, et al.
Veröffentlicht: (2026)

Induction on Dilators and Bachmann-Howard Fixed Points
von: Aguilera, Juan P., et al.
Veröffentlicht: (2024)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

On Separating Wholeness Axioms
von: Jeon, Hanul
Veröffentlicht: (2023)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
von: Vodrazka, Daniel
Veröffentlicht: (2025)

Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
von: Massmann, Jayde Sylvie
Veröffentlicht: (2023)

Forcing as a Local Method of Accessing Small Extensions
von: Lau, Desmond
Veröffentlicht: (2024)

The computational content of multidimensional discontinuity
von: Hölzl, Rupert, et al.
Veröffentlicht: (2024)

The finite cohesiveness principle
von: Sun, Mengzhou
Veröffentlicht: (2025)

$Π^0_4$ conservation of the Ordered Variable Word theorem
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

Iterated jump noncomputability and compactness
von: Dooley, Gavin
Veröffentlicht: (2025)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
von: Aceves-Martínez, Bruno Fernando, et al.
Veröffentlicht: (2024)

Hindman's Theorem in the hierarchy of Choice Principles
von: Fernández-Bretón, David J.
Veröffentlicht: (2022)

Avoiding logical strength in real analysis
von: Freund, Anton, et al.
Veröffentlicht: (2026)

A non-speedup result for the chain-antichain principle over a weak base theory
von: Kowalik, Katarzyna W.
Veröffentlicht: (2025)

Reduced Set Theory
von: Kunik, Matthias
Veröffentlicht: (2023)

Open Colorings and Baumgartner's Axiom
von: Notaro, Lorenzo
Veröffentlicht: (2026)

Broad Infinity and Generation Principles
von: Levy, Paul Blain
Veröffentlicht: (2021)

The uncountability of the reals and the Axiom of Choice
von: Normann, Dag, et al.
Veröffentlicht: (2026)

On the Existence and Disjunction Properties in Structural Set Theory
von: Saving, Mark
Veröffentlicht: (2023)

(Extra)ordinary equivalences with the ascending/descending sequence principle
von: Fiori-Carones, Marta, et al.
Veröffentlicht: (2021)

Contrasting the Halves of an Ahmad Pair
von: Ravishankar, Karthik
Veröffentlicht: (2025)

Chains and antichains in the Weihrauch lattice
von: Lempp, Steffen, et al.
Veröffentlicht: (2024)

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
von: Müller, Sandra, et al.
Veröffentlicht: (2025)

Combinatorial Properties Related to the Higher Baumgartner's Axiom
von: Krueger, John
Veröffentlicht: (2026)

Satisfaction classes with approximate disjunctive correctness
von: Enayat, Ali
Veröffentlicht: (2023)

Dilators and the reverse mathematics zoo
von: Freund, Anton
Veröffentlicht: (2024)

Hindman and Owings-like theorems without the Axiom of Choice
von: Guzmán-Vega, José A., et al.
Veröffentlicht: (2026)

The reverse mathematics of the pigeonhole hierarchy
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

Strong reducibilities and set theory
von: Schweber, Noah
Veröffentlicht: (2024)

On double-membership graphs of models of Anti-Foundation
von: Adam-Day, Bea, et al.
Veröffentlicht: (2019)