Copertina

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Buriola, Gabriele, Weiermann, Andreas
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic 03B30, 03F35, 05C05, 06A07
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

The uniform Kruskal theorem over RCA$_0$
di: Uftring, Patrick
Pubblicazione: (2025)

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

Maximal order types for sequences with gap condition
di: Uftring, Patrick
Pubblicazione: (2025)

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

A Lower Bound for Kruskal's Weak Tree Function tree(3)
di: Giroux, Mark
Pubblicazione: (2026)

The finite cohesiveness principle
di: Sun, Mengzhou
Pubblicazione: (2025)

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

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

Coherence for logicians
di: Petric, Zoran, et al.
Pubblicazione: (2024)

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

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

Tukey morphisms between finite relations
di: Barton, Rhett, et al.
Pubblicazione: (2023)

Limit Semigroups with 2 Generators
di: Estrada, Felipe, et al.
Pubblicazione: (2025)

Dilators and the reverse mathematics zoo
di: Freund, Anton
Pubblicazione: (2024)

Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2025)

Linear Orders in Presburger Arithmetic
di: Pakhomov, Fedor, et al.
Pubblicazione: (2022)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
di: Aceves-Martínez, Bruno Fernando, et al.
Pubblicazione: (2024)

Non-Compact Proofs
di: Artemov, Sergei
Pubblicazione: (2025)

On maximal ladders
di: Notaro, Lorenzo
Pubblicazione: (2026)

Ladders and Squares
di: Notaro, Lorenzo
Pubblicazione: (2025)

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

Serial Properties, Selector Proofs, and the Provability of Consistency
di: Artemov, Sergei
Pubblicazione: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

$Π^0_4$ conservation of the Ordered Variable Word theorem
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

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

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

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

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

Proof-theoretic dilator and intermediate pointclasses
di: Jeon, Hanul
Pubblicazione: (2025)

Truth and collection
di: Wcisło, Bartosz
Pubblicazione: (2024)

Classical determinate truth without induction
di: Wcisło, Bartosz
Pubblicazione: (2024)

Elementary properties of free lattices II: Decidability of the universal theory
di: Nation, J. B., et al.
Pubblicazione: (2025)

Elementary Properties of Free Lattices
di: Nation, J. B., et al.
Pubblicazione: (2023)

Elementary properties of free lattices III: Undecidability of the full theory
di: Nation, J. B., et al.
Pubblicazione: (2025)

Ramsey-like theorems for separable permutations
di: Houérou, Quentin Le, et al.
Pubblicazione: (2025)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
di: Anttila, Aleksi, et al.
Pubblicazione: (2025)

Fraïssé's conjecture, partial impredicativity and well-ordering principles, part I
di: Freund, Anton
Pubblicazione: (2024)

Structural focalization
di: Simmons, Robert J.
Pubblicazione: (2011)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
di: Houérou, Quentin Le, et al.
Pubblicazione: (2026)