Copertina

The Ouroboros Goodstein Principle

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Fernández-Duque, David, Morreel, Milan, Weiermann, Andreas
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The fractal Goodstein principle
di: Fernández-Duque, David, et al.
Pubblicazione: (2025)

A walk with Goodstein
di: Fernández-Duque, David, et al.
Pubblicazione: (2020)

Goodstein at the Second Threshold: An Independence Result for $ID_2$
di: Gjetaj, Oriola, et al.
Pubblicazione: (2026)

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

Fast Goodstein walks
di: David Fernández‐Duque, et al.
Pubblicazione: (2024)

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

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

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

On inverse Goodstein sequences
di: Uftring, Patrick
Pubblicazione: (2023)

Dynamic Cantor Derivative Logic
di: Fernández-Duque, David, et al.
Pubblicazione: (2021)

The Complexity of the Constructive Master Modality
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2026)

Tree Rewriting Calculi for Strictly Positive Logics
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2025)

The Baire closure and its logic
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2021)

Generalizing Goodstein's theorem and Cichon's independence proof
di: Wilken, Gunnar
Pubblicazione: (2025)

Induction on Dilators and Bachmann-Howard Fixed Points
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)

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

Polytopological Semantics for Intuitionistic Modal Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2026)

Common Knowledge Always, Forever
di: Diéguez, Martín, et al.
Pubblicazione: (2026)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

Reflection Principles in ZFU
di: Glazer, Elliot, et al.
Pubblicazione: (2026)

Constructive S4 modal logics with the finite birelational frame property
di: Balbiani, Philippe, et al.
Pubblicazione: (2024)

Berkeley Cardinals and Vopěnka's Principle
di: Mohammd, Marwan Salam
Pubblicazione: (2024)

The strong reflecting property and Harrington's Principle
di: Cheng, Yong
Pubblicazione: (2015)

A New Weak Choice Principle
di: Halbeisen, Lorenz, et al.
Pubblicazione: (2021)

Formalization of the Filter Extension Principle (FEP) in Coq
di: Dou, Guowei, et al.
Pubblicazione: (2024)

Deducibility of Identicals, Reflection Principle and Synthetic Connectives
di: Nishimuta, Yuki
Pubblicazione: (2019)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
di: Narusevych, Mykyta
Pubblicazione: (2022)

On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
di: Narusevych, Mykyta
Pubblicazione: (2026)

Relationships between Principles of Choice in Second-Order Henkin Structures
di: Gaßner, Christine
Pubblicazione: (2024)

Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$
di: Gilton, Thomas, et al.
Pubblicazione: (2022)

The weak Extension Principle
di: Vignati, Alessandro, et al.
Pubblicazione: (2024)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
di: Cabalar, Pedro, et al.
Pubblicazione: (2026)

Policies Grow on Trees: Model Checking Families of MDPs
di: Andriushchenko, Roman, et al.
Pubblicazione: (2024)

Small Decision Trees for MDPs with Deductive Synthesis
di: Andriushchenko, Roman, et al.
Pubblicazione: (2025)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
di: Alvarez, David Quinn
Pubblicazione: (2025)

The Size-Change Principle for Mixed Inductive and Coinductive types
di: Hyvernat, Pierre
Pubblicazione: (2024)

Goldstern's Principle with respect to Hausdorff Measures
di: Goto, Tatsuya
Pubblicazione: (2025)

Did Turing prove the undecidability of the halting problem?
di: Hamkins, Joel David, et al.
Pubblicazione: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
di: Buzoku, Yll, et al.
Pubblicazione: (2025)