{"entities":{"Q1756492":{"pageid":1767234,"ns":120,"title":"Item:Q1756492","lastrevid":53319842,"modified":"2026-01-24T17:38:58Z","type":"item","id":"Q1756492","labels":{"en":{"language":"en","value":"A model of \\(\\mathsf {ZFA}+ \\mathsf {PAC}\\) with no outer model of \\(\\mathsf {ZFAC}\\) with the same pure part"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001420"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756492$96D88AF9-1045-4D5F-A9C1-B1ACCAD4AC2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf30e608dd3ff53713aac25e9bb93e6afb116466","datavalue":{"value":{"text":"A model of \\(\\mathsf {ZFA}+ \\mathsf {PAC}\\) with no outer model of \\(\\mathsf {ZFAC}\\) with the same pure part","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1756492$325DBE37-2C11-41FE-85A6-24C6F5D4CD40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f5646e09d91ab4ec5cd854b203305d439b7a90c","datavalue":{"value":"1475.03097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756492$95B02A2B-158C-4585-9EAB-9D0D24724D70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756492$9903AE04-E1DB-4C51-988B-B3742CFCA5B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e12b45aab6c1c4f0d6536185bb54aaca2e66e37b","datavalue":{"value":{"time":"+2019-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1756492$21C8A2A7-07FF-402A-A9A0-975618F51195","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2be747493534c750f1582be5b0754ebbc85798fa","datavalue":{"value":"The theory $\\mathsf{ZFA}$ is a modified version of Zermelo-Fraenkel set theory ($\\mathsf{ZF}$) admitting objects other than sets, the so-called atoms. The domain of a model of $\\mathsf{ZFA}$, $\\mathcal{P}^{\\infty,*}(A)$ (in the paper's notation), is defined via a hierarchy over a given set $A$ of atoms (which is a non-empty set such that no member of $A$ is in the transitive closure of any other member), indexed by ordinals, in a similar manner with the cumulative hierarchy $V_{\\alpha}$ of the Von Neumann universe:  \\[ \\begin{aligned} &\\mathcal{P}^{0,*}(A)=A;\\\\ &\\mathcal{P}^{\\alpha+1,*}(A)=(\\mathcal{P}^{\\alpha,*}(A)\\cup\\mathcal{P}(\\mathcal{P}^{\\alpha,*}(A)))\\setminus\\{\\emptyset\\};\\\\ &\\mathcal{P}^{\\beta,*}(A)=\\bigcup_{\\alpha<\\beta}\\mathcal{P}^{\\alpha,*}(A)\\qquad (\\beta\\text{ limit});\\\\  &\\mathcal{P}^{\\infty,*}(A)=\\bigcup_{\\alpha\\in\\mathrm{Ord}}\\mathcal{P}^{\\alpha,*}(A), \\end{aligned} \\] where an arbitrary element of $A$ is let to represent the empty set, and the other members of $A$ represent atoms. Sets in a model of $\\mathsf{ZFA}$ whose transitive closures exclude atoms are called pure sets; these sets form an inner model of $\\mathsf{ZF}$. The axiom $\\mathsf{PAC}$ asserts that this inner model satisfies the axiom of choice ($\\mathsf{AC}$).  In this paper, the authors construct a model of $\\mathsf{ZFA}+\\mathsf{PAC}$ such that no outer model of $\\mathsf{ZFAC}$ (= $\\mathsf{ZFA}+\\mathsf{AC}$) has the same pure sets. Their method of producing models of $\\mathsf{ZFA}$ is different from the usual Fraenkel-Mostowski method; the domains of their models are subclasses of $\\mathcal{P}^{\\infty,*}(A)$ (for a given set $A$ of atoms) which are constructed over $A$ using certain elements of $\\mathcal{P}^{\\infty,*}(A)$ as predicates. In particular, given sets $X$ and $B$ in $\\mathcal{P}^{\\infty,*}(A)$, the authors let Def$_{B}(X)$ denote the collection of non-empty subsets of $X$ which are definable over $X$ using parameters from $X$ and predicates corresponding to members of $B$. Then they define:  \\[ \\begin{aligned} &U_{0}^{A,B}=A;\\\\ &U_{\\alpha+1}^{A,B}=U_{\\alpha}^{A,B}\\cup\\mathrm{Def}_{B}(U_{\\alpha}^{A,B});\\\\ &U_{\\beta}^{A,B}=\\bigcup_{\\alpha<\\beta}U_{\\alpha}^{A,B}\\qquad (\\beta\\text{ limit});\\\\ &U_{\\infty}^{A,B}=\\bigcup_{\\alpha\\in\\mathrm{Ord}}U_{\\alpha}^{A,B}. \\end{aligned} \\] Given $a\\in A$, they let $\\mathbf{U}(a, A, B)$ be the model of $\\mathsf{ZFA}$ with domain $U_{\\infty}^{A,B}$, where $a$ is interpreted as the empty set. The model $\\mathbf{U}(a, A, B)$ is, up to isomorphism, the smallest well-founded proper class model of $\\mathsf{ZFA}$ with $A\\setminus\\{a\\}$ as its set of atoms and $a$ as its empty set which is closed under intersections with the members of $B$. Every element of $\\mathbf{U}(a, A, B)$ is definable in $\\mathbf{U}(a, A, B)$ from a finite set of its ordinals, a finite subset of $A$ and finitely many predicates from $B$.  Under the above terminology, the main result of this paper is the following: ``In a c.c.c. forcing extension $\\mathbf{L}[G]$ of $\\mathbf{L}$ there is a model $\\mathbf{U}$ of $\\mathsf{ZFA}$ of the form $\\mathbf{U}(a,A,B)$, for some atom set $A$ in $\\mathbf{L}$, some element $a$ of $A$ and some $B$ in $\\mathcal{P}^{\\infty,*}(A)$, such that the pure part of $\\mathbf{U}$ is isomorphic to $\\mathbf{L}$ and such that in no outer model of $\\mathbf{L}[G]$ is there a model of $\\mathsf{ZFAC}$ containing $\\mathbf{U}$ whose pure part is isomorphic to $\\mathbf{L}$.''  The authors' proof of the above theorem (given in Section 2 of this paper) uses a model-theoretic construction due to \\textit{G. Hjorth} [J. Math. Log. 2, No. 1, 113--144 (2002; Zbl 1010.03036)] which produces a sentence in $\\mathcal{L}_{\\aleph_{1},\\aleph_{0}}$ homogeneously characterizing $\\aleph_{1}$, and is especially beautiful. In Section 3, the authors discuss this construction, and in Section 4, they explain the necessity of such a construction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756492$FF179848-BCA9-431E-A37A-F0125503C976","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"511460d5b84fc17c87ef8ad0e040133272c8d02c","datavalue":{"value":{"entity-type":"item","numeric-id":283107,"id":"Q283107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756492$4A865746-E1B1-43AE-8D01-2768B18E7600","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756492$31E46461-E764-41A5-AC15-AE13BFB5ED78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756492$3555D31E-DC9C-4701-9570-B55352683C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756492$6444BC88-0D83-44AA-80D8-AC27BE57123E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4abea2c0185259209333b45a01fc18b632ad848","datavalue":{"value":"7001420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756492$98CF360A-C61C-4D55-8B1C-0D47056891E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21be6cc2a6516ea04bd28cbb27aa74417763feb2","datavalue":{"value":"set theory with atom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756492$4C825479-9488-4FD2-BF0C-5B3D1D49D1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756492$A5FEAC87-88ED-4961-8BF7-BE1BF721B659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756492$CCF6DB4D-6B51-4241-823D-5A30E4ED04CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"598872e6d8d8dc3f918427cd9ddc91f4d3a4ecb1","datavalue":{"value":{"entity-type":"item","numeric-id":2033890,"id":"Q2033890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756492$B86D1BF2-D4C2-4F88-A022-54322C9B1858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756492$B418C5AC-41FC-4635-9DE2-6713EFC53F28","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756492$8BAF8BFF-72AF-4E52-8C74-035C257F4BD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f31d0af805bb2b412bdcb44fe9a50f47e5507805","datavalue":{"value":"https://doi.org/10.1007/s00153-018-0610-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1756492$738A1EF6-D7D1-4ABA-9777-C300CC86B652","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cde23583006e58d51b2604cbde13d2e803cd6cba","datavalue":{"value":"W2783058886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756492$0703335E-6285-48A9-A042-B1C676567F8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d66c8c6a1dbb232808fe6b0695cf44fa75c35fe","datavalue":{"value":{"entity-type":"item","numeric-id":4227872,"id":"Q4227872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756492$293256B4-2B3F-425D-ADBE-6691272D4F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f415d90070ec9deecfbca819528395cfea3f89","datavalue":{"value":{"entity-type":"item","numeric-id":3094956,"id":"Q3094956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756492$2D6CE18E-DC17-47DB-935D-EDAEFB9C111B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5c6d7eb7e0b5ceecffa57c9de12d1eaa233a80","datavalue":{"value":{"entity-type":"item","numeric-id":4551994,"id":"Q4551994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756492$62A8E338-8E0A-444F-9A57-B803B57A8A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756492$783CC954-C1CC-45B2-B8F4-725B0A4F8F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756492$BC9C5C9F-24CA-4986-816D-394A682C5532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756492$AB52BC31-8E77-4FA0-92C4-5CBBBB69942C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d1a5f558c6aeb7df0a0b3679cedb84ff65b3c2","datavalue":{"value":{"entity-type":"item","numeric-id":4283061,"id":"Q4283061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756492$BEFE8401-5AF8-4101-8EB0-6EE63478A60A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b47e441faa6328b43d9d460ea4e0e148638dc39","datavalue":{"value":"10.1007/S00153-018-0610-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756492$15621030-3931-4A13-BB80-748AB8049F5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418ab0d92bd23273d589c3aa51c3f1f61dc6f98c","datavalue":{"value":{"entity-type":"item","numeric-id":1430902,"id":"Q1430902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e9113ab68e940164cacc4f6ecb1f88355bb1fa","datavalue":{"value":{"amount":"+0.7086570858955383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1756492$055D168A-1646-408A-9BF1-658AE3050B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1029dc954fb3a546f97def4705f1775ef5616788","datavalue":{"value":{"entity-type":"item","numeric-id":5750853,"id":"Q5750853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c566ffee9d41b8b6956473837de4c12ffc85298","datavalue":{"value":{"amount":"+0.7042877078056335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1756492$86752D49-6907-4B1F-9028-6DC2FCFE57CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a6a9037a2b9a947506237b0b443df7b3bb5f8b","datavalue":{"value":{"entity-type":"item","numeric-id":3592784,"id":"Q3592784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80fc65002d25220253db528fcfad11bd07e20ec3","datavalue":{"value":{"amount":"+0.7033761739730835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1756492$22937328-2567-4C91-99B3-D404B41B65D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd666fcf9825f90912e5cec2fedeb01508a98ffd","datavalue":{"value":{"entity-type":"item","numeric-id":2472610,"id":"Q2472610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c36d21a1e9cfe3b19876df477c63c5befd2278d","datavalue":{"value":{"amount":"+0.6982237100601196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1756492$90225BD0-A28C-4052-B637-B575AA7FD944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11b545c17ffa3d1115d68663257a013570d7ce7","datavalue":{"value":{"entity-type":"item","numeric-id":4457722,"id":"Q4457722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"542b79a5d2d1ad6dac320b875423602c367eddfb","datavalue":{"value":{"amount":"+0.6952921748161316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1756492$0EE22F8C-5F02-4424-BDDE-BBD2FF377184","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1756492","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1756492"}}}}}