The following pages link to ON THE UNCOUNTABILITY OF (Q5052009):
Displaying 12 items.
- ``In the incompleteness of the first draft'' -- the discovery of the non-countability of the real numbers (Q998614) (← links)
- On the definability of the quantifier ''there exist uncountably many'' (Q1073785) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- Lifting proofs from countable to uncountable mathematics (Q2672667) (← links)
- Open sets in computability theory and reverse mathematics (Q5140330) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)
- Banach’s theorem in higher-order reverse mathematics (Q6062174) (← links)
- Exploring the abyss in Kleene's computability theory (Q6594829) (← links)
- Computability and non-monotone induction (Q6594831) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)
- A note on continuous functions on metric spaces (Q6670881) (← links)
- Connecting real and hyperarithmetical analysis (Q6670899) (← links)