{"entities":{"Q647343":{"pageid":649192,"ns":120,"title":"Item:Q647343","lastrevid":51371777,"modified":"2026-01-17T23:33:59Z","type":"item","id":"Q647343","labels":{"en":{"language":"en","value":"On the conservativity of the axiom of choice over set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977564"}},"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":"Q647343$47181231-E20F-4540-B4C8-B2E000AF6079","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b460bc6350e572a73e389391bfb4705dd79185c6","datavalue":{"value":{"text":"On the conservativity of the axiom of choice over set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q647343$E6F30590-002F-40C5-A6B2-7FB1DC905383","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cb92556ca5bf98eaba27466f870c2168748fb7c","datavalue":{"value":"1243.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647343$B0144B8E-182D-4115-BAB7-E1A19EFA0C30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"821bc81eba82135fa316d0ab20f6acb853e34e11","datavalue":{"value":{"entity-type":"item","numeric-id":186022,"id":"Q186022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647343$864C78CE-AAE3-4892-935B-288DF522E608","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":"Q647343$3EFF410E-E5A1-42B8-BB15-6E60BDA0BFFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41089f084c402eced6627daeaaccc5646c70332","datavalue":{"value":{"time":"+2011-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q647343$06186652-9E15-4532-BC46-3AE9E1E12836","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"43a7b08c4d657b35f00f85c65fac59b9bb580fac","datavalue":{"value":"In this very interesting and well-written paper, the author shows that for various set theories \\(\\mathsf{T}\\), including \\(\\mathsf{ZF}\\), \\(\\mathsf{T + AC}\\) (\\(\\mathsf{AC}\\) is the axiom of choice: For every family \\(\\mathcal{A}\\) of non-empty sets, there is a function \\(f\\) with domain \\(\\mathcal{A}\\) such that, for every \\(x\\in\\mathcal{A}\\), \\(f(x)\\) is an element of \\(x\\)) is conservative over \\(\\mathsf{T}\\) for sentences of the form \\(\\forall x\\exists! y\\) \\(\\mathsf{A}(x,y)\\) where \\(\\mathsf{A}(x,y)\\) is a \\(\\Delta_0\\)-formula. (If \\(\\mathsf{T}\\) and \\(\\mathsf{T}'\\) are theories in the languages \\(L\\) and \\(L'\\), then \\(\\mathsf{T}'\\) is a conservative extension of \\(\\mathsf{T}\\) if \\(\\mathsf{T}\\subseteq\\mathsf{T}'\\) and \\(\\mathsf{T}'\\cap L=\\mathsf{T}\\), that is, all theorems of \\(\\mathsf{T}'\\) in the language \\(L\\) are already theorems of \\(\\mathsf{T}\\). A formula of set theory is a \\(\\Delta_0\\)-formula if it has no quantifiers, or it is \\(\\phi\\wedge\\psi\\), \\(\\phi\\vee\\psi\\), \\(\\neg\\phi\\), \\(\\phi\\rightarrow\\psi\\) or \\(\\phi\\leftrightarrow\\psi\\), where \\(\\phi\\) and \\(\\psi\\) are \\(\\Delta_0\\)-formulas, or it is \\((\\exists x\\in y)\\phi\\) or \\((\\forall x\\in y)\\phi\\), where \\(\\phi\\) is a \\(\\Delta_0\\)-formula).  More specifically, the research in this paper is centered at the following themes:    P. Aczel conjectured in 2009 at the Leeds Symposium on Proof Theory and Constructivism that the \\(\\Delta_0\\)-definable functions of \\(\\mathsf{ZFC}\\) are the same as those of \\(\\mathsf{ZF}\\). In particular: Assume \\(\\mathsf{A}(x,y)\\) is a \\(\\Delta_0\\)-formula in the language of set theory. If \\(\\mathsf{ZFC}\\vdash\\forall x\\exists!y\\;\\mathsf{A}(x,y)\\), then \\(\\mathsf{ZF}\\vdash\\forall x\\exists!y\\;\\mathsf{A}(x,y)\\). The author proves Aczel's conjecture in Section 2 of his paper. The argument can be modified for weaker theories that the author considers later on in his paper. In Section 3 of the paper, the author discusses aspects of forcing over theories like \\(\\mathsf{KP}_{\\Sigma_{1}}\\omega\\) (the subtheory of Kripke-Platek set theory with infinity obtained by restricting induction to \\(\\Sigma_1\\)-formulas, i.e., formulas of the form \\(\\exists x\\phi\\) where \\(\\phi\\) is \\(\\Delta_0\\)) needed to generalize the proof of Aczel's conjecture. In Section 4, Aczel's conjecture is generalized to various subtheories of \\(\\mathsf{ZF}\\). In addition, the author supplies, in Section 1, a concise and well-organized account of the background, which is very helpful to the reader.","type":"string"},"datatype":"string"},"type":"statement","id":"Q647343$1B7EEEBE-372C-454C-AB48-FC2169D87446","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":"Q647343$FE4F50E3-E127-4066-B585-D9506F585CED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647343$EB052959-5C3F-4B06-8627-AEA1DA3F8993","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69c8d19bda4755ef94c0fbe4ba5cee427e135a50","datavalue":{"value":"5977564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647343$BDBBD0A6-9665-4AAA-9849-02F1B2A6D381","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q647343$B8F5AFC8-C701-4C6E-92AC-503E10A98926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q647343$03DBFC04-7A9F-4AC9-A980-234965AEAE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q647343$B1EF9074-C03C-43AC-B526-C826342F9DDA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"94a45308b398ee8467a100a2393048ebd3e7be57","datavalue":{"value":"Q114018323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647343$69992E59-9372-4211-8B59-809D093B8B18","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":"Q647343$6B4503E3-859D-435D-BAF4-8DDF6B99D3BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a174925598662ff82eeed70d2a33b383527bfce","datavalue":{"value":"https://doi.org/10.1007/s00153-011-0248-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q647343$75E4116B-81B2-4D3B-9A76-671DD9E3D41F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80f64be8076561bbe3ac6eb7f612ffdb0294362b","datavalue":{"value":"W2077988894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647343$577172B8-7A40-45DB-9CFB-103761F95090","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647343$77C1E587-92D1-43F7-A4B2-2EBA38E7E14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89220ab8d602c71315d6ba104b33f57b84a863d5","datavalue":{"value":{"entity-type":"item","numeric-id":790108,"id":"Q790108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647343$9B68318F-C166-4399-9F1D-881C61617336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96147ab31b559fd5725eb3c5becddd093b8a29d6","datavalue":{"value":{"entity-type":"item","numeric-id":4128569,"id":"Q4128569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647343$C3FF4347-8744-4B05-A8DB-5FC5989B6C2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbb87575accdef25c34208516705e07c53958b6b","datavalue":{"value":"10.1007/S00153-011-0248-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647343$3A574479-DDA5-4B11-9B58-6EAC518E7A6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec76e42ef0896a00bc9b4186c2625c4e348245b5","datavalue":{"value":{"entity-type":"item","numeric-id":3329454,"id":"Q3329454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f51797824a84222556898006ed6924184587268","datavalue":{"value":{"amount":"+0.750561535358429","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":"Q647343$2AFA5F2C-5092-4310-BFE7-4DBC9BC55BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac418f85379858f05cb5c8ec01baf13fdb6b8a37","datavalue":{"value":{"entity-type":"item","numeric-id":5261154,"id":"Q5261154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b236a25e27a09df72e48fe41ade0618d41ed8c49","datavalue":{"value":{"amount":"+0.7319673299789429","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":"Q647343$27BCBEB0-F3C9-407B-B1DF-58E4C756B4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09418f257f8cfc65d3912c65752406e68469826f","datavalue":{"value":{"entity-type":"item","numeric-id":5344988,"id":"Q5344988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a19ae4deca4d65aae29ed51d5117d1f5b4fa0cdc","datavalue":{"value":{"amount":"+0.7276676297187805","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":"Q647343$3BE797ED-F4AE-4F82-AC0A-03128693CCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39eb312dc42d1456905792c2e9f8546e5a09d65","datavalue":{"value":{"entity-type":"item","numeric-id":4232316,"id":"Q4232316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13298a231e11f03e1495a97717b0b9cf61df61ae","datavalue":{"value":{"amount":"+0.7271803617477417","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":"Q647343$F8D586C6-9212-400A-B8E4-2C8C393C149C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a946135b63042f89461cdd3ae6b047743c12cf3","datavalue":{"value":{"entity-type":"item","numeric-id":5494237,"id":"Q5494237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4787c9701d487bfe9843fd52d72d439f70c0f7","datavalue":{"value":{"amount":"+0.7190555334091187","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":"Q647343$009B703D-F553-4472-BEB6-61D4A5270D51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:647343","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:647343"}}}}}