The following pages link to (Q3679172):
Displayed 26 items.
- Singular coverings and non‐uniform notions of closed set computability (Q3528149) (← links)
- AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669) (← links)
- Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics (Q3586016) (← links)
- Elementary explicit types and polynomial time operations (Q3632522) (← links)
- The knaster-tarski fixed-point theorem is not uniformly constructive (Q3800032) (← links)
- On the Lebesgue measurability of continuous functions in constructive analysis (Q3971805) (← links)
- Polynomial time operations in explicit mathematics (Q4358055) (← links)
- Reflection principles for synthetic theories of smooth manifolds (Q4378768) (← links)
- Wellordering proofs for metapredicative Mahlo (Q4532614) (← links)
- The axiom of choice and combinatory logic (Q4650272) (← links)
- Ranked partial structures (Q4650273) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
- Strong and Uniform Continuity – the Uniform Space Case (Q4827619) (← links)
- Singular Coverings and Non-Uniform Notions of Closed Set Computability (Q4918031) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- Type Theories from Barendregt’s Cube for Theorem Provers (Q5251190) (← links)
- A Computational Interpretation of Forcing in Type Theory (Q5253929) (← links)
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
- Realizability Models Separating Various Fan Theorems (Q5326379) (← links)
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis (Q5458871) (← links)
- On the proof theory of type two functionals based on primitive recursive operations (Q5485397) (← links)
- A partial functions version of Church's simple theory of types (Q5753924) (← links)
- Elementary patterns of resemblance (Q5935985) (← links)
- Universes in explicit mathematics (Q5939842) (← links)
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)
- On the proof theory of Coquand's calculus of constructions (Q5961667) (← links)