Pages that link to "Item:Q1430902"
From MaRDI portal
The following pages link to A characterization of permutation models in terms of forcing (Q1430902):
Displaying 4 items.
- A model of \(\mathsf {ZFA}+ \mathsf {PAC}\) with no outer model of \(\mathsf {ZFAC}\) with the same pure part (Q1756492) (← links)
- A modal logic of consistency (Q1904094) (← links)
- Permutation models and SVC (Q2472610) (← links)
- Boolean-valued models of set theory with urelements (Q6589314) (← links)