Pages that link to "Item:Q5207560"
From MaRDI portal
The following pages link to COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560):
Displaying 22 items.
- A note on non-classical nonstandard arithmetic (Q1715475) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← 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)
- ON THE STRENGTH OF TWO RECURRENCE THEOREMS (Q2976336) (← links)
- (Q4266153) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- (Q5015363) (← links)
- ON THE UNCOUNTABILITY OF (Q5052009) (← links)
- The unreasonable effectiveness of Nonstandard Analysis (Q5108034) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)
- (Q5718580) (← links)
- Computability and non-monotone induction (Q6594831) (← links)
- On the logical and computational properties of the Vitali covering theorem (Q6614040) (← links)
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor (Q6642876) (← links)
- A note on continuous functions on metric spaces (Q6670881) (← links)
