A model of ZFA+ PAC with no outer model of ZFAC with the same pure part

Paul Larson; Saharon Shelah

doi:10.1007/s00153-018-0610-y

A model of ZFA+ PAC with no outer model of ZFAC with the same pure part

Paul Larson^*, Saharon Shelah

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

Abstract

We produce a model of ZFA+ PAC such that no outer model of ZFAC has the same pure sets, answering a question asked privately by Eric Hall.

Original language	English
Pages (from-to)	853-859
Number of pages	7
Journal	Archive for Mathematical Logic
Volume	57
Issue number	7-8
DOIs	https://doi.org/10.1007/s00153-018-0610-y
State	Published - 1 Nov 2018

Bibliographical note

Publisher Copyright:
© 2018, Springer-Verlag GmbH Germany, part of Springer Nature.

Keywords

Axiom of choice
Forcing
Set theory with atom

Access to Document

10.1007/s00153-018-0610-y

Cite this

@article{3639490eed9149b8997327d5f82adfa9,

title = "A model of ZFA+ PAC with no outer model of ZFAC with the same pure part",

abstract = "We produce a model of ZFA+ PAC such that no outer model of ZFAC has the same pure sets, answering a question asked privately by Eric Hall.",

keywords = "Axiom of choice, Forcing, Set theory with atom",

author = "Paul Larson and Saharon Shelah",

note = "Publisher Copyright: {\textcopyright} 2018, Springer-Verlag GmbH Germany, part of Springer Nature.",

year = "2018",

month = nov,

day = "1",

doi = "10.1007/s00153-018-0610-y",

language = "אנגלית",

volume = "57",

pages = "853--859",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "7-8",

}

TY - JOUR

T1 - A model of ZFA+ PAC with no outer model of ZFAC with the same pure part

AU - Larson, Paul

AU - Shelah, Saharon

PY - 2018/11/1

Y1 - 2018/11/1

N2 - We produce a model of ZFA+ PAC such that no outer model of ZFAC has the same pure sets, answering a question asked privately by Eric Hall.

AB - We produce a model of ZFA+ PAC such that no outer model of ZFAC has the same pure sets, answering a question asked privately by Eric Hall.

KW - Axiom of choice

KW - Forcing

KW - Set theory with atom

UR - http://www.scopus.com/inward/record.url?scp=85040701967&partnerID=8YFLogxK

U2 - 10.1007/s00153-018-0610-y

DO - 10.1007/s00153-018-0610-y

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85040701967

SN - 0933-5846

VL - 57

SP - 853

EP - 859

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 7-8

ER -

A model of ZFA+ PAC with no outer model of ZFAC with the same pure part

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this