Cover Image

On Nash-Williams' Theorem regarding sequences with finite range

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pakhomov, Fedor, Soldà, Giovanni
Format:	Preprint
Published:	2024
Subjects:	Logic 06A07 03B30 03F35 03E30
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Generalized Higman's Theorem and iterated ideals
by: Pakhomov, Fedor, et al.
Published: (2025)

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

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

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

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

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

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

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

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

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

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
by: Kulshreshtha, Dhruv
Published: (2024)

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

On the Rainbow Ramsey theorem and the Canonical Ramsey Theorem for pairs without AC
by: Banerjee, Amitayu, et al.
Published: (2024)

On two recent extensions of the Big Five of Reverse Mathematics
by: Normann, Dag, et al.
Published: (2024)

A note on continuous functions on metric spaces
by: Sanders, Sam
Published: (2024)

On sequential theorems in Reverse Mathematics
by: Normann, Dag, et al.
Published: (2024)

Coding is hard
by: Sanders, Sam
Published: (2024)

Connecting real and hyperarithmetical analysis
by: Sanders, Sam
Published: (2024)

Approximation theorems throughout Reverse Mathematics
by: Sanders, Sam
Published: (2023)

Open questions about Ramsey-type statements in reverse mathematics
by: Patey, Ludovic
Published: (2015)

Big in Reverse Mathematics: measure and category
by: Sanders, Sam
Published: (2023)

On countability and representations
by: Sanders, Sam
Published: (2026)

The uncountability of the reals and the Axiom of Choice
by: Normann, Dag, et al.
Published: (2026)

Fragments of arithmetic and cyclic proofs
by: Beklemishev, Lev D., et al.
Published: (2025)

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
by: Müller, Sandra, et al.
Published: (2025)

Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)

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

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

The limitless First Incompleteness Theorem
by: Cheng, Yong
Published: (2021)

Abstraction Principles and the Size of Reality
by: Yao, Bokai
Published: (2025)

Reduced Set Theory
by: Kunik, Matthias
Published: (2023)

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

Force a set model of $Z_3$ + Harrington's Principle
by: Cheng, Yong
Published: (2014)

Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)

Tarski's Undefinability Theorem and first-order arithmetic
by: Boyce, Stephen
Published: (2010)

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

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

On a cofinal Reinhardt embedding without Powerset
by: Jeon, Hanul
Published: (2024)

Plenitudinous Urelements and the Definability of Cardinality
by: Yao, Bokai
Published: (2025)