Cover Image

The finite cohesiveness principle

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Sun, Mengzhou
Format:	Preprint
Published:	2025
Subjects:	Logic 03B30, 03C62, 03F35, 03F30, 05D10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
by: Sun, Mengzhou
Published: (2024)

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

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

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

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
by: Fukumoto, Yusei
Published: (2025)

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

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

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

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

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

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

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

The reverse mathematics of bounded Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2025)

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

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

The reverse mathematics of the pigeonhole hierarchy
by: Houérou, Quentin Le, et al.
Published: (2024)

Effective inseparability and some applications in meta-mathematics
by: Cheng, Yong
Published: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
by: Cheng, Yong
Published: (2023)

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

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)

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

Saturation properties for compositional truth with propositional correctness
by: Wcisło, Bartosz
Published: (2024)

Robinson Splitting Theorem and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2026)

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

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

The strength of Ramsey's theorem for $α$-large sets
by: Carlucci, Lorenzo, et al.
Published: (2026)

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

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)

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
by: Kulshreshtha, Dhruv
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)

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

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)

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