Countable sets versus sets that are countable in reverse mathematics
From MaRDI portal
Recommendations
Cites work
- A model of intuitionistic analysis in which -definable discrete sets are subcountable
- An injection from the Baire space to natural numbers
- Axiom of choice
- Georg Cantor and Transcendental Numbers
- Higher-order computability
- scientific article; zbMATH DE number 4134040 (Why is no real title available?)
- scientific article; zbMATH DE number 4002093 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 3536056 (Why is no real title available?)
- scientific article; zbMATH DE number 1215497 (Why is no real title available?)
- scientific article; zbMATH DE number 1314876 (Why is no real title available?)
- scientific article; zbMATH DE number 1461253 (Why is no real title available?)
- scientific article; zbMATH DE number 3805534 (Why is no real title available?)
- scientific article; zbMATH DE number 1834586 (Why is no real title available?)
- scientific article; zbMATH DE number 1870414 (Why is no real title available?)
- scientific article; zbMATH DE number 5057388 (Why is no real title available?)
- scientific article; zbMATH DE number 5064954 (Why is no real title available?)
- scientific article; zbMATH DE number 3238721 (Why is no real title available?)
- scientific article; zbMATH DE number 3291139 (Why is no real title available?)
- scientific article; zbMATH DE number 3334141 (Why is no real title available?)
- scientific article; zbMATH DE number 3337815 (Why is no real title available?)
- scientific article; zbMATH DE number 2227817 (Why is no real title available?)
- scientific article; zbMATH DE number 2236626 (Why is no real title available?)
- scientific article; zbMATH DE number 2236635 (Why is no real title available?)
- scientific article; zbMATH DE number 2236640 (Why is no real title available?)
- INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
- Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- König's infinity lemma and Beth's tree theorem
- Lifting proofs from countable to uncountable mathematics
- Lifting recursive counterexamples to higher-order arithmetic
- Located sets and reverse mathematics
- Measure theory and higher order arithmetic
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- My encounters with martingales
- Nets and reverse mathematics
- On the Adjacency of Vertices to the Vertices of an Infinite Subgraph
- On the mathematical and foundational significance of the uncountable
- Open questions in reverse mathematics
- Open sets in computability theory and reverse mathematics
- Pincherle's theorem in reverse mathematics and computability theory
- Ramsey's theorem and König's lemma
- Reverse mathematics. Proofs from the inside out
- Set theory.
- Splittings and disjunctions in reverse mathematics
- Subcountability under realizability
- Subsystems of second order arithmetic
- Sur un théorème de Jessen
- The axiom of choice in computability theory and reverse mathematics with a cameo for the continuum hypothesis
- The uniform content of partial and linear orders
- Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer.
- Uniform versions of some axioms of second order arithmetic
Cited in
(7)- Representations and the foundations of mathematics
- Nets and reverse mathematics
- Countable sets versus sets that are countable in Reverse Mathematics
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
- Connecting real and hyperarithmetical analysis
- The biggest five of reverse mathematics
- Big in reverse mathematics: the uncountability of the reals
This page was built for publication: Countable sets versus sets that are countable in reverse mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5037215)
