{"entities":{"Q1337508":{"pageid":1348247,"ns":120,"title":"Item:Q1337508","lastrevid":67615986,"modified":"2026-04-12T19:02:47Z","type":"item","id":"Q1337508","labels":{"en":{"language":"en","value":"Non-well-founded sets via revision rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 683096"}},"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":"Q1337508$B00AE77D-5794-4AEC-A1EE-9A5869B42FA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d268cc79012b7bdf23befd7a025c7ee223a8a3c5","datavalue":{"value":{"text":"Non-well-founded sets via revision rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337508$511358E7-5D79-48F8-9F14-4F58108061C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c69a7e99292b80ac55c0e7d45283b9a2429a3061","datavalue":{"value":"0834.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337508$22D32404-C642-4037-A36B-2AFA1226D708","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fc4ac6bdaa98ef56faedbd19fa6f3f0e42ece38","datavalue":{"value":"10.1007/BF01052781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337508$FFFA9D25-1514-4BC8-87CB-EB071D2506B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c4fc41e0193b05a18eced3ceac939577eb186f","datavalue":{"value":{"entity-type":"item","numeric-id":1333308,"id":"Q1333308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337508$1E44FAD0-ACC1-4979-AD51-F528B59F658E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337508$EBA58729-BAF5-40BE-9B92-0D39D8E59296","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"478da3eeb1d9a1d555a69c5c2e76006d146f9b8a","datavalue":{"value":{"time":"+1994-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337508$130B0102-15E8-4A48-962F-F1AE55435041","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"674fe7f5d712333ecbbe5188fbc884fdd5172db4","datavalue":{"value":"Given the consistency of ZFC and an equation \\(\\xi= b\\), where \\(b\\) is any set term, possibly involving \\(\\xi\\), the author shows how to construct a model of \\(\\text{ZFC}^-\\) in which there is a set \\(\\xi\\) satisfying \\(\\xi=b\\). Here \\(\\text{ZFC}^-\\) is ZFC without the Foundation Axiom (Regularity). The proof uses an analogue of the revision rules of Gupta and Belnap. It also employs a congruence relation that yields a quotient structure that is elementarily equivalent to the model obtained by means of the revision rules. The special case, \\(\\xi= \\{\\xi\\}\\), appears first as an illustration of the revision-theoretic approach.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337508$0EB119B4-204D-40C0-99FB-0E4110CF9CF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337508$5E7B5420-48D7-451D-8310-6E3E07CA9E60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f625fdf6b940b43ef4c3b75b91cbd249a03264c8","datavalue":{"value":"683096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337508$26FA3A40-9209-4767-B758-EB372E4D68C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465f085b95b13610f0e4840fa8369965d610e336","datavalue":{"value":"non-well-founded sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337508$420EB913-E67F-4F3F-A846-9456173CF9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c296f0fb0a616059dd89d7c6741e70de7649590","datavalue":{"value":"ZFC without the Foundation Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337508$E073A6BA-85A8-4494-9253-9341429366D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337508$04138918-8E43-49E2-8790-C0BEDC7E5D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337508$D871244A-7118-4EB9-B103-9C3B29AB087C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9a1dec3946bfe411db73d06125cbd7f0594d8ee","datavalue":{"value":"quotient structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337508$2D9685F4-72FF-4270-9BE6-A0104C5AC750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4d8c49916057a1e2b4576f6731f3d4e68c60d49","datavalue":{"value":"revision rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337508$DB0742A7-8E35-4329-A87D-F723FF27FC69","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26f302fffad60805a47395a27a6584ad8a15a6e0","datavalue":{"value":{"entity-type":"item","numeric-id":587231,"id":"Q587231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337508$E016CB7C-C3E3-4773-A695-E680D8A1D875","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":"Q1337508$6C2FABC2-9CDE-4203-BDCB-4467AD001EC9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337508$CFE38DA6-3592-4F17-9252-7E9C720B2EFF","rank":"normal"},{"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":"Q1337508$0BEFEDF7-ACBA-4660-9830-AC3967EE5C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e24dfb70f0ccfff3ed12532a7f66195876482ba","datavalue":{"value":{"entity-type":"item","numeric-id":3992554,"id":"Q3992554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337508$3622BD75-4F5B-43B1-8C45-063E84175CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9002b11d3ce5a7f9f2de54d4d590fb5f5bed4366","datavalue":{"value":{"entity-type":"item","numeric-id":3993251,"id":"Q3993251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337508$DCBF835A-EF76-4D73-8D2C-5B75CBD161C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed76fb826674154100cb639fa6d84dadf53cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":3340832,"id":"Q3340832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337508$163B3844-0B26-44BD-9FB6-5107F726C57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337508$1170BA4C-EE21-4EB9-BF05-DF41B06617CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d883907c1b9faaee90794cecd283314576399aa6","datavalue":{"value":{"entity-type":"item","numeric-id":1839240,"id":"Q1839240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337508$88BEC1ED-ABD2-4BB8-AFA6-74B44DCEC8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1e485e82c7dc84d069a763eb4a11a2b42b250b","datavalue":{"value":{"entity-type":"item","numeric-id":4845457,"id":"Q4845457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337508$C329A0EB-653F-4BC7-8B26-56FE2639F19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae27d7122ec1a8cf54a2bf44c67ebac4db36f11","datavalue":{"value":{"entity-type":"item","numeric-id":1050329,"id":"Q1050329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337508$A0AF146B-5FE5-4AE0-8986-87ABD4B22286","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8419c779c87602e31b3c768d32605d39e40cd5c","datavalue":{"value":"https://doi.org/10.1007/bf01052781","type":"string"},"datatype":"url"},"type":"statement","id":"Q1337508$6E3B9768-2900-425C-AA18-33BB664F7C94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a23a63da5face94dd5e512d66139775fead2da9","datavalue":{"value":"W2165388689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337508$1ED024CF-6654-4697-B65C-00CD09948C27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0a7c54b94cc78ae86657c54910d744b096aaadd","datavalue":{"value":{"entity-type":"item","numeric-id":4928967,"id":"Q4928967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201b039a9c5e110e7434ac6e1eb2f92ee3ef9b6e","datavalue":{"value":{"amount":"+0.8051470518112183","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":"Q1337508$5196F600-1FFF-41E6-80FA-4FA2F0EBD174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7d9fc3a416b55cc78356ebe3ca244592ff08c1","datavalue":{"value":{"entity-type":"item","numeric-id":4262559,"id":"Q4262559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7892145ea9fb7fa0118013daf0afeca4821b7e","datavalue":{"value":{"amount":"+0.7169144153594971","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":"Q1337508$EAB8FC13-F50B-412B-B662-BBB58F4D4E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6feb7f6ebeb48a1b47817bca5061f5af0c107b80","datavalue":{"value":{"entity-type":"item","numeric-id":1409302,"id":"Q1409302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7892145ea9fb7fa0118013daf0afeca4821b7e","datavalue":{"value":{"amount":"+0.7169144153594971","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":"Q1337508$ECA7BF13-2F46-429F-8CD9-480457208C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c375728ada4da8e61ea0e18768a47e825efbb1ba","datavalue":{"value":{"entity-type":"item","numeric-id":4327367,"id":"Q4327367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02081870ab50b5d14a575e07c9119a817ecff328","datavalue":{"value":{"amount":"+0.7159445285797119","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":"Q1337508$BECE8A45-FFD4-4362-BA71-C73C7450984C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0be5cbfcdc5daba66af54ceb295048154ebcdc6","datavalue":{"value":{"entity-type":"item","numeric-id":3417350,"id":"Q3417350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0e23c846582467907e9a0c872294f2ab5cb13b8","datavalue":{"value":{"amount":"+0.7113086581230164","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":"Q1337508$8E08D0A1-4E75-4109-843E-E0D996EC5B81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-well-founded sets via revision rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-well-founded_sets_via_revision_rules"}}}}}