Cover Image

Maximal order types for sequences with gap condition

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Uftring, Patrick
Format:	Preprint
Published:	2025
Subjects:	Logic 06A06, 03B30, 03F35, 03E10, 05C05, 03F15
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The uniform Kruskal theorem over RCA$_0$
by: Uftring, Patrick
Published: (2025)

On inverse Goodstein sequences
by: Uftring, Patrick
Published: (2023)

Reverse mathematics of a uniform Kruskal-Friedman theorem
by: Freund, Anton
Published: (2021)

(Extra)ordinary equivalences with the ascending/descending sequence principle
by: Fiori-Carones, Marta, et al.
Published: (2021)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

Well-quasi-orders on finite trees and transfinite sequences
by: Chopra, Alakh Dhruv, et al.
Published: (2026)

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

Weak and Strong Versions of Effective Transfinite Recursion
by: Uftring, Patrick
Published: (2022)

On Nash-Williams' Theorem regarding sequences with finite range
by: Pakhomov, Fedor, et al.
Published: (2024)

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

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)

Dilators and the reverse mathematics zoo
by: Freund, Anton
Published: (2024)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

The finite cohesiveness principle
by: Sun, Mengzhou
Published: (2025)

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

Copies of Monomorphic Structures
by: Kurilić, Miloš S.
Published: (2023)

Forcing With Copies of Uncountable Ordinals
by: Kurilić, Miloš S.
Published: (2023)

Limit Semigroups with 2 Generators
by: Estrada, Felipe, et al.
Published: (2025)

More conservativity for weak Kőnig's lemma
by: Freund, Anton, et al.
Published: (2024)

Avoiding logical strength in real analysis
by: Freund, Anton, et al.
Published: (2026)

Modal group theory: homomorphisms
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Reduced Products of Collapsing Algebras
by: Kurilić, Miloš S.
Published: (2024)

Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)

Tukey-idempotency and strong p-points
by: Benhamou, Tom, et al.
Published: (2025)

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

Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

The behavior of higher proof theory I: Case $Σ^1_2$
by: Jeon, Hanul
Published: (2024)

The Ordering Principle and Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

The Ordering Principle and Higher Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

Truth and collection
by: Wcisło, Bartosz
Published: (2024)

Classical determinate truth without induction
by: Wcisło, Bartosz
Published: (2024)

Some questions on entangled linear orders
by: Carroy, Raphaël, et al.
Published: (2025)

Modal group theory
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Axiomatizing small varieties of periodic l-pregroups
by: Galatos, Nikolaos, et al.
Published: (2025)

On the limits of comparing subset sizes within $\mathbb{N}$
by: Wenmackers, Sylvia
Published: (2024)

Reflection ranks via infinitary derivations
by: Walsh, James
Published: (2021)

Cohen-like first order structures
by: Kostana, Ziemowit
Published: (2020)

Cutsets in ${\mathcal P}(X)$
by: Ginsburg, John, et al.
Published: (2025)