Order:
  1. 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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  4
    The Existence of Free Ultrafilters on Ω Does Not Imply the Extension of Filters on Ω to Ultrafilters.Eric J. Hall, Kyriakos Keremedis & Eleftherios Tachtsis - 2013 - Mathematical Logic Quarterly 59 (4-5):258-267.
  3.  36
    Unions and the Axiom of Choice.Omar De la Cruz, Eric J. Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2008 - Mathematical Logic Quarterly 54 (6):652-665.
    We study statements about countable and well-ordered unions and their relation to each other and to countable and well-ordered forms of the axiom of choice. Using WO as an abbreviation for “well-orderable”, here are two typical results: The assertion that every WO family of countable sets has a WO union does not imply that every countable family of WO sets has a WO union; the axiom of choice for WO families of WO sets does not imply that the countable union (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  23
    Permutation Models and SVC.Eric J. Hall - 2007 - Notre Dame Journal of Formal Logic 48 (2):229-235.
    Let M be a model of ZFAC (ZFC modified to allow a set of atoms), and let N be an inner model with the same set of atoms and the same pure sets (sets with no atoms in their transitive closure) as M. We show that N is a permutation submodel of M if and only if N satisfies the principle SVC (Small Violations of Choice), a weak form of the axiom of choice which says that in some sense, all (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5. REVIEWS-Fundamentals of Mathematical Logic.P. Hinman & Eric J. Hall - 2007 - Bulletin of Symbolic Logic 13 (3).