{"entities":{"Q712189":{"pageid":714038,"ns":120,"title":"Item:Q712189","lastrevid":51114035,"modified":"2026-01-16T18:16:36Z","type":"item","id":"Q712189","labels":{"en":{"language":"en","value":"Injective power objects and the axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5807454"}},"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":"Q712189$DA740577-82B0-49A1-B1CF-0F7858445814","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"768b547c29a8945174b7b38634a5e27f29b9b0bc","datavalue":{"value":{"text":"Injective power objects and the axiom of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q712189$6DA19806-25D2-4B0D-8872-42E31224AC2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33857d2493061a6576cac6ca4bb985acf5545997","datavalue":{"value":"1208.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q712189$E86FA621-D2DC-4FD5-A9FA-65E9B2E08FC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8a1928f331833bc51485061a6a8d0b7771a9252","datavalue":{"value":{"entity-type":"item","numeric-id":461627,"id":"Q461627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q712189$FB3F3D8B-A875-41D4-B2F2-9E4502404A7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q712189$5E96E9A9-0F49-4AA5-A449-0E4511DCD3FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d37d6164d0dc915222a42ebfffca6d25de1a951","datavalue":{"value":{"time":"+2010-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q712189$C626D546-5656-4114-AA4E-7F31A41BA820","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"513b3cc79a0a855670abc2cd27e807af6666a4c0","datavalue":{"value":"The author investigates the axiom of choice in a topos by interpreting the crucial term ``non-empty'' as being ``injective''. He shows among other things that if the axiom of choice holds in the category of sets, then it holds in a wide variety of topoi, including all localic topoi, and that the topos-version has several of the classical consequences of the axiom of choice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q712189$900CF9BA-BDDC-4F19-9188-F6DFEB07A27D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9f8415a1535b9bf8a51e966a2898a8f69f1aeb2f","datavalue":{"value":{"entity-type":"item","numeric-id":234494,"id":"Q234494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q712189$C6A7C383-8118-421E-A0C6-E0CC008E65B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q712189$56ECD556-ED5D-4209-8004-D7AB343D405D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q712189$8DE9E9D0-4513-4764-8B15-0C36651EC774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q712189$0D4417E1-A248-4AEB-9EA2-5D1CCB81C520","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"977dc905f14e65deca4920ee9f4e119cf864e75c","datavalue":{"value":"5807454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q712189$E448B6BC-3782-4806-B054-F03AFC41EA24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q712189$99FECFDD-EB48-474B-8A55-400E1E4FAB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b98c2ff74078663b2a33d5b1ac579aaaf2f55ee","datavalue":{"value":"injective","type":"string"},"datatype":"string"},"type":"statement","id":"Q712189$3B506AF5-FF47-4D1B-8525-3A07215DECE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q712189$4A622E1E-5DD5-4DD5-9572-CD2512C37AB1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"565846d3a66fdbc18ae4e229c11461d66f14eee4","datavalue":{"value":"Q114013820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q712189$A1C54D30-65DA-4D83-8E07-0A6E09435F51","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":"Q712189$C458C4FB-09C8-401B-83FA-10FAB734DA33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bdfea0fa845dbe4d4728d0d9586c6b1d7865901","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2010.04.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q712189$F9AD7428-5D61-4321-A3FB-F17285A030B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41c242ae95861c93d2a6de6f575b0672cdff4bb9","datavalue":{"value":"W2005548176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q712189$C7E430B2-7A5B-4844-B290-391C8F0490DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"045ab0aeb38b209f13b6f5a37c1d619046f27d51","datavalue":{"value":{"entity-type":"item","numeric-id":4078028,"id":"Q4078028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q712189$9F2C2C66-3511-42B2-9A3B-92BDCD2743CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3879fdfca670d7f071d7baa350b899a1e5e0f697","datavalue":{"value":{"entity-type":"item","numeric-id":579255,"id":"Q579255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q712189$E5FAB108-D00A-4F71-9129-F22AE3371061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa8d51e474d9ea85198566809f39fdf0a77629d","datavalue":{"value":{"entity-type":"item","numeric-id":3411953,"id":"Q3411953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q712189$C54CB658-D8CB-4F18-8326-8AACC7E7C118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q712189$338A0F1F-4DE4-4A23-B636-2464A9AE6A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3aab8ae91ef7a3a55e9c7fcd113a48a3b8e9a7","datavalue":{"value":{"entity-type":"item","numeric-id":3413677,"id":"Q3413677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q712189$858C021E-4A41-49FE-BD69-E02C8FEED781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e9d24cd4d317bda4f679f1ac8ae46fee7a5a6c","datavalue":{"value":{"entity-type":"item","numeric-id":3413676,"id":"Q3413676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q712189$5B5B967D-0D7F-4291-952B-033EFB2525FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41a8d141d474a4ce436daf114fb252e735085e9f","datavalue":{"value":"10.1016/J.JPAA.2010.04.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q712189$3E0741A9-913C-43B7-863F-7450C458DD4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da3c23bf34a64f63b72dfbffc1c7cb8517932159","datavalue":{"value":{"entity-type":"item","numeric-id":5713087,"id":"Q5713087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4427a19c53fcb6cd9cf5bfb01bdbd71ea0dcccd1","datavalue":{"value":{"amount":"+0.8088304400444031","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":"Q712189$330C38EA-D5D5-42C8-A493-ADE276249DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9331dd9cf73d1359c39dd9bd95782f735950d47","datavalue":{"value":{"entity-type":"item","numeric-id":3397211,"id":"Q3397211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e667ba6b02bb4d021eab17bad6d191007f456457","datavalue":{"value":{"amount":"+0.7897867560386658","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":"Q712189$43F501C4-CBC6-4848-94C6-DCF263CBA17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6294d85ca838d5412ac2fb1361e917b7810a82","datavalue":{"value":{"entity-type":"item","numeric-id":2993126,"id":"Q2993126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f74f8de48f09c547552240bdd271271ca5d22a","datavalue":{"value":{"amount":"+0.7827621698379517","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":"Q712189$3A02EE85-3EEA-43FD-A158-F14184219B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deec45905382e691f6c6af36a159be2c306a322b","datavalue":{"value":{"entity-type":"item","numeric-id":4644584,"id":"Q4644584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86caf4892264ba6f76bb38ea2a25ac0fd1b29852","datavalue":{"value":{"amount":"+0.779384195804596","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":"Q712189$A5ACAE24-CEB8-4E59-9D69-3845E168BBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccadc60dc074277da8f130cce105481e707b2b78","datavalue":{"value":{"entity-type":"item","numeric-id":2377052,"id":"Q2377052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dfba1dc2e8ddfdc2be41ab1dd875b375b397598","datavalue":{"value":{"amount":"+0.7768885493278503","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":"Q712189$230D495B-FA99-490F-9503-39BDC7E30D41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:712189","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:712189"}}}}}