Buchumschlag

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal

Fuente: arXiv

Gespeichert in:

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

Ähnliche Einträge

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

The fractal Goodstein principle
von: Fernández-Duque, David, et al.
Veröffentlicht: (2025)

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)

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

Descending sequences in reflection hierarchies
von: Łełyk, Mateusz, et al.
Veröffentlicht: (2025)

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)

Realizing the totally unordered structure of ordinals
von: Fontanella, Laura, et al.
Veröffentlicht: (2025)

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

Constructive theory of ordinals
von: Coquand, Thierry, et al.
Veröffentlicht: (2022)

An ordinal analysis of a single stable ordinal
von: Arai, Toshiyasu
Veröffentlicht: (2022)

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)

Games with backtracking options corresponding to the ordinal analysis of $PA$
von: Ken, Eitetsu
Veröffentlicht: (2024)

Equational theory of ordinals with addition and left multiplication by $ω$
von: Choffrut, Christian
Veröffentlicht: (2024)

Higher arithmetic on the ordinals
von: Ducourtial, Adrian
Veröffentlicht: (2025)

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)

An ordinal analysis of $Π_{N}$-Collection
von: Arai, Toshiyasu
Veröffentlicht: (2023)

A Curry-Howard Correspondence for Linear, Reversible Computation
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2023)

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

The short exact sequence in definable Galois cohomology
von: Meretzky, David
Veröffentlicht: (2024)

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

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
von: Pinsker, Michael, et al.
Veröffentlicht: (2025)

Fundamental Propositional Logic with Strict Implication
von: Chen, Zhicheng
Veröffentlicht: (2025)

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

Monotone infinitary operations on ordinals (extended version)
von: Lipparini, Paolo
Veröffentlicht: (2025)

Goldblat-Thomason Theorems for Fundamental (Modal) Logic
von: Massas, Guillaume
Veröffentlicht: (2024)

Clarifying ordinals
von: Schweber, Noah
Veröffentlicht: (2024)

Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
von: Congard, Sidney, et al.
Veröffentlicht: (2025)

Fundamental sequences based on localization
von: Wilken, Gunnar
Veröffentlicht: (2024)

Sign sequences of log-atomic numbers
von: Bagayoko, Vincent
Veröffentlicht: (2024)

Collapsing the bounded width hierarchy for infinite-domain CSPs: when symmetries are enough
von: Mottet, Antoine, et al.
Veröffentlicht: (2021)

New simple theories from hypergraph sequences
von: Malliaris, M., et al.
Veröffentlicht: (2021)

Individual choice sequences -- History, development and use
von: Niekus, Joop
Veröffentlicht: (2025)

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

On the representation of C-recursive integer sequences by arithmetic terms
von: Prunescu, Mihai, et al.
Veröffentlicht: (2024)