{"entities":{"Q2743653":{"pageid":2754392,"ns":120,"title":"Item:Q2743653","lastrevid":41959137,"modified":"2025-05-19T16:23:04Z","type":"item","id":"Q2743653","labels":{"en":{"language":"en","value":"Non-constructive properties of the real numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1652351"}},"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":"Q2743653$6802875D-2639-44F2-B1A7-FA1CE25EEF15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de2d6f81733cd4142d482a6fb4b63d1a957a6682","datavalue":{"value":"0986.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743653$E7ADEC9E-2883-4FCC-B21E-FCB92F606DB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6273540151de6b50478b0223910a58dad6446825","datavalue":{"value":{"entity-type":"item","numeric-id":306169,"id":"Q306169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743653$53F06DD5-8DF4-483A-989F-953EF9A458BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56fdb311bc253a37e974f6118555499b39a996a0","datavalue":{"value":{"entity-type":"item","numeric-id":1068820,"id":"Q1068820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743653$CADAF9A7-C937-4192-926B-83056E6D1345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1fd7030b56f3e49b698adf2655e1e08ccdc0d4d","datavalue":{"value":{"entity-type":"item","numeric-id":193634,"id":"Q193634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743653$44FF27C8-342A-4387-9BA4-B3F140BCB7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50f303799cab122deffb07d136620bb6246c179e","datavalue":{"value":{"entity-type":"item","numeric-id":283107,"id":"Q283107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743653$1BAF41EB-4000-4511-B129-2BEFF3AB7D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"503b81bbf4da2a3728dd91c902bbde5f1ed33230","datavalue":{"value":{"entity-type":"item","numeric-id":1097267,"id":"Q1097267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743653$53E06311-4483-4C79-8D38-0777656FF930","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"699252fe7d0c2555c03ae79bf201a68b560e82c1","datavalue":{"value":{"time":"+2002-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2743653$521FEE74-9512-4937-B32A-1AEDB2BF391F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743653$48393A68-87AA-4C28-9642-FA7AFF7B8CFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4ce8a3db2e915337a2fd402abf8dedf19cfd184","datavalue":{"value":"1652351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743653$BA6C4B9D-4A34-403D-A572-4FAC9A7895E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93870bea9e95850a8c2c168e966ba73051e6fe83","datavalue":{"value":"real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743653$A2A97AB0-CDE2-4DF2-A232-FEE95C1BDD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743653$CBCF1ED8-69DE-4F6E-9653-3370282F6FE9","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":"Q2743653$78F723D9-6557-4F71-B4E0-8F9336516996","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e087e0009e766b10dd8e4eb276a342cf3e19f74","datavalue":{"value":"10.1002/1521-3870(200108)47:3%3C423::AID-MALQ423%3E3.0.CO;2-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743653$70A95943-8707-4F2F-983C-8B4C8B3F8B88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44ee4edf14f55120f64cec7e12199a0a05d13568","datavalue":{"value":{"text":"Non-constructive properties of the real numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2743653$925623EF-9C8E-43BB-A1B1-4E663D3C42EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743653$025DA4FB-B068-4039-A1D4-163A7C93B519","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc3d7b231308a825eb6320af0fa54af20ffd527d","datavalue":{"value":"Die Verff. betrachten einige schw\u00e4chere Formen des Auswahlaxioms f\u00fcr Mengen von reellen Zahlen. Am meisten wird folgendes Axiom betrachtet:NEWLINENEWLINENEWLINEF\u00fcr jede abz\u00e4hlbare Familie \\(\\{A_i: i\\in\\mathbb{N}\\}\\) von nichtleeren Teilmengen von \\(\\mathbb{R}\\) gibt es eine Auswahlmenge \\(\\{c_i: i\\in\\mathbb{N}\\}\\).NEWLINENEWLINENEWLINEDieses Axiom is \u00e4quivalent mit seiner Modifikation, wo die Auswahlmenge f\u00fcr wenigstens eine unendliche Teilfamilie verlangt wird.NEWLINENEWLINENEWLINEAus diesem Axiom ergeben sich folgende S\u00e4tze:NEWLINENEWLINENEWLINEa) Die Vereinigung einer abz\u00e4hlbaren Familie von abz\u00e4hlbaren Mengen ist abz\u00e4hlbar;NEWLINENEWLINENEWLINEb) \\(\\aleph_1\\) is regul\u00e4r;NEWLINENEWLINENEWLINEc) \\(\\mathbb{R}\\) ist nicht die Vereinigung einer abz\u00e4hlbaren Familie von abz\u00e4hlbaren Mengen.NEWLINENEWLINENEWLINEDer letzte Satz folgt auch aus einer schw\u00e4cheren Form des Axioms, wo auch jedes \\(A_i\\) abz\u00e4hlbar sein soll. Diese schw\u00e4chere Form ist auch \u00e4quivalent mit seiner Modifikation, wo eine Auswahlmenge f\u00fcr wenigstens eine unendliche Teilfamilie verlangt wird.NEWLINENEWLINENEWLINEDas erstgenannte Axiom selbst folgt aus der Voraussetzung: Wenn \\(Q\\) eine bin\u00e4re Relation auf der Menge der rellen Zahlen ist, so dass \\(\\forall x\\exists y: xQy\\) gilt, dann gibt es eine Familie \\(\\{x_n: n\\in\\mathbb{N}\\}\\) von reellen Zahlen, so dass \\(xQx_{n+1}\\) f\u00fcr jedes \\(n\\in\\mathbb{N}\\) gilt.NEWLINENEWLINENEWLINEDieser Satz seinerseits folgt aus folgendem:NEWLINENEWLINENEWLINEF\u00fcr jede geordnete Familie \\(\\{A_\\alpha:\\alpha\\in\\kappa\\}\\), \\(\\kappa\\) eine Ordinalzahl, von solchen Mengen, dass \\(\\bigcup_\\alpha A_\\alpha\\) linear geordnet ist, gibt es eine Auswahlmenge.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743653$1A340874-3BBF-4E49-BC9E-C85D60BFA8E7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7b41e5f7ea0ddf008e18157715fbe05e096bdc98","datavalue":{"value":{"entity-type":"item","numeric-id":749524,"id":"Q749524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743653$4E8AC886-A7A8-47B9-B1AF-40B3C54EC8C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2743653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2743653"}}}}}