Buchumschlag

The fractal Goodstein principle

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fernández-Duque, David, Weiermann, Andreas
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A walk with Goodstein
von: Fernández-Duque, David, et al.
Veröffentlicht: (2020)

The Ouroboros Goodstein Principle
von: Fernández-Duque, David, et al.
Veröffentlicht: (2026)

Goodstein at the Second Threshold: An Independence Result for $ID_2$
von: Gjetaj, Oriola, et al.
Veröffentlicht: (2026)

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
von: Fernández-Duque, David, et al.
Veröffentlicht: (2022)

Fast Goodstein walks
von: David Fernández‐Duque, et al.
Veröffentlicht: (2024)

Maximum linearizations of lower sets in $\mathbb{N}^m$ with application to monomial ideals
von: Altman, Harry, et al.
Veröffentlicht: (2019)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
von: Buriola, Gabriele, et al.
Veröffentlicht: (2025)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
von: Buriola, Gabriele, et al.
Veröffentlicht: (2025)

On inverse Goodstein sequences
von: Uftring, Patrick
Veröffentlicht: (2023)

Dynamic Cantor Derivative Logic
von: Fernández-Duque, David, et al.
Veröffentlicht: (2021)

Tree Rewriting Calculi for Strictly Positive Logics
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2025)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

The Baire closure and its logic
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2021)

Generalizing Goodstein's theorem and Cichon's independence proof
von: Wilken, Gunnar
Veröffentlicht: (2025)

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

An independence of the MIN principle from the PHP principle
von: Narusevych, Mykyta
Veröffentlicht: (2024)

A tree rewriting system for the Reflection Calculus
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2024)

Polytopological Semantics for Intuitionistic Modal Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2026)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)

Common Knowledge Always, Forever
von: Diéguez, Martín, et al.
Veröffentlicht: (2026)

The measuring principle and the continuum hypothesis
von: Golshani, Mohammad, et al.
Veröffentlicht: (2022)

Constructive S4 modal logics with the finite birelational frame property
von: Balbiani, Philippe, et al.
Veröffentlicht: (2024)

Goldstern's principle about unions of null sets
von: Goto, Tatsuya
Veröffentlicht: (2022)

Refinements of provability and consistency principles for the second incompleteness theorem
von: Kurahashi, Taishi
Veröffentlicht: (2025)

Modal reduction principles: a parametric shift to graphs
von: Conradie, Willem, et al.
Veröffentlicht: (2024)

Characterizing fragments of collection principle in set theory with model theoretic properties
von: Chen, Junhong
Veröffentlicht: (2025)

Relative leftmost path principles and omega-model reflections of transfinite inductions
von: Suzuki, Yudai
Veröffentlicht: (2024)

Reductions of well-ordering principles to combinatorial theorems
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2024)

On some $Σ^{B}_{0}$-formulae generalizing counting principles over $V^{0}$
von: Ken, Eitetsu
Veröffentlicht: (2022)

On the logical structure of choice and bar induction principles
von: Brede, Nuria, et al.
Veröffentlicht: (2021)

A precise proof of the n-variable Bekic principle
von: Xu, Jun
Veröffentlicht: (2025)

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
von: Lorenz Halbeisen, et al.
Veröffentlicht: (2024)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
von: Cabalar, Pedro, et al.
Veröffentlicht: (2026)

Diamond principles and Tukey-top ultrafilters on a countable set
von: Benhamou, Tom, et al.
Veröffentlicht: (2024)

Variants of the chain-antichain principle in reverse mathematics
von: Hughes, Noah A.
Veröffentlicht: (2025)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
von: Alvarez, David Quinn
Veröffentlicht: (2025)

Base-extension Semantics for Intuitionistic Modal Logics
von: Buzoku, Yll, et al.
Veröffentlicht: (2025)

Did Turing prove the undecidability of the halting problem?
von: Hamkins, Joel David, et al.
Veröffentlicht: (2024)

Base-extension Semantics for Modal Logic
von: Eckhardt, Timo, et al.
Veröffentlicht: (2024)

Selection principles and proofs from the Book
von: Tsaban, Boaz
Veröffentlicht: (2023)