The following pages link to (Q3214891):
Displaying 9 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)
- 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)
