{"entities":{"Q1423638":{"pageid":1434378,"ns":120,"title":"Item:Q1423638","lastrevid":67414515,"modified":"2026-04-12T17:28:05Z","type":"item","id":"Q1423638","labels":{"en":{"language":"en","value":"Some new intuitionistic equivalents of Zorn's Lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2051465"}},"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":"Q1423638$C11E77AB-6BDA-46C9-AB25-BF1F499C33B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25e62214a7f3db4982fd9aa54369b4448e859a6d","datavalue":{"value":{"text":"Some new intuitionistic equivalents of Zorn's Lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1423638$26892ECC-D8E1-47D6-8CB0-6A8D4BE8292D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38a292b6dfcf2274800be7e0faf7190a0caf20b6","datavalue":{"value":"1045.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423638$E1DD6715-E5BC-423B-A874-0ED3265E2301","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":"Q1423638$6CBEFBC3-0685-4E08-A800-8AD87A8A91B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b6b6d4a806cd2f0a9402edc4992ca7a6f787c5c","datavalue":{"value":{"time":"+2004-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1423638$BDD1B0DB-69C2-4BD2-ADFA-7CDAC425E262","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"afa37eea9ccf48b1f695dc11341862ad37dff0d1","datavalue":{"value":"The author establishes the equivalence within IZF (intuitionistic set theory) of Zorn's Lemma with two statements, one a fixed point property for certain self-adjoint maps on complete lattices, the other the existence of a clique for any reflexive symmetric binary relation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423638$A1F3414B-3EFE-4C94-93B9-9915FD9B5BAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423638$009A47A5-3F67-4694-AA26-D4C64EF57C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423638$35819C05-948B-47CE-B93E-496DE4934C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423638$5B5B6DA9-2273-417B-BF55-95FA614312BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e98a3176ff07e719ef82a2eb18d33a03167d944e","datavalue":{"value":"2051465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423638$39999C7D-B745-44E4-800C-E746ADB2C9F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8209c6e1c7ab98bccaa122852ebd1cb13df05c93","datavalue":{"value":"Zorn's Lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423638$233A8774-9C5A-4D1E-9EEC-3E80AD8E8369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57e7221db39bf9b3993ac689b6d1bd5044870197","datavalue":{"value":"intuitionistic ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423638$94C7D281-C78D-433A-84EF-AE03CB01F3C2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2936d2ca75b282fe91002e3a0760ae48486e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423638$5D4B8AF2-E172-4FBC-9ABD-9F3A52D31E5C","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":"Q1423638$A4316AD2-B4D7-4354-B4AC-FBD7A920DBC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5656a82f77b014a5a63a9c68479d9c75209c20d","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0191-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1423638$B9774BC1-AA34-4BF8-83C8-9D70063711BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85ddf01974f7283b47bec12ac6b7d0a3274d576a","datavalue":{"value":"W2052407354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423638$707B4DD7-5B0A-4A3B-A239-5700B421A14F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b59672a0ecec652cb88a33520d8e8852f3cce4d0","datavalue":{"value":"Q125023772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423638$E4833186-24A4-47A0-AA2B-A0F65E6F840F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1b514b280bfd1c6410a5312df7b932cbc105aee","datavalue":{"value":"10.1007/S00153-003-0191-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423638$014E88C5-CC97-4BE9-BD12-AD2BC7E7F167","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a83851fc7bada4ff1890c0abd85929cc725f54c6","datavalue":{"value":{"entity-type":"item","numeric-id":6481058,"id":"Q6481058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423638$B4EFDF59-4153-403D-A1C6-E3CC51EC37A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf07e013a82972a80302d290b7c91e3c184f1dec","datavalue":{"value":{"entity-type":"item","numeric-id":4382475,"id":"Q4382475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1250ded4d95e3dc496e61cc7981fc8e8e1dcfa","datavalue":{"value":{"amount":"+0.9054929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1423638$8CA19BF2-18AB-4B9E-8868-3CBEBB64333F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ab9f4834e8d33041bd999c3acbb00cda9a0062","datavalue":{"value":{"entity-type":"item","numeric-id":3684120,"id":"Q3684120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097214b16992aae3242529b082f5478202056c8a","datavalue":{"value":{"amount":"+0.8947634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1423638$8EF63962-F603-4F59-B800-01EA6D56695E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef02ab3d52ed2e130984878c38c59367d57176bb","datavalue":{"value":{"entity-type":"item","numeric-id":4315323,"id":"Q4315323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a4c7a47856a1337ff5361cacbd9ae489b893e0","datavalue":{"value":{"amount":"+0.8945101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1423638$71C69F8D-3543-4068-9B5F-B5E1DB2E006A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f831324313aebf6a929971f54943472b545cb25","datavalue":{"value":{"entity-type":"item","numeric-id":2903902,"id":"Q2903902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7478948cba88797ecff01d8c164a47c1106a048","datavalue":{"value":{"amount":"+0.8804709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1423638$722C1862-2FCA-4D3D-A181-3C3D0C2A14B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2092672f474afccea5ec4867f28aac4cfe6125b4","datavalue":{"value":{"entity-type":"item","numeric-id":5874220,"id":"Q5874220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032bca329db0d1b99ff7032e8d669b88078efc23","datavalue":{"value":{"amount":"+0.8799361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1423638$F97A0BD7-6A99-4A74-AB78-1ABA8D6B7961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24041f1c4550603c065c54f0e172e54d35e6e88a","datavalue":{"value":{"entity-type":"item","numeric-id":4223858,"id":"Q4223858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bac1d7eac8b50acab5db10de744f6867fa7ea5ab","datavalue":{"value":{"amount":"+0.87896997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1423638$EC137248-BEED-4435-A515-6BDF82088ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a3d81fc9fe44e3f832b0a1464a065417c6d35e","datavalue":{"value":{"entity-type":"item","numeric-id":2992085,"id":"Q2992085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c675b1630a0de300b88fcd9c8af9cc068700df5","datavalue":{"value":{"amount":"+0.878814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1423638$DEEE3664-BB81-4217-B0CE-9F8E2AD21A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d47ccb2e43b8d787425433bb81605fcb4a8490","datavalue":{"value":{"entity-type":"item","numeric-id":1970642,"id":"Q1970642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ce2b098e52d12f12d38c66917325dbac7f59d4","datavalue":{"value":{"amount":"+0.8730495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1423638$3574CCEF-76CC-4D76-BCF9-3C80171E079D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a79f06071d08b83f6ba5d7853c457a7054270a","datavalue":{"value":{"entity-type":"item","numeric-id":2647797,"id":"Q2647797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56929cc9aa11a3c0683b7a5e61afbebb7a83ad1","datavalue":{"value":{"amount":"+0.8703608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1423638$39EA3DB0-F5AA-4F65-A57E-7447C0DDC20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b8c98cc5d2a750a906a9b581298ea515071834","datavalue":{"value":{"entity-type":"item","numeric-id":5687313,"id":"Q5687313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e87f675f7c1ec46b0835bcbb8df1e3b465ca05a","datavalue":{"value":{"amount":"+0.86963016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1423638$F18A8621-8F6E-4FED-9CC4-6808EFF9C633","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some new intuitionistic equivalents of Zorn's Lemma","badges":[]}}}}}