The following pages link to Constructive set theory (Q4073362):
Displaying 50 items.
- A semantic approach to conservativity (Q284219) (← links)
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience (Q386630) (← links)
- A predicative completion of a uniform space (Q424538) (← links)
- The intermediate value theorem in constructive mathematics without choice (Q424546) (← links)
- Constructing the minimal period of homomorphisms into \(\mathbb R^n\) (Q441370) (← links)
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- From the weak to the strong existence property (Q448335) (← links)
- Constructive toposes with countable sums as models of constructive set theory (Q448336) (← links)
- Compactness notions for an apartness space (Q453202) (← links)
- Intensionality in mathematics (Q762052) (← links)
- Set existence property for intuitionistic theories with dependent choice (Q793723) (← links)
- Cardinality without enumeration (Q813080) (← links)
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- Constructing local optima on a compact interval (Q868665) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- The anti-Specker property, a Heine-Borel property, and uniform continuity (Q926186) (← links)
- Glueing continuous functions constructively (Q982187) (← links)
- On some non-classical extensions of second-order intuitionistic propositional calculus (Q1061123) (← links)
- What does logic have to tell us about mathematical proofs? (Q1135835) (← links)
- An approach to the constructivization of Cantor's set theory (Q1147138) (← links)
- Bibliography of John Myhill (Q1192339) (← links)
- Constructive mathematics: a foundation for computable analysis (Q1292399) (← links)
- Inaccessibility in constructive set theory and type theory (Q1295396) (← links)
- The strength of some Martin-Löf type theories (Q1344548) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- Inaccessible set axioms may have little consistency strength (Q1612481) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- The scope of Feferman's semi-intuitionistic set theories and his second conjecture (Q1740613) (← links)
- Independence results around constructive ZF (Q1765158) (← links)
- Towards a computation system based on set theory (Q1825191) (← links)
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
- Apartness spaces as a framework for constructive topology (Q1861535) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- Closed subsets in Bishop topological groups (Q2084948) (← links)
- Functions of Baire class one over a Bishop topology (Q2106607) (← links)
- Constructive mathematics, Church's thesis, and free choice sequences (Q2117809) (← links)
- The effects of effects on constructivism (Q2133168) (← links)
- Kripke models for subtheories of \textsf{CZF} (Q2267746) (← links)
- Constructive notions of equicontinuity (Q2391094) (← links)
- CZF and second order arithmetic (Q2498896) (← links)
- Quotient topologies in constructive set theory and type theory (Q2498911) (← links)
- Characterizing the interpretation of set theory in Martin-Löf type theory (Q2500469) (← links)
- Aspects of general topology in constructive set theory (Q2575763) (← links)
- CZF does not have the existence property (Q2637709) (← links)
- Constructing the Infimum of Two Projections (Q2891301) (← links)
- Refinement is equivalent to Fullness (Q3066297) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- Relating First-Order Set Theories and Elementary Toposes (Q3533518) (← links)