{"entities":{"Q2505133":{"pageid":2515876,"ns":120,"title":"Item:Q2505133","lastrevid":73436526,"modified":"2026-04-14T15:58:36Z","type":"item","id":"Q2505133","labels":{"en":{"language":"en","value":"Set theory with and without urelements and categories of interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5059461"}},"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":"Q2505133$FC3F2B49-7982-4251-8D67-3CB179E1F8C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fd9e59da4ba79b040f07ee7feb6e3e4a759a58a","datavalue":{"value":{"text":"Set theory with and without urelements and categories of interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2505133$65F523E9-D6DC-44E5-826C-AE88F3F84B2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4162e1da9d4dd2650463a5ca397a4da157e0df1","datavalue":{"value":"1108.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505133$B9915F73-BB9E-4162-A570-245D5C0B2508","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1294aa2c1b7b8075353a8829fe6eed369d61b4a1","datavalue":{"value":{"entity-type":"item","numeric-id":1806279,"id":"Q1806279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505133$A6C53332-2BAA-46B3-BB74-37206B67DDE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505133$C3D30D4F-92B5-4204-8CD4-BE456BC8803E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9022dfc459f559856a162bb29019f955ec43ea2e","datavalue":{"value":{"time":"+2006-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2505133$5255333A-5C92-410C-9619-76634EF971EC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c0a4c2574c97a3908048c9b2ef03a5993587c7be","datavalue":{"value":"The author proves the synonymity of two set theories, ZF and ZFU, in the sense that there are interpretations \\(I:\\text{ZF}\\to \\text{ZFU}\\) and \\(J: \\text{ZFU}\\to \\text{ZF}\\) with the property that \\(I\\circ J\\) and \\(J\\circ I\\) are ``identities''. (The theory ZFU carries an extra axiom dictating that the set of ur-elements is countable. The success of the present work crucially depends on this.) One can think of common-sense interpretations \\(I':\\text{ZF}\\to \\text{ZFU}\\) and \\(J': \\text{ZFU}\\to \\text{ZF}\\). (For instance, \\(J'\\) picks, as members of the domain, those elements whose transitive closures contain no ur-elements.) But neither has the inverse to produce identity. So the author resorts to ingeneous constructions to obtain the above \\(I\\) and \\(J\\). (\\textit{A. Visser} embarked on classifying theories by manners of mutual interpretability in [Categories of theories and interpretations. Logic Group Preprint Series, Vol. 228, Univ. Utrecht (2004) (per bibl.); see also Lect. Notes Log. 26, 284--341 (2006; Zbl 1107.03066)]. The strictest condition is synonymity. \\(I'\\) and \\(J'\\) satisfy a weaker condition of homoty of ZF and ZFU. But synonymity was an open question.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505133$4136B3CF-AA65-4CAD-8B22-EEF82BFC42F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505133$78DD5C25-D418-44A1-A0A0-8858855C86D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505133$D32237A1-B691-46BF-8E37-C2F197A9BEA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0fac58a8abaa2d65badf115c02d5cfb1bc9e033","datavalue":{"value":"5059461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505133$3D824500-1847-401C-B50D-F02D00238CF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2bf3673c7863e6e42356d637115ad61230d06e","datavalue":{"value":"category of theories and interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505133$172D2ECA-F7AB-433F-81F5-6B1FD6F9D16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e434e432d98453e66833e72c7abd5b03e3efb7e","datavalue":{"value":"synonymity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505133$95B71059-0285-44EA-8D67-8FA0611E0062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27053093570a92fff4e919f3d76d6d1ef93b0691","datavalue":{"value":"ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505133$BF2F4F8B-9ED3-4E31-9231-F4BA6182154B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"979d7f7ccbab02bf4ec416b3e34fa0b8b81a7735","datavalue":{"value":"ZFU","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505133$EB337051-5CE1-4273-BAA3-E25DE7A21C8D","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":"Q2505133$3515162C-98C5-41DB-B7D1-3E28610F0880","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffc18a5e13e020b50e278fe908069261ce31fb3a","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1143468313","type":"string"},"datatype":"url"},"type":"statement","id":"Q2505133$8247B16A-8AE9-478B-83AE-293F0258C252","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6732195223864ee5df38c14a8695c7aa81fac7df","datavalue":{"value":"W2108882365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505133$E0B3A7A0-D166-4BA2-862A-B3F5F676D01F","rank":"normal"}],"P223":[{"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":"Q2505133$F0C47850-7215-4842-9184-8AE1B09ECB53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d260e8229754a1bec9c3b374b2abd09687a4e90","datavalue":{"value":"10.1305/NDJFL/1143468313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505133$E0069E11-E241-4D1D-8E34-4BA1FA073AAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa38b5e71257001d9a72de34052f49993d1ca86","datavalue":{"value":{"entity-type":"item","numeric-id":5393646,"id":"Q5393646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f1d42305a0038e3fc5af624e08d705a3ca3976","datavalue":{"value":{"amount":"+0.75742173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505133$50803D96-C6AD-41B3-B133-CFDB485D4E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6813d68ad69cfa208aebddac19a9d5775086183","datavalue":{"value":{"entity-type":"item","numeric-id":793007,"id":"Q793007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf995987efb9be6c1d6539840921b3596307138","datavalue":{"value":{"amount":"+0.7348938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505133$0A21965A-C5EB-4773-9D00-043A19C9ACF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad93ef737236c095811cdb874d4696a52c8c9fea","datavalue":{"value":{"entity-type":"item","numeric-id":2425351,"id":"Q2425351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8348db74487354d96c86afe27e738e656c4eb8","datavalue":{"value":{"amount":"+0.73329765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505133$7C63A9A1-E39C-409B-89E1-A3FF0CD61C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c57ea93cc9664900cc4b27d051a81dde2563833","datavalue":{"value":{"entity-type":"item","numeric-id":4003284,"id":"Q4003284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9c25e359640052edc7135aa8161ed5ea86256b","datavalue":{"value":{"amount":"+0.7303686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505133$CB185C32-A995-4828-95B8-924AA5C80752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd908aea5851c16b5f2d6f34761aac607705a1da","datavalue":{"value":{"entity-type":"item","numeric-id":1868168,"id":"Q1868168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766f92e10a6ec892d7bb2cd41439ff27081ae68b","datavalue":{"value":{"amount":"+0.7262911","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505133$1771ECBB-DDA6-4B33-8CC9-CF52EDA211D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19acfdc832367fdaa3fe66ae37ff61548cc1eabb","datavalue":{"value":{"entity-type":"item","numeric-id":3592783,"id":"Q3592783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a7144d12a1bc6d0f127bace1349f89a9397952","datavalue":{"value":{"amount":"+0.72396743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505133$EBF292DA-945A-4EF5-8547-41A42B81370F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a4d07cd1c01f71e682a0194d2ceb20272e9be8","datavalue":{"value":{"entity-type":"item","numeric-id":1076005,"id":"Q1076005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e355f1fa5948043c7a2daf05c8f167c8698aca","datavalue":{"value":{"amount":"+0.7233532","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505133$6110C068-E17F-4F32-8E47-9C45C76E537E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb6e0932f8fb4a33eaffc841c70584855d1c14e","datavalue":{"value":{"entity-type":"item","numeric-id":5213632,"id":"Q5213632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86346164064867b3fbd866c1d5e1b7b822402a85","datavalue":{"value":{"amount":"+0.72290885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505133$9C410E37-266E-4459-830C-A5F9C185C879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff26d453794330aab2cb8254dd7fff45ac95174","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80a53c3e07672381edb616b702fbb1498119d587","datavalue":{"value":{"amount":"+0.7225748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505133$DE86A1DE-96F5-4E0D-831B-7FB6510D24B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499fede4bca2fb3a411d74315df49f6e4a76e23c","datavalue":{"value":{"entity-type":"item","numeric-id":5928926,"id":"Q5928926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0bc1ad3a4ab150d88e501c030cad6e15063eb02","datavalue":{"value":{"amount":"+0.7203139","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505133$A2E05CE0-3232-4B13-BB87-EE30EDF1FBDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set theory with and without urelements and categories of interpretations","badges":[]}}}}}