Switch to: Citations

Add references

You must login to add references.
  1. The Axiom of Choice.Thomas J. Jech - 1973 - Amsterdam, Netherlands: North-Holland.
    Provability, Computability and Reflection.
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • A Characterization of Permutation Models in Terms of Forcing.Eric J. Hall - 2002 - Notre Dame Journal of Formal Logic 43 (3):157-168.
    We show that if N and M are transitive models of ZFA such that N M, N and M have the same kernel and same set of atoms, and M AC, then N is a Fraenkel-Mostowski-Specker (FMS) submodel of M if and only if M is a generic extension of N by some almost homogeneous notion of forcing. We also develop a slightly modified notion of FMS submodels to characterize the case where M is a generic extension of N not (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations