Image de couverture de livre

Goodstein at the Second Threshold: An Independence Result for $ID_2$

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gjetaj, Oriola, Weiermann, Andreas
Format:	Preprint
Publié:	2026
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The fractal Goodstein principle
par: Fernández-Duque, David, et autres
Publié: (2025)

A walk with Goodstein
par: Fernández-Duque, David, et autres
Publié: (2020)

Free sets, thin sets and rainbows for barriers
par: Carlucci, Lorenzo, et autres
Publié: (2026)

The Ouroboros Goodstein Principle
par: Fernández-Duque, David, et autres
Publié: (2026)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
par: Buriola, Gabriele, et autres
Publié: (2025)

Ramsey-like theorems for the Schreier barrier
par: Carlucci, Lorenzo, et autres
Publié: (2024)

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
par: Fernández-Duque, David, et autres
Publié: (2022)

Maximum linearizations of lower sets in $\mathbb{N}^m$ with application to monomial ideals
par: Altman, Harry, et autres
Publié: (2019)

Fast Goodstein walks
par: David Fernández‐Duque, et autres
Publié: (2024)

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

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

AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic
par: Gaßner, Christine
Publié: (2024)

AC and the Independence of WO in Second-Order Henkin Logic, Part II
par: Gaßner, Christine
Publié: (2024)

Generalizing Goodstein's theorem and Cichon's independence proof
par: Wilken, Gunnar
Publié: (2025)

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

A Dual-Threshold Probabilistic Knowing Value Logic
par: Wang, Shanxia
Publié: (2026)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Monadic Second-Order Logic of Permutations
par: Jelínek, Vít, et autres
Publié: (2025)

Equivalence and Conditional Independence in Atomic Sheaf Logic
par: Simpson, Alex
Publié: (2024)

AC and the Independence of WO in Second-Order Henkin Logic, Part I
par: Gaßner, Christine
Publié: (2024)

Comodule Representations of Second-Order Functionals
par: Ahman, Danel, et autres
Publié: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
par: Geuvers, Herman
Publié: (2026)

Independence relations in the Solovay model I
par: Zapletal, Jindrich
Publié: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

Permutation Models of Second Order
par: Gaßner, Christine
Publié: (2024)

Axiomatic Theory of Independence Relations in Model Theory
par: d'Elbée, Christian
Publié: (2023)

Optimal Results on ITRM-recognizability
par: Carl, Merlin
Publié: (2013)

Results on Colored Tree Properties
par: Day, Gabriel
Publié: (2025)

Free Independence is not definable
par: Boulanger, William, et autres
Publié: (2025)

Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects
par: He, Jialiang, et autres
Publié: (2026)

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

Enumerating Independent Linear Inferences
par: Das, Anupam, et autres
Publié: (2021)

A Characterization Result for Non-Distributive Logics
par: Chrysafis, et autres
Publié: (2020)

Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions
par: Müller, Sandra
Publié: (2024)

Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
par: Grobner, Harald
Publié: (2026)

Some Results on Finitely Splitting Subtrees of Aronszajn Trees
par: Krueger, John
Publié: (2024)

Definability of some $k$-ary Relations Over Second Order kinds of Logics
par: Costa, Simone, et autres
Publié: (2025)

At the Edge of Putnam's Program: Limitative Results For Computable Inductive Logics
par: Mercier, Antoine, et autres
Publié: (2026)

Reintroducing the Second Player in EPR
par: Chew, Leroy, et autres
Publié: (2026)

On P=NP Either False or Independent of ZFC
par: Williamson, S Gill
Publié: (2024)