Pages that link to "Item:Q3758827"
From MaRDI portal
The following pages link to Epistemic set theory is a conservative extension of intuitionistic set theory (Q3758827):
Displaying 5 items.
- Epistemic and intuitionistic formal systems (Q580343) (← links)
- Topological models of epistemic set theory (Q916657) (← links)
- Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator (Q1096625) (← links)
- Tableau method for residuated logic (Q1357163) (← links)
- Some properties of epistemic set theory with collection (Q3783286) (← links)
