{"entities":{"Q874754":{"pageid":876602,"ns":120,"title":"Item:Q874754","lastrevid":50068954,"modified":"2026-01-12T21:01:33Z","type":"item","id":"Q874754","labels":{"en":{"language":"en","value":"Some restricted Lindenbaum theorems equivalent to the axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5141202"}},"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":"Q874754$E21EF7A6-F3AB-4E64-9F9F-146CBAD986B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c118cacd3446562f610b13b267f440fcb26fa49","datavalue":{"value":{"text":"Some restricted Lindenbaum theorems equivalent to the axiom of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q874754$99FD7E8F-0B42-4746-8150-A22B60E10A41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebf18ae03b54bd1435642bfc8ba9728834324e33","datavalue":{"value":"1118.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874754$FCA38798-B7B5-46B9-A51E-3FAD63586386","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93c088a71aebb7db2da28fb391a6428b0c041ffa","datavalue":{"value":{"entity-type":"item","numeric-id":671466,"id":"Q671466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874754$1B72F1E8-69FE-4F5C-AA2A-DCF690363B9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874754$397F2A32-3BF6-4AA1-8086-DDDFFE098249","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7130f17776024677519259de1aa3e6f876677651","datavalue":{"value":{"time":"+2007-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q874754$4265E3F2-5DCB-4E9E-8444-CB02331F79EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874754$B754A80F-10CA-4724-BC0F-FB0DB4D33016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874754$B8151C51-DB05-4AC8-A94C-22434A2A909D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f845a16cd806849bd3e759ccaa9f454f19bcb767","datavalue":{"value":"5141202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874754$D3091020-A096-4696-B44B-D957244EDF89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8dded92c89d2fb379ab4a6258598a7514f3b1e7","datavalue":{"value":"2-compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q874754$56AC6B5E-9DC2-49F5-8AB1-0858ACF363EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q874754$CB0AE507-6426-4D7A-90CB-1AED9A14CB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b9a3d386426d9368439ab333fcccc5c62594844","datavalue":{"value":"consequence operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q874754$3E1FFD11-A9F7-4156-886A-949200320C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e558e51aabd3eba2d0a9209e8991d19085f126","datavalue":{"value":"deductive theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q874754$32B0338C-392E-421E-9017-5844EF021ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45305e078a5984ef7e641c7b6cbe42e1f463f01","datavalue":{"value":"saturated theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q874754$67F10C76-76C0-461D-AE2E-B3E1EE066EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c930bedcac436162856584bbdd6e3065ef5b8fd","datavalue":{"value":"Lindenbaum extension theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q874754$CCE8E07C-A882-47C8-9ABF-7EC21D993E4A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fbe419f572c7efbbf4a033480f9821443431bd73","datavalue":{"value":"Q114017262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874754$5FFA5A85-42A0-4ED2-B1F3-94BAEBA325CD","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":"Q874754$9D466AF9-AC60-4229-9000-E9812733CBFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa6d1e1fad356bf85cc57ff4f58d2955bd04d4c3","datavalue":{"value":"https://doi.org/10.1007/s11787-006-0009-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q874754$BFDD6E47-082C-4109-98AC-99AB37802544","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4de6725b98b0973dc0be9e4f52fb64834af15cf0","datavalue":{"value":"W2054599106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874754$15C27F67-B1B5-4AAF-AFD4-513EEE1BD616","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64ab81323073191c06b084e057492c899483a307","datavalue":{"value":"10.1007/S11787-006-0009-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874754$CCDD0837-0A1B-4532-8651-5B5B92BA4054","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c7a93c6b5fd6d2af166701245cf363d018aa09e","datavalue":{"value":{"entity-type":"item","numeric-id":4438116,"id":"Q4438116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276fbcf7a722c7a01bc055a52465f8a865881618","datavalue":{"value":{"amount":"+0.8711068034172058","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":"Q874754$66A2E1D2-F0F0-4DEC-BF2C-1D382C1B8112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70de481cb26336c8025454b3fa230e33cec54010","datavalue":{"value":{"entity-type":"item","numeric-id":5108863,"id":"Q5108863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276fbcf7a722c7a01bc055a52465f8a865881618","datavalue":{"value":{"amount":"+0.8711068034172058","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":"Q874754$3AF8ECAD-5385-4833-8F25-5BCE6B1A887B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c38e38c217e2578184a68830ad84e754fb3ae25","datavalue":{"value":{"entity-type":"item","numeric-id":2254568,"id":"Q2254568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb170cccc1dfcd1b4c0f026b506f8c12af6e933","datavalue":{"value":{"amount":"+0.8599185347557068","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":"Q874754$ADDAE697-93FA-4597-870D-1D4E0170C29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba5ed8b30a0d8e17011042e5d0e10a9da37809d","datavalue":{"value":{"entity-type":"item","numeric-id":4795607,"id":"Q4795607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ff4c1771c629583a3f6ee2cac57f8f80f702cb","datavalue":{"value":{"amount":"+0.7175324559211731","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":"Q874754$07B27F4B-1B84-4E4F-B4FD-8A1DDFD0ACDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ba9d05360fc9a4c97c4dd182d8b8e25123ee2c","datavalue":{"value":{"entity-type":"item","numeric-id":3305552,"id":"Q3305552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b96e27644b302cb4f3a2446ab00fdac34c9416","datavalue":{"value":{"amount":"+0.7136011719703674","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":"Q874754$C35EF3DE-4356-423C-B458-F1BCCC73A40E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:874754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:874754"}}}}}