The following pages link to Sam Sanders (Q636386):
Displayed 29 items.
- Searching through the reals (Q6259019) (← links)
- Uniform and nonstandard existence in Reverse Mathematics (Q6259020) (← links)
- Reverse Mathematics of Brouwer's continuity theorem and related principles (Q6259022) (← links)
- Non-standard Nonstandard Analysis and the computational content of standard mathematics (Q6265049) (← links)
- The effective content of Reverse Nonstandard Mathematics and the nonstandard content of effective Reverse Mathematics (Q6267427) (← links)
- On the computational content of the Loeb measure (Q6277255) (← links)
- Nonstandard Analysis and Constructivism! (Q6285069) (← links)
- Some nonstandard equivalences in Reverse Mathematics (Q6300630) (← links)
- A note on non-classical Nonstandard Arithmetic (Q6302283) (← links)
- On the logical and computational properties of the Vitali covering theorem (Q6313760) (← links)
- Nets and Reverse Mathematics, a pilot study (Q6318527) (← links)
- Plato and the foundations of mathematics (Q6323719) (← links)
- Lifting countable to uncountable mathematics (Q6323720) (← links)
- Representations and the foundations of mathematics (Q6327391) (← links)
- The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis (Q6341921) (← links)
- On the uncountability of $\mathbb{R}$ (Q6345137) (← links)
- Countable sets versus sets that are countable in Reverse Mathematics (Q6352918) (← links)
- Reverse Mathematics of the uncountability of $\mathbb{R}$: Baire classes, metric spaces, and unordered sums (Q6353078) (← links)
- On robust theorems due to Bolzano, Weierstrass, Cantor, and Jordan (Q6360204) (← links)
- Splittings and robustness for the Heine-Borel theorem (Q6369953) (← links)
- Betwixt Turing and Kleene (Q6376739) (← links)
- Between Turing and Kleene (Q6382569) (← links)
- Reverse Mathematics of the uncountability of $\mathbb{R}$ (Q6393322) (← links)
- Big in Reverse Mathematics: the uncountability of the real numbers (Q6407058) (← links)
- On the computational properties of the Baire Category Theorem (Q6413535) (← links)
- Historical infinitesimalists and modern historiography of infinitesimals (Q6415165) (← links)
- The Biggest Five of Reverse Mathematics (Q6419230) (← links)
- Big in Reverse Mathematics: measure and category (Q6428061) (← links)
- Bernstein polynomials throughout Reverse Mathematics (Q6459879) (← links)