Cover Image

Variants of the chain-antichain principle in reverse mathematics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Hughes, Noah A.
Format:	Preprint
Published:	2025
Subjects:	Logic 03D80
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees
by: Song, Sirun, et al.
Published: (2025)

Listing the hyperarithmetical functions
by: Miller, Joseph S., et al.
Published: (2026)

Chains and antichains in the Weihrauch lattice
by: Lempp, Steffen, et al.
Published: (2024)

Bounded Ramsey's theorem for triples in computability theory
by: Patey, Ludovic, et al.
Published: (2026)

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

Iterated jump noncomputability and compactness
by: Dooley, Gavin
Published: (2025)

Hallucination, abstention, and computable inseparability
by: Imamura, Takuma
Published: (2026)

Learning Equivalence Relations on Polish Spaces
by: Rossegger, Dino, et al.
Published: (2024)

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

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

Regressive versions of Hindman's Theorem
by: Carlucci, Lorenzo, et al.
Published: (2022)

Computable Approximations of Semicomputable Graphs
by: Čačić, Vedran, et al.
Published: (2024)

Weak, strong and mixed extensions of relations to spaces of ultrafilters
by: Gasparro, Leonardo Raffaello Maximilian, et al.
Published: (2025)

Extending orders to types
by: Baglini, Lorenzo Luperi, et al.
Published: (2025)

On the computational properties of basic mathematical notions
by: Normann, Dag, et al.
Published: (2022)

The magic of tensor products of ultrafilters
by: Di Nasso, Mauro
Published: (2025)

$Ψ$-Spaces and Semi-Proximality
by: Almontashery, Khulod, et al.
Published: (2024)

Strong reducibilities and set theory
by: Schweber, Noah
Published: (2024)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)

On antichain numbers and the splitting ideal
by: Cieślak, Aleksander
Published: (2026)

A Dichotomy for $k$-automatic expansions of Presburger Arithmetic
by: Bell, Jason, et al.
Published: (2025)

Sparse regular subsets of the reals
by: Bell, Jason, et al.
Published: (2023)

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

Divisibility classes of ultrafilters and their patterns
by: Šobot, Boris
Published: (2024)

A survey on divisibility of ultrafilters
by: Šobot, Boris
Published: (2024)

$\widetilde{\mid}\hspace{1mm}$-divisibility of ultrafilters II: The big picture
by: Šobot, Boris
Published: (2023)

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

Affine logic with the integration operator
by: Bagheri, Seyed-Mohammad
Published: (2026)

Variants of Solovay reducibility
by: Titov, Ivan
Published: (2024)

Approximability of deep computations
by: Alva, Samson, et al.
Published: (2024)

Clarifying ordinals
by: Schweber, Noah
Published: (2024)

Minimal covers in the Weihrauch degrees
by: Lempp, Steffen, et al.
Published: (2023)

Lattice initial segments of the hyperdegrees
by: Shore, Richard A., et al.
Published: (2014)

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

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
by: Puljujärvi, Joni, et al.
Published: (2026)

Extending conceptual completeness via virtual ultracategories
by: Saadia, Gabriel
Published: (2025)

Martin's Conjecture in the Enumeration Degrees
by: Cordero, Antonio Nakid
Published: (2025)

\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
by: Cintioli, Patrizio
Published: (2026)