The following pages link to (Q3214891):
Displayed 21 items.
- Reconsidering pairs and functions as sets (Q286796) (← links)
- Unifying sets and programs via dependent types (Q408534) (← links)
- From the weak to the strong existence property (Q448335) (← links)
- Integrating classical and intuitionistic type theory (Q580341) (← links)
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets (Q722147) (← links)
- Intuitionistic typical ambiguity (Q757362) (← links)
- Set existence property for intuitionistic theories with dependent choice (Q793723) (← links)
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017) (← links)
- Lindenbaum algebras of intuitionistic theories and free categories (Q1092043) (← links)
- The consistency of some intuitionistic and constructive principles with a set theory (Q1167160) (← links)
- Bibliography of John Myhill (Q1192339) (← links)
- Constructive mathematics: a foundation for computable analysis (Q1292399) (← links)
- Finite sets and natural numbers in intuitionistic TT (Q1374211) (← links)
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396) (← links)
- Morse set theory as a foundation for constructive mathematics (Q2079874) (← links)
- CZF does not have the existence property (Q2637709) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- Ordered combinatory algebras and realizability (Q2973254) (← links)
- ON ADOPTING KRIPKE SEMANTICS IN SET THEORY (Q3580661) (← links)
- Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)
- Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version (Q6156642) (← links)