{"entities":{"Q1000868":{"pageid":1002716,"ns":120,"title":"Item:Q1000868","lastrevid":66529530,"modified":"2026-04-12T10:45:38Z","type":"item","id":"Q1000868","labels":{"en":{"language":"en","value":"On the constructive Dedekind reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5506509"}},"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":"Q1000868$9E37CF80-4FDA-47C5-9B28-CE93582A913B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90de4871409cb0fed139092e2ab0efb6d0b57f11","datavalue":{"value":{"text":"On the constructive Dedekind reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1000868$22CE7B2C-F533-46D1-B404-FAB76D378EAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc2f234143cb6c10e5c9254ab1c3885dcd0fb04a","datavalue":{"value":"1162.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000868$7DE80147-5082-434B-A8EF-2CF45C97FE86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba7d32203c7bfbebbe66cfd891119ca73c5bbe19","datavalue":{"value":{"entity-type":"item","numeric-id":408536,"id":"Q408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1000868$B90980AF-DEDD-4BFA-BDDF-602B58FACF11","rank":"normal"},{"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":"Q1000868$DE1A6159-CFE5-4C0C-A25A-1EA8A893DA02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9357f244709a7d7015aeca7ff770169940f4ff0f","datavalue":{"value":{"entity-type":"item","numeric-id":1000866,"id":"Q1000866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1000868$F398E352-8175-4A94-A1B9-050FC206D147","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ec71d086a55cd4934263b512a7724eb9748ddff","datavalue":{"value":{"time":"+2009-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1000868$9FA555C3-BDFD-441E-85CF-58C9E70179E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd0d666d56e2f24b20e7fde1ee76d1290b3af81b","datavalue":{"value":"https://arxiv.org/abs/1510.00641","type":"string"},"datatype":"url"},"type":"statement","id":"Q1000868$BD140E6D-22B8-4D13-B3C0-37E7AF2F6955","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"131a1a4dc622d7eb2b001765571c8e57d10aed3a","datavalue":{"value":"In classical set theory, the concepts of Cauchy reals and Dedekind reals lead to isomorphic structures. Constructive Zermelo-Fraenkel set theory at least proves that both classes form a set. But how are they related to each other? To prove that the Cauchy reals are a set, the axiom of subset collection is not needed to its full extent but may be replaced by exponentiation. This paper defines a Kripke model of Zermelo-Fraenkel set theory with subset collection replaced by exponentiation. In this model, the Dedekind reals constitute a proper class. This is a strong independence result. Readers from various fields of mathematics, like proof theory, constructive mathematics, set theory, model theory and foundations of real analysis will be interested in reading this paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1000868$82E3C0B4-A040-44E9-B8F0-E36CD7422492","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e50e51a335ced4910768cba9c791ed218f55775d","datavalue":{"value":{"entity-type":"item","numeric-id":306580,"id":"Q306580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1000868$0FA6A7A1-5CAF-460D-A7DA-A15D6B6996AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000868$F64026BE-6C41-4437-81CD-40893E881DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000868$9453B34E-2DB6-42FC-B43E-B6B0DFEEC376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000868$1790AE18-FADD-4BCB-9FEF-5602A7784088","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfe6e1c8d95793235212af880033fe47ec770fed","datavalue":{"value":"5506509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000868$F014654B-ED6D-4F28-A222-46ED893232FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1000868$4FEE7278-585B-4F7E-BF97-28FD08725BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bc6f74c9a9a24c1b0cc23f80efc9936624198c7","datavalue":{"value":"Dedekind reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1000868$A9E315E8-595F-4BE6-93E5-FD83D227745A","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":"Q1000868$A68D3692-A157-4F33-B53F-611703662F95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19735f88a7276e5142c0f62dc51d799fe28c29c6","datavalue":{"value":"W2145724981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000868$B56796E3-DFC6-4444-8EE6-675A939DD339","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"75a77fe33123ebf8dc43c3f9e07de9249f3913df","datavalue":{"value":"Q59903909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000868$852D8914-CF46-4DCD-B0DB-83D1CDF6FBCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1000868$ACC4CEDC-901F-4E70-BC9F-22031F9A4CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e7e7045352eade2fa4ed335c654dfba1e3be48","datavalue":{"value":{"entity-type":"item","numeric-id":5718698,"id":"Q5718698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1000868$4AEF32E8-1DB0-4B84-986E-9C5B8DF600F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3915a4a137f651afdbc1462ae531061b82fed5d8","datavalue":{"value":{"entity-type":"item","numeric-id":1071017,"id":"Q1071017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1000868$5EFE9D6F-94B8-4ABD-985F-736CB1B87E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356176b4c2fc289e7fbb7b270efe9a342ccd0395","datavalue":{"value":{"entity-type":"item","numeric-id":1765158,"id":"Q1765158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1000868$8759AB5A-1117-4EB1-94C8-EDD074B483FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04cb13feab1908b17c973f10d14057648c0ea8b7","datavalue":{"value":{"entity-type":"item","numeric-id":5307608,"id":"Q5307608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1000868$DAD9FA5E-68B7-4DD4-BE26-E854003BD63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1000868$52FC4853-9BA0-469C-BC81-8A7277B4C5E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1de674e129d19f6fe55ab3e2fd0254427d5a525a","datavalue":{"value":"10.1007/S11813-007-0005-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000868$8A4BA368-A244-426E-9492-11D0132CB9AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcb7b032c2aa94ae358df0838a3d81d40a7a65d2","datavalue":{"value":{"entity-type":"item","numeric-id":5434519,"id":"Q5434519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f59d090cf11b47e309f044cd7496977e20204f","datavalue":{"value":{"amount":"+0.9742819","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":"Q1000868$851EBA02-55F1-4C89-A13D-346E1AB7442C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca84624c21ae77e80f8f170ffba0425fb05e769","datavalue":{"value":{"entity-type":"item","numeric-id":3409147,"id":"Q3409147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d40aa9e3263449307e43db89394254a282e64b2","datavalue":{"value":{"amount":"+0.9336158","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":"Q1000868$02666CA5-AC29-4080-8149-718C795CCAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb790eaf6ccfd6c77b3afbb342f215daf2432e8","datavalue":{"value":{"entity-type":"item","numeric-id":4921444,"id":"Q4921444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d795d2dc6af0c7d46897ab6735645b2aa19aa6dd","datavalue":{"value":{"amount":"+0.9109643","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":"Q1000868$3C5790CC-437E-41FC-AE2C-296954A34CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1b6cfde5b17b9f0eeef41fd1c2aa393b8666de3","datavalue":{"value":{"entity-type":"item","numeric-id":5307608,"id":"Q5307608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d795d2dc6af0c7d46897ab6735645b2aa19aa6dd","datavalue":{"value":{"amount":"+0.9109643","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":"Q1000868$28D44E07-4039-4B6F-AC00-7EC8B7E36C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e886b0f60ff720c8ff8d0dd79c516b5bd8ae619","datavalue":{"value":{"entity-type":"item","numeric-id":3026996,"id":"Q3026996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b51e2d489223d738308d83e55aa907d5e286bc","datavalue":{"value":{"amount":"+0.90429515","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":"Q1000868$B0D18E22-19BE-4615-BE47-0DE85CFC940B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb6b5d8819adae2937990b03e9f7d02a4628922","datavalue":{"value":{"entity-type":"item","numeric-id":3119357,"id":"Q3119357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32275a1663c138c7229dcc77eda560ab923846fa","datavalue":{"value":{"amount":"+0.9034379","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":"Q1000868$E8F17F5A-2553-4699-A7DE-59DC17C68A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff6fc39a5e793301c778c34734abd17d5cbc84da","datavalue":{"value":{"entity-type":"item","numeric-id":5327099,"id":"Q5327099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8040e034d867714180120dd5848805f3b01702c1","datavalue":{"value":{"amount":"+0.90143746","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":"Q1000868$118479D8-5931-4B99-B45B-FDEAA1729734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c78ecd2ce14a30c4b60d6451e6de7061dce9b43","datavalue":{"value":{"entity-type":"item","numeric-id":761453,"id":"Q761453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e534978a1847a6d6dd4388b9724e7ec56f9f136","datavalue":{"value":{"amount":"+0.89496523","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":"Q1000868$EED1DCE9-40D5-4CC2-B971-7528D14E80B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb861b537258c903109bf1dd67982a7e2c4b54c","datavalue":{"value":{"entity-type":"item","numeric-id":3317107,"id":"Q3317107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85370e761bb20d6ac94537dbb37dbf394c1edbc9","datavalue":{"value":{"amount":"+0.8949651","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":"Q1000868$53121BD1-1406-456E-9F7D-30490EB75070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa56b9c6c8c7d62f5a30cb14a6328c47106ed23b","datavalue":{"value":{"entity-type":"item","numeric-id":3395312,"id":"Q3395312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc35eb9d4fa45b618e982623da1188eadaffe320","datavalue":{"value":{"amount":"+0.894925","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":"Q1000868$2794EB17-2245-425D-A015-D1B8050FBB6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the constructive Dedekind reals","badges":[]}}}}}