The following pages link to Robert Paßmann (Q2046359):
Displaying 9 items.
- Constructing illoyal algebra-valued models of set theory (Q2046361) (← links)
- Randomising realizability (Q2117768) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- Converse extensionality and apartness (Q5060186) (← links)
- (Q5874220) (← links)
- Should pluralists be pluralists about pluralism? (Q6180134) (← links)
- THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC (Q6203558) (← links)
- De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory (Q6318639) (← links)
