Countable sets versus sets that are countable in reverse mathematics

DOI10.3233/COM-210313MaRDI QIDQ5037215

Sam Sanders

Publication date: 28 February 2022

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2011.01772

zbMATH Keywords

reverse mathematicshierarchiescountable setuncountability of R

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx)

Related Items

Representations and the foundations of mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• My encounters with martingales
• Ramsey's theorem and König's lemma
• Subcountability under realizability
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer.
• Splittings and disjunctions in reverse mathematics
• Lifting recursive counterexamples to higher-order arithmetic
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Pincherle's theorem in reverse mathematics and computability theory
• The uniform content of partial and linear orders
• Lifting proofs from countable to uncountable mathematics
• A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable
• Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics
• König's Infinity Lemma and Beth's Tree Theorem
• Uniform versions of some axioms of second order arithmetic
• Open Questions in Reverse Mathematics
• Measure theory and higher order arithmetic
• Higher-Order Computability
• On the Adjacency of Vertices to the Vertices of an Infinite Subgraph
• Located sets and reverse mathematics
• Georg Cantor and Transcendental Numbers
• Nets and reverse mathematics
• The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis
• Open sets in computability theory and reverse mathematics
• On the mathematical and foundational significance of the uncountable
• INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
• An injection from the Baire space to natural numbers
• Sur un théorème de Jessen
• Axiom of choice