:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Sanders, Sam
Format:	Preprint
Published:	2024
Subjects:	Logic Primary: 03B30, 03F35. Secondary: 54C08
Online Access:	https://arxiv.org/abs/2405.06420
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)

A note on continuous functions on metric spaces
by: Sanders, Sam
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)

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

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

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

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

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

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

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

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

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

Polymorphism-homogeneity and universal algebraic geometry
by: Tóth, Endre, et al.
Published: (2020)

Dimension functions in weakly o-minimal structures admitting strong cell decomposition
by: Fujita, Masato
Published: (2025)

Testing definitional equivalence of theories via automorphism groups
by: Andréka, H., et al.
Published: (2022)

Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)

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

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

On the computational properties of ambivalent sets and functions
by: Normann, Dag, et al.
Published: (2026)

Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)

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

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

Contrasting the Halves of an Ahmad Pair
by: Ravishankar, Karthik
Published: (2025)

Ranked Forcing and the Length of Generalized Borel Hierarchies
by: Chapman, Nick
Published: (2026)

An ordinal analysis of CM and its extensions
by: Wang, Shuwei
Published: (2025)

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

The power of trees
by: Brodsky, Ari Meir, et al.
Published: (2025)

Definable compactness in o-minimal structures
by: Guerrero, Pablo Andújar
Published: (2024)

Definable compactness in definably complete locally o-minimal structures
by: Fujita, Masato
Published: (2023)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

Universally meager sets in the Miller model and similar ones
by: Haberl, Valentin, et al.
Published: (2025)

Not OCA and products of Frechet spaces
by: Dow, Alan
Published: (2025)

Maximal δ-separated sets in separable metric spaces and weak forms of choice
by: Dybowski, Michał, et al.
Published: (2024)

Almost Disjointness Principles and $Q$-Space Cardinals
by: Rodrigues, Vinicius de Oliveira
Published: (2026)

Cardinality of the sets of dimension functions in ordered structures
by: Fujita, Masato
Published: (2025)

Generalized Borel Sets
by: Agostini, Claudio, et al.
Published: (2025)

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

NTP2 topological structures
by: Guerrero, Pablo Andújar
Published: (2026)