The following pages link to (Q5573965):
Displaying 50 items.
- A constructive real projective plane (Q265603) (← links)
- Continuity of Gödel's system T definable functionals via effectful forcing (Q265800) (← links)
- Interpretation of constructive multi-typed theory in the theory of arithmetical truth (Q266212) (← links)
- On stability of probability laws with respect to small violations of algorithmic randomness (Q285512) (← links)
- Apartness spaces and uniform neighbourhood structures (Q290645) (← links)
- A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle (Q306581) (← links)
- Basic notions of (constructive) semigroups with apartness (Q309964) (← links)
- Convexity and constructive infima (Q334985) (← links)
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Towards ``mouldable code'' via nested code graph transformation (Q406453) (← links)
- Almost new pre-apartness from old (Q424542) (← links)
- The intermediate value theorem in constructive mathematics without choice (Q424546) (← links)
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- Compactness notions for an apartness space (Q453202) (← links)
- Structures and logics: a case for (a) relativism (Q488378) (← links)
- Constructions of categories of setoids from proof-irrelevant families (Q512135) (← links)
- Notes on computable analysis (Q519888) (← links)
- On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology (Q636295) (← links)
- The double negation of the intermediate value theorem (Q636312) (← links)
- Reflections on function spaces (Q651312) (← links)
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
- Intensionality in mathematics (Q762052) (← links)
- Finite sets and infinite sets in weak intuitionistic arithmetic (Q781509) (← links)
- Reflections on Bishop's philosophy of mathematics (Q788709) (← links)
- Differential equations in constructive analysis and in the recursive realizability topos (Q793725) (← links)
- The knowing mathematician (Q795810) (← links)
- Valuation theory: A constructive view (Q800426) (← links)
- Propositions and specifications of programs in Martin-Löf's type theory (Q800719) (← links)
- Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic'' sets, ``intuitionistic'' fuzzy sets and topologies (Q812590) (← links)
- A certified, corecursive implementation of exact real numbers (Q817858) (← links)
- Extending strongly continuous functions between apartness spaces (Q818925) (← links)
- On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case (Q827052) (← links)
- Insight in discrete geometry and computational content of a discrete model of the continuum (Q834257) (← links)
- Ideals in constructive Banach algebra theory (Q864422) (← links)
- Generalized functions with pseudobounded support in constructive mathematics (Q864428) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- The objectivity of mathematics (Q885536) (← links)
- Approximate interpolation by functions in a Haar space (Q909164) (← links)
- Constructive system for automatic program synthesis (Q912589) (← links)
- Polynomials and linear transformations (Q913885) (← links)
- The anti-Specker property, a Heine-Borel property, and uniform continuity (Q926186) (← links)
- Apartness, compactness and nearness (Q949606) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Upcrossing inequalities for stationary sequences and applications (Q971935) (← links)
- Glueing continuous functions constructively (Q982187) (← links)
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- Realizability interpretation of proofs in constructive analysis (Q1015381) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
