{"entities":{"Q1295396":{"pageid":1306146,"ns":120,"title":"Item:Q1295396","lastrevid":68393187,"modified":"2026-04-12T23:24:45Z","type":"item","id":"Q1295396","labels":{"en":{"language":"en","value":"Inaccessibility in constructive set theory and type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308079"}},"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":"Q1295396$4C99CDFB-01A2-4C4D-9560-C1DF653C62EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11ed23294474bb0b6ab25c577bea4960dd5c09b1","datavalue":{"value":{"text":"Inaccessibility in constructive set theory and type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295396$93A60E6B-C636-49AD-A528-4C1519E2F623","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e88dd72b4656db27f80f1a4cf03ce879e530391","datavalue":{"value":"0926.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295396$7655CDD7-86ED-414D-9B4A-680854A0ADB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09a723ad0452982abd3538365528bf3f5e6666e3","datavalue":{"value":"10.1016/S0168-0072(97)00072-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295396$6F632EE8-2081-4BCB-BDCE-6236D39CD6F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$2B25DCBE-ED1D-47ED-A341-A714369243A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fe3c77477a57e28f661a034dc3966dc0afa9a91","datavalue":{"value":{"entity-type":"item","numeric-id":1295395,"id":"Q1295395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$D542C40F-1E10-40CB-B0A0-9D07B7EDF6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$857549CA-7AEB-43D1-A546-8F5BFAB6CC31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$B27E274D-B745-462F-AEEE-882D3495DD21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38736b16377d65c133558922b8d6a1a038ca7912","datavalue":{"value":{"time":"+1999-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295396$C4561B88-2C39-40BD-B133-69AA66FA95BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295396$827703D5-598B-4D36-8D27-470425B4B6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295396$0AB1F6A1-84B6-41C9-9DC2-139D26833B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295396$34696220-DECB-4FFB-8B57-7A580989C010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295396$ACC2B395-3FE8-45B9-82E7-CAE6E1EA1210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295396$7D2C4BB2-EC42-411D-A80A-4698B02E0082","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad33a20e7ad38fb1ecf7617c9e7dd2604cf27b48","datavalue":{"value":"1308079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295396$319A5B46-8FC2-4B3C-AB18-3C14003D271C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77fba0cf7426637434c1e39d1c4b2ad2ae1c6949","datavalue":{"value":"Mahlo's \\(\\pi\\)-numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295396$8BEE1F2C-6128-4306-8CEF-AF9E21B652D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295396$2C5FCBD5-1F96-40A3-9F27-EBD84368B91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1338282542f24f08287fbf08ccb2e56e33e0fd","datavalue":{"value":"inaccessible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295396$791FD536-B7B7-49B9-8FD2-AB1E5B6F9BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e1d3fd90144d6a82eeafe3352992a8ee833e42","datavalue":{"value":"inaccessible cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295396$D3A17808-2CB3-470D-A37E-BE456CA77FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7c24935dcad54bb8b35bd2297a2d654d149a5b","datavalue":{"value":"constructivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295396$B59E089B-6C11-456F-B5B4-DDB9B2C6BD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a5c9231f1fdfa0dc629bc6a4db30ea42358d28d","datavalue":{"value":"Aczel's constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295396$E7DF0BBC-9AAB-4E98-B2A8-86BCBC5EB34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93a1bc476bf1b0792416e3dee5ed7406bec2ad8","datavalue":{"value":"Martin-L\u00f6f's intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295396$E696D724-A81F-4B98-86DD-A871A8BD7AD6","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":"Q1295396$F0DBBFDE-2E46-4728-8D0E-437B118D2159","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$95832222-49B8-4CAB-B4A5-322D4F269C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9779d2f20504dba38f482f942c0abc04f8e04e14","datavalue":{"value":{"entity-type":"item","numeric-id":3310616,"id":"Q3310616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$34E6B93F-5DD4-4E1F-A04D-96CBBE1D8911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c165ff1f162c68d8c431ce2def1730099f39078b","datavalue":{"value":{"entity-type":"item","numeric-id":3671968,"id":"Q3671968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$0A12640C-C2CF-4D39-AD67-C7E7A7C1F397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55cb26be29174b1de9acca41e4f1d834db6623c","datavalue":{"value":{"entity-type":"item","numeric-id":4893132,"id":"Q4893132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$B586B580-99F2-453D-9DB0-3F9FA6EF6D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cd0006e2bb7aae452e5b6a76e52bef361dc9563","datavalue":{"value":{"entity-type":"item","numeric-id":2543186,"id":"Q2543186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$F0C91757-C359-441D-AAF1-249B7A7ABF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f22db8726abc1b17c66467dc58d8102a542e4","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$28806DF3-758D-4B4C-975F-661C8968D5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$AC9E9D35-F38B-4F54-821F-319F00192BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$0FE4FD3D-6C0C-4496-927C-B0A346FB3322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$A8B38AF6-3A92-4FA3-8D08-BE2D7ACC1CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$D7F25D4F-2350-44A4-BFFA-83AC74FE3A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf5e3fed59037f31ea2ef2c7bc3296cc41b0e25","datavalue":{"value":{"entity-type":"item","numeric-id":1308982,"id":"Q1308982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$D8D0ADC5-85AF-4779-820C-CB1ED434E5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee2f94b9261db91fcb79ee075343540417328d","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$E62AE682-027B-40EE-9E0F-257518A1267F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8ff59a19c433a03526d2993fc18dbdfceed2bd","datavalue":{"value":{"entity-type":"item","numeric-id":920986,"id":"Q920986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$BEFC15FE-6474-4E52-836A-9FCAF4D03420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec6af83f9a6c90ef054757ef63aea9bbf0884e2","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$4D643CA3-9004-40D7-8F6C-AFCBC0FF70F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3a7eafe52e56bd4d106cc98c2bef8a475cab39","datavalue":{"value":{"entity-type":"item","numeric-id":4381421,"id":"Q4381421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$30762847-01C6-4E79-AA04-8FEC8CC72D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4961374e6ddb708111e6f7dc9bd89efaafa073e9","datavalue":{"value":{"entity-type":"item","numeric-id":1295372,"id":"Q1295372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$6A43C315-8B6B-445E-830B-F25B408B4564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc1ad39823e87bfa0461332d92468ea40681b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1568707,"id":"Q1568707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295396$15BB4DED-B86A-4A5B-B4E8-4EFFB2A17CC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da92cb1e0349daf8a78255d0a62e3cc78faa2ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1407579,"id":"Q1407579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7fbd26f213b65efced818304d17084ebd911cc3","datavalue":{"value":{"amount":"+0.8300861120223999","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":"Q1295396$BD1E4D84-C13A-4729-86C9-2449E4179312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e3531ca5baa0e71d970e1f7742f2d4f1bea84d","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e94945075d6d9d17925d896be7185033163c0774","datavalue":{"value":{"amount":"+0.7857009172439575","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":"Q1295396$45360BD7-3908-4763-AE37-BA48FB407145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c995985ab517bc18c9b297f34f20ce89e9265e4","datavalue":{"value":{"entity-type":"item","numeric-id":5457304,"id":"Q5457304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c1c68c543ee64e98b470961b46b97a5ba917672","datavalue":{"value":{"amount":"+0.781747579574585","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":"Q1295396$43072A99-8FF5-469D-8F8B-12418780AD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16008af8927f878f239af8cb18c3b990513f1c4","datavalue":{"value":{"entity-type":"item","numeric-id":1612481,"id":"Q1612481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d592533877685f45c1b00a6f57b60acda04cc4e1","datavalue":{"value":{"amount":"+0.7802497148513794","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":"Q1295396$4E7BF4D5-0115-4A2B-9682-1A0E014ADF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad14a45e62d2df7c44ea6e92554e954392cabbde","datavalue":{"value":{"entity-type":"item","numeric-id":1372877,"id":"Q1372877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf64074f4402b5c7e2283a848519e5e12ffc1cc2","datavalue":{"value":{"amount":"+0.7788859009742737","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":"Q1295396$F907F18C-9DA5-4CBD-A5EA-AB5F331DA9BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inaccessibility in constructive set theory and type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inaccessibility_in_constructive_set_theory_and_type_theory"}}}}}