Pages that link to "Item:Q5223120"

The following pages link to On the mathematical and foundational significance of the uncountable (Q5223120):

Displayed 18 items.

• A note on non-classical nonstandard arithmetic (Q1715475) ‎ (← links)
• Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) ‎ (← links)
• Reverse mathematics of the uncountability of \(\mathbb{R}\) (Q2104277) ‎ (← links)
• Splittings and robustness for the Heine-Borel theorem (Q2117802) ‎ (← links)
• Representations and the foundations of mathematics (Q2134273) ‎ (← links)
• Betwixt Turing and Kleene (Q2151412) ‎ (← links)
• Between Turing and Kleene (Q2151416) ‎ (← links)
• Splittings and disjunctions in reverse mathematics (Q2176407) ‎ (← links)
• Pincherle's theorem in reverse mathematics and computability theory (Q2304540) ‎ (← links)
• The strength of compactness in computability theory and nonstandard analysis (Q2326415) ‎ (← links)
• Lifting proofs from countable to uncountable mathematics (Q2672667) ‎ (← links)
• Nets and reverse mathematics (Q4995602) ‎ (← links)
• Measure-theoretic uniformity and the Suslin functional (Q4995604) ‎ (← links)
• Countable sets versus sets that are countable in reverse mathematics (Q5037215) ‎ (← links)
• ON THE UNCOUNTABILITY OF (Q5052009) ‎ (← links)
• Cousin’s lemma in second-order arithmetic (Q5072245) ‎ (← links)
• COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) ‎ (← links)
• On the computational properties of the uncountability of the real numbers (Q6160755) ‎ (← links)