{"entities":{"Q1101448":{"pageid":1112200,"ns":120,"title":"Item:Q1101448","lastrevid":69643581,"modified":"2026-04-13T08:25:06Z","type":"item","id":"Q1101448","labels":{"en":{"language":"en","value":"Representations of the real numbers and of the open subsets of the set of real numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047714"}},"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":"Q1101448$4369882E-7A79-43A2-804F-DD8EEA330D95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ac05c7031873620970a73ff36b1e71b9a93c286","datavalue":{"value":{"text":"Representations of the real numbers and of the open subsets of the set of real numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1101448$855D18F7-FD34-47AC-B4C9-5FE6B0EA8A5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7049975aee5af6af378dd3a0112a01a57a0bc37e","datavalue":{"value":"0643.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101448$A2FF3FAB-DEE4-42AA-8A54-2558A9AAF30C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecbf660f969154e4ea4ed3bb3ef25c9337097c3f","datavalue":{"value":"10.1016/0168-0072(87)90065-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101448$03FFE91F-1DF0-4211-96CD-79BCCF2EA1C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101448$203E12FC-BADC-4743-A4A0-933064F78CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b380035f688a74a9a8fbf02991d94c276a4d78e3","datavalue":{"value":{"entity-type":"item","numeric-id":162062,"id":"Q162062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101448$19E7640B-0C32-47E7-A3FE-8451775A6022","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":"Q1101448$CA0FA41A-E139-4EC3-858B-C1269B4BD12D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1101448$3BCDDFFE-4AB7-4CA1-9BA3-FB5405D70A75","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e5f981babb42d979d788048bfb51570798a3ad5","datavalue":{"value":"In previous papers the authors have presented a unified type 2 theory of computability and continuity and a theory of representations. In this paper the concepts developed so far are used for the foundation of a new kind of constructive analysis. Different standard representations of the real numbers are compared. It turns out that the crucial differences are of topological nature and that most of the representations (e.g., the decimal representation) are not reasonable for topological reasons. In the second part some effective representations of the open subsets of the real numbers are introduced and compared.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101448$E80A945C-B46C-4164-90C8-2AE049BC0CF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101448$B89BF883-A1D9-48F4-814A-B2F33A51231E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101448$FB4B702D-02E5-42FB-B746-4517EA0748C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101448$7EBD3043-73B3-4B94-AF1F-4E4D2665C1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101448$621D138B-6611-4304-B296-3575EA78A4BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b11f78d7c0bcd32a1e902282d0ee43e01044eee8","datavalue":{"value":"4047714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101448$1E05B3A0-CA48-43E6-B3CC-AE1A02B4F55F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4be6b4561d3c4cc1d94557082bb4b2e6c43bda5","datavalue":{"value":"admissible representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101448$A35BCF76-0D4A-4420-A825-D092CC46C86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0764a475004acf5ee7338c13d75f34b2c50fee","datavalue":{"value":"constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101448$4DFB2D04-084D-41F1-9AF9-FC4B1BAFF8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56b7c848050181db440a982c540f4c73f48cdaa4","datavalue":{"value":"representations of the real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101448$F7AC990E-9CEA-4248-9392-CC0CFEFD8700","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":"Q1101448$037A360C-75D4-4D95-A1D2-E02C05DC7096","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"884a3b5a30ea8c893f6c646c50f29118548a56b3","datavalue":{"value":"https://doi.org/10.1016/0168-0072(87)90065-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1101448$9B71CA5F-B86F-475D-AD93-7C29FEE0C4F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a316814431fd49325c5a0e22d2389adbc4be65e","datavalue":{"value":"W1977390449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101448$11EC1791-6CE6-4B9D-BFF0-F35881F11669","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101448$D3573FC4-17B5-442E-AFCC-456BB199D90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be3d8fb3ea0608a30440ec139e9f2dbb425b2918","datavalue":{"value":{"entity-type":"item","numeric-id":3244109,"id":"Q3244109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101448$AFE334D5-3B08-44EE-8530-49851DA16E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc3e8e8fdd6a776a4c09be3fe08a805ec0b9552","datavalue":{"value":{"entity-type":"item","numeric-id":4052093,"id":"Q4052093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101448$F24EFC1C-A34E-4C26-9F1B-6A3A629C4280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa56b49e395f7666539155f8db9d763f486c32a","datavalue":{"value":{"entity-type":"item","numeric-id":3666834,"id":"Q3666834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101448$2BD4714C-AE84-4D6A-A8FF-5757D351D5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895886e691d85b3f1fd2f8a6af1b9616a7323e79","datavalue":{"value":{"entity-type":"item","numeric-id":3310597,"id":"Q3310597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101448$93314406-1BD8-40CA-A5CE-D95BDCEAFF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14dd23e439d8a5676d55733e6e6fc2f64720ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1073022,"id":"Q1073022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101448$6CB10501-7C08-48CD-BE12-5A964CF0FA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4eb521784c4cb633ef28d2102e5870f780d0fe6","datavalue":{"value":{"entity-type":"item","numeric-id":3222178,"id":"Q3222178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101448$D9D0CE3A-9EC1-4B55-9961-DF54516E5C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a36b6eaae6dfc992ccd22b5b3ac0b6ee10fd837","datavalue":{"value":{"entity-type":"item","numeric-id":3244108,"id":"Q3244108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101448$8E17E746-999E-4467-AA36-EEE1FD70665E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d87d537f5834bbf117194c4261ebd42ee2f9bd00","datavalue":{"value":{"entity-type":"item","numeric-id":5184896,"id":"Q5184896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101448$D1C00176-D007-4C7B-B0F5-C80ABE31D247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9b6e1876a7ef6a8d3ae40b917b0c350a8b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5790901,"id":"Q5790901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101448$AA60F548-781C-4275-BA34-218D13D45C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101448$49690536-04CA-4BDE-8505-366C873A79DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3a2d4fff7dddbf6bcc298f23882562eda4ca8a","datavalue":{"value":{"entity-type":"item","numeric-id":1073021,"id":"Q1073021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101448$93C87BF3-C023-4DF4-92D2-EC362AA70FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523fc8a4382670dbaf95ddd08cf6de19314c7ce6","datavalue":{"value":{"entity-type":"item","numeric-id":3751553,"id":"Q3751553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101448$C8FCF292-CC8E-4D91-A089-613C61F23F91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec13a73a21b5581639fa91ca0850098d310a1a79","datavalue":{"value":{"entity-type":"item","numeric-id":3222178,"id":"Q3222178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a452103fbdf5b99c4c44cd927ec443b50248a11","datavalue":{"value":{"amount":"+0.8583105206489563","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":"Q1101448$631DF150-0A93-4807-8D42-C8C93BE66B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99852862e1b1568162d3a4ccad78a66c53fe9c8e","datavalue":{"value":{"entity-type":"item","numeric-id":1607288,"id":"Q1607288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fda1a6cc5689661f47a06045b343d8825a126de","datavalue":{"value":{"amount":"+0.8363590836524963","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":"Q1101448$B14C466B-227F-4F05-8F1B-5F659E810E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f55c26b0be4c18dfb1a4ec4b95e3dddfcd44063","datavalue":{"value":{"entity-type":"item","numeric-id":3722498,"id":"Q3722498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9212bc618a0605fab4dba924379c6b44df4911a0","datavalue":{"value":{"amount":"+0.8309812545776367","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":"Q1101448$088FC864-A134-4FB4-A864-40F2456FCF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d9dc2f8003ea4eccf5a87fc8ebd74560f179da8","datavalue":{"value":{"entity-type":"item","numeric-id":4436366,"id":"Q4436366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ac152b30508f6b374939ded66d585b7d3525cf","datavalue":{"value":{"amount":"+0.8218995332717896","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":"Q1101448$F430432F-BA92-4F66-A3F4-56B02AAA3595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd516c303362f0131b669c9f517fd7d699477a16","datavalue":{"value":{"entity-type":"item","numeric-id":4637697,"id":"Q4637697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ac152b30508f6b374939ded66d585b7d3525cf","datavalue":{"value":{"amount":"+0.8218995332717896","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":"Q1101448$68FF980B-0A6E-4C4D-BEA6-6660C01CDA5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representations of the real numbers and of the open subsets of the set of real numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representations_of_the_real_numbers_and_of_the_open_subsets_of_the_set_of_real_numbers"}}}}}