{"entities":{"Q1181863":{"pageid":1192612,"ns":120,"title":"Item:Q1181863","lastrevid":66514509,"modified":"2026-04-12T10:35:28Z","type":"item","id":"Q1181863","labels":{"en":{"language":"en","value":"Hypersets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 28913"}},"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":"Q1181863$E5A26240-FFFA-4B6D-AD64-0B1DE7888992","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9818264fc572e9f2bd399ac9dda1133c939471ba","datavalue":{"value":{"text":"Hypersets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1181863$B881D863-B2B1-4DC9-8042-74FACB22027D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a65074bb17c59e30cfbccb948933190488330b2d","datavalue":{"value":"0756.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181863$5C73FDE2-3D1C-4042-9371-28F915666B8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1d319df30d4ba668f79b5b9591e6bd76e434f68","datavalue":{"value":"10.1007/BF03028340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181863$07C284B5-7806-413F-B464-6DAE605B56B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48df1de5dcfcd296c388549b360f3903e6842b17","datavalue":{"value":{"entity-type":"item","numeric-id":1181861,"id":"Q1181861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181863$B7AA2EEF-8BB6-4E58-B1A8-873E454F797E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8be59c017e29d63237278d265a9d9e7388ace329","datavalue":{"value":{"entity-type":"item","numeric-id":1181862,"id":"Q1181862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181863$6C515973-B39C-4E4D-8DC8-D80FE8D7ADA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fb1fb9e3613de38b550373bd0384fba28a5a775","datavalue":{"value":{"entity-type":"item","numeric-id":215534,"id":"Q215534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181863$53BB3FA9-F088-4585-96EF-90E5CAB0E034","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1181863$4FBCCC50-88AF-4753-A3EC-AD43FE629DC5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aa14fec4720c36759641ef744d09b2e8d28966e3","datavalue":{"value":"Several elegant solutions of problems in theoretical computer science, e.g. the constructions of natural models of the \\(\\lambda\\)-calculus by \\textit{M. von Rimscha} [Arch. Math. Logik Grundlagenforsch. 20, 65--73 (1980; Zbl 0428.03045)], have brought to the attention of a larger audience the usefulness of alternatives to the axiom of foundation. A systematic study of such principles (generalizations of Mostowski's collapse combined with various forms of extensionality) has been initiated by \\textit{P. Hajek} [Z. Math. Logik Grundlagen Math. 11, 103--115 (1965; Zbl 0171.26402)] and \\textit{M. Boffa} [ibid. 14, 329--334 (1968; Zbl 0169.30603)].   In the paper under review the authors give an introduction into one of these alternatives, the antifoundation axiom AFA in \\textit{P. Aczel's} terminology [Non-well-founded sets. CSLI Lecture Notes, 14. Stanford, CA (1988; Zbl 0668.04001)]. The purpose of this paper is to convince the reader that AFA ``is an interesting, mathematically and philosophically respectable alternative'' to the axiom of foundation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181863$BF9986AF-358C-414C-B662-7601E4E41028","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5fd9f3f0b8e3bd4ab7545fc7b132020a15f97f0c","datavalue":{"value":{"entity-type":"item","numeric-id":793376,"id":"Q793376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181863$6FBC5613-B558-40EE-9BDE-3874298595D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181863$883BF65B-2690-47FB-BE9A-1D3B5B978A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181863$AD7F90EF-A0C7-4FC3-8A85-B2FB99855C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181863$1ACBE1F1-627C-4794-A667-7C9F1C2E49D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d41b491b62740b16e41f975c0014fba63d148fb","datavalue":{"value":"28913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181863$CB3B2E7B-9083-4A30-8EEA-6759C51DD4D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98991d2c0397f24e8f53a1dbddf7f24d40e97ba0","datavalue":{"value":"alternatives to the axiom of foundation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181863$38D29D0E-F963-436B-8062-538B6D4B934D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1808ec56514dab28399058347c90da2b0e5aaef","datavalue":{"value":"antifoundation axiom AFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181863$AA5EF46D-D278-48E2-AB31-3B12EBE036EF","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":"Q1181863$EAA91EB5-C625-4129-BF52-8B54D5DB5918","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9e36ee4012ef546cb881d1f8055042f64fc036","datavalue":{"value":{"entity-type":"item","numeric-id":3007237,"id":"Q3007237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181863$083EAED2-190D-413C-B84C-1A2DF3D14CB0","rank":"normal"},{"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":"Q1181863$E83211D0-30B3-4EFB-8C6E-70A6330388F2","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":"Q1181863$2C5630A1-6824-46D8-9014-D0FDB0628068","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":"Q1181863$F6FF774C-37C7-428E-AFD7-D7341FE6E2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fef5b17202fc4e5ee6a97e13b4c2e311605f7dd9","datavalue":{"value":{"entity-type":"item","numeric-id":4321942,"id":"Q4321942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181863$C8317EF7-1257-417F-A824-F4FF5445AD84","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":"Q1181863$D663C28A-2ADB-439C-B93E-63B461B0A3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c271699d5632f89990569be213e5fa2b0387b45f","datavalue":{"value":{"entity-type":"item","numeric-id":769897,"id":"Q769897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181863$DA7FE862-A669-4693-BE46-BCE31D7B48F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181863$9F8D8B05-27E5-44BD-96F1-6ED06A2B8F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f27c567b3a4737da564aa4b67c8b1d6e456e7f0","datavalue":{"value":{"entity-type":"item","numeric-id":4089040,"id":"Q4089040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181863$D3ED4BAF-CA76-411C-B2FF-95B21FA8B5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181863$AB70CC00-DF50-496D-AC95-A23E805DF5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a69ec3c6cceee861f5cb5fc0b7b805696cd4df02","datavalue":{"value":{"entity-type":"item","numeric-id":757360,"id":"Q757360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181863$947BC269-CBB4-4AAC-861F-2EB73CF4EEE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4f8d16f41c5bef03aaca85f6d82d36151510be1","datavalue":{"value":"https://doi.org/10.1007/bf03028340","type":"string"},"datatype":"url"},"type":"statement","id":"Q1181863$A7BDBA70-AFC7-4E64-9D4C-E70F5247BA7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eaa5ac5a29f121f34627019b82984dbb465d3abd","datavalue":{"value":"W3190416762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181863$88610EB9-2129-43F4-83D1-DCB271B76743","rank":"normal"}],"P1643":[{"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":"7e135e44259fb6346d39511000a989fd3f1e7ee5","datavalue":{"value":{"amount":"+0.7757474184036255","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":"Q1181863$437BDFCE-D7D3-428A-9757-FDB7A6157244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c6d695671b1bd821fdfc480106dd90d75a4f71","datavalue":{"value":{"entity-type":"item","numeric-id":742483,"id":"Q742483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b547828de57a9c30adfe27033f5b6cfe9133b7c0","datavalue":{"value":{"amount":"+0.7656258940696716","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":"Q1181863$201F2436-5D55-4F00-9624-84F1C4D6CA2F","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":"372aa96a8c2a694d5586ea096794db167bc93b0e","datavalue":{"value":{"amount":"+0.7655799984931946","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":"Q1181863$DC69DC00-AA31-4FDE-9D6E-7CB8FE586099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e01dd5089f7e311a7c90bf9996164b5af3b03be4","datavalue":{"value":{"entity-type":"item","numeric-id":877560,"id":"Q877560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfaf70b4dc04cf4b88117695d3cfc16206edb4fd","datavalue":{"value":{"amount":"+0.7623919248580933","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":"Q1181863$431D80B2-CBC7-4C75-B34D-439AB4CBB410","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hypersets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hypersets"}}}}}