Pages that link to "Item:Q3726115"
From MaRDI portal
The following pages link to On the quantificational logic of intuitionistic set theory (Q3726115):
Displaying 14 items.
- Intuitionistic fixed point theories over set theories (Q494642) (← links)
- On lovely pairs and the \((\exists y\in P)\) quantifier (Q817964) (← links)
- Globalization of intuitionistic set theory (Q1095903) (← links)
- The intuitionistic alternative set theory (Q1208081) (← links)
- Independent axiomatizability of sets of sentences (Q1262853) (← links)
- Transference theorems and intuitionistic set theory (Q1595703) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- (Q3509173) (← links)
- (Q3567774) (← links)
- (Q4214077) (← links)
- Logical and Philosophical Remarks on Quasi-Set Theory (Q5436984) (← links)
- THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC (Q6203558) (← links)
- Notes on my scientific life (Q6612807) (← links)