{"entities":{"Q2653678":{"pageid":2664421,"ns":120,"title":"Item:Q2653678","lastrevid":79022669,"modified":"2026-05-06T12:58:19Z","type":"item","id":"Q2653678","labels":{"en":{"language":"en","value":"An isomorphism theorem for real-closed fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3110255"}},"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":"Q2653678$BDB80684-04F7-4631-A3C9-2C1607489F4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa2990dc74fa4e7ef3efc0e9d385e09760518543","datavalue":{"value":{"text":"An isomorphism theorem for real-closed fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2653678$668AE0F5-ACDE-48A6-BBA8-F2F8C7C2F029","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"988c6871e8f0ca16cc92d43135f35737f6e1d156","datavalue":{"value":"0065.02305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2653678$A55D5771-E1FC-456F-89AF-991B2FAD5210","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa17702e151676537eda019c5ce771df74e0138e","datavalue":{"value":"10.2307/1969812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2653678$3F2675A0-8CE9-4B42-B236-112D53DA50FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ca449d1243e4f5e360c1023b1099b86bfd148","datavalue":{"value":{"entity-type":"item","numeric-id":767938,"id":"Q767938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653678$9012DE39-7F65-4F43-AE40-7FDDDF0CC2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81cb26a2d5875dbb3c97c4c1820f350687075652","datavalue":{"value":{"entity-type":"item","numeric-id":194983,"id":"Q194983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653678$30EE9DA5-9FE6-4589-8905-D205137D51FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb00475fd567190194461a0f087df1793eeae7c4","datavalue":{"value":{"entity-type":"item","numeric-id":6480801,"id":"Q6480801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653678$8C15515D-D71B-46EF-B64A-EE8B84772E5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653678$13EBB2E7-9C18-4B65-A74B-D322C73D31D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acfd38e94a9ccdd55a39f7dad808f5737f9a54f8","datavalue":{"value":{"time":"+1955-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":"Q2653678$D82007C4-1FA2-44C5-9C89-5B0AFF3A5F8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"571006fa58fcb3e53ee06029b56b8779b263b24a","datavalue":{"value":"https://scholarship.claremont.edu/cgi/viewcontent.cgi?article=2016&context=hmc_fac_pub","type":"string"},"datatype":"url"},"type":"statement","id":"Q2653678$AF0B8A0B-F9E3-4B9B-94D6-AF6E5CA72E9F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"300b6cebbfedc24a9d96432ea0b1b9fba97ea927","datavalue":{"value":"Einem klassischen Satz von Steinitz zufolge ist ein algebraisch-abgeschlossener K\u00f6rper vollst\u00e4ndig durch seine Charakteristik und seinen Transzendenzgrad bestimmt. Dagegen ist f\u00fcr reell-abgeschlossene K\u00f6rper der Ordnungstypus des K\u00f6rpers auch eine Invariante. Zuerst beweisen die Verff., da\u00df zwei reell-abgeschlossene K\u00f6rper, die eine Menge \\(\\eta_\\alpha\\) sind, isomorph sein m\u00fcssen. (Eine geordnete Menge \\(T\\) hei\u00dft eine \\(\\eta_\\alpha\\)-Menge, wenn keine Untermenge von der M\u00e4chtigkeit \\(<\\aleph_\\alpha\\) koinitial oder kofinal ist, und wenn es f\u00fcr \\(A,B \\subset T\\), \\(\\overline{\\overline{A}} < \\aleph_\\alpha\\), \\(\\overline{\\overline{B}} < \\aleph_\\alpha\\) und \\(A < B\\) ein \\(y \\in T\\) gibt mit \\(A < y < B.)\\) Es entsteht nat\u00fcrlich die Frage, ob zwei nicht archimedische reell-abgeschlossene K\u00f6rper mit demselben Ordnungstypus und Transzendenzgrad \u00fcber dem reellem K\u00f6rper notwendig isomorph sind. A. Robinson hat j\u00fcngst dieses Problem mittels eines Gegenbeispiels gel\u00f6st. Zu einem besonderen Zweck wird das folgende mengentheoretische Lemma bewiesen. Es sei \\(X\\) eine unendliche Menge von der M\u00e4chtigkeit \\({\\mathfrak m}\\). dann gibt es eine Menge \\(\\{X_\\lambda\\}_{\\lambda \\in \\Lambda}\\) von Untermengen von \\(X\\), so da\u00df (a) \\(\\overline{\\overline{X}}_\\lambda = {\\mathfrak m}\\) f\u00fcr alle \\(\\lambda\\), (b) \\(\\overline{\\overline{\\lambda}} > {\\mathfrak m}\\), (c) \\(\\overline{\\overline{X_\\lambda \\cap X_\\lambda'}} < {\\mathfrak m}\\) f\u00fcr alle \\(\\lambda \\neq \\lambda'\\). [Dieses Lemma ist schon von Sierpi\u0144ski bewiesen worden (Zbl 0015.39705, p. 118, Corrolaire 7)]. Sei nun \\(X\\) ein topologischer Raum, \\(C(X)\\) der Ring aller reellen stetigen Funktionen auf \\(X\\), und \\(M\\) ein maximales Ideal in \\(C(X)\\). Dann ist bekanntlich \\(C(X)/M\\) ein reell-abgeschlossener K\u00f6rper, der sehr wohl nicht-archimedisch sein kann [\\textit{M.Henriksen} und \\textit{J.R.Isbell}, Proc. Am. Math. Soc. 4, 431-434 (1953; Zbl 0051.34001)]. Solche nicht-archimedischen \\(C(X)/M\\) hei\u00dfen hyper-reell. Die oben gestellten k\u00f6rpertheoretischen Resultate werden auf das Klassifikationsproblem dieser K\u00f6rper angewendet. Satz: Sei \\(C(X)/M\\) hyper-reell. Dann ist \\(C(X)/M\\) eine \\(\\eta_1\\)-Menge. Satz: Unter Voraussetzung der Kontinuumshypothese sind alle hyper-reellen K\u00f6rper \\(C(X)/M\\) von der M\u00e4chtigkeit \\({\\mathfrak c}\\) isomomorph. Satz: Sei \\(D_0\\) ein Raum von der M\u00e4chtigkeit \\(\\aleph_0\\), in welchem jeder Punkt isoliert ist (diskreter Raum). Unter Vorraussetzung der Kontinuumshypothese sind alle hyper-rellen \\(C(D_0)/M\\) isomorph. Satz: Sei \\(D_c\\) ein diskreter Raum von der M\u00e4chtigkeitt \\({\\mathfrak c}\\). dann enth\u00e4lt \\(C(D_c)\\) zwei maximale Ideale \\(M\\) und \\(M'\\), so da\u00df \\(C(D_c)/M\\) nd \\(C(D_c)/M'\\) hyper-reell und nicht isomorph sind.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2653678$43020E7E-904B-43F2-9105-71F588D929EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2653678$5630A0FA-7924-4997-8FB6-82DF5792933F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"866b7ca9ccd1c17f5aab066afe52bfd6de41926d","datavalue":{"value":"12J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2653678$1B5E7AB8-88F3-4EE9-B10E-631C6BB71967","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5abae5ad77561fc8d403f19d666d9dccbf84b57","datavalue":{"value":"3110255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2653678$4D85AD17-E142-4404-9683-62A5B10D37CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"567146c57ff5fc9ba6f856eb6b546be65f3f7ee8","datavalue":{"value":"rings, modules, fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2653678$0EBAD898-BEEA-4E9A-91DE-A929D658D008","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eb2884ae05aeef503d1d44d5a038884efb009d7e","datavalue":{"value":"Q30053075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2653678$EF0E8758-5B62-49EB-B8AA-2673358EBE92","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":"Q2653678$A8F58930-FE64-484B-887A-142AB59893F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"566ae53df438c4c69cb859a221cfdfedc5960975","datavalue":{"value":"W1980931430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2653678$0FE914D6-DB5E-443A-9F68-3453DD99B441","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c6af7245cc5721c3ccc424706700b08d47f1170","datavalue":{"value":{"entity-type":"item","numeric-id":4714216,"id":"Q4714216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e005d825cbe10a7eaf28aec92f2dfb8431993145","datavalue":{"value":{"amount":"+0.96479607","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":"Q2653678$CF10181C-8F9A-47C5-9B0C-032CD20D58E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70244fdc4c7a235a42b01d9dcf3f243e588ef04","datavalue":{"value":{"entity-type":"item","numeric-id":3788122,"id":"Q3788122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b3fb0a3f69c3580ec37d7021edab86b1b92f78","datavalue":{"value":{"amount":"+0.90626675","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":"Q2653678$CB50F82D-6485-4901-96BF-70CE0897D28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a0b618414507e0a75cb34b27c5f05c2ba16a82","datavalue":{"value":{"entity-type":"item","numeric-id":1177351,"id":"Q1177351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d1cece4899e3015a5651f26e2689fcecb0263c","datavalue":{"value":{"amount":"+0.89191425","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":"Q2653678$6317A35D-AD4D-4245-864E-F1664ABA5A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dc11c912a4c2a41e83116934798a4f4adb895df","datavalue":{"value":{"entity-type":"item","numeric-id":1899140,"id":"Q1899140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d060140a5a1938e2fab23bef47821b0db5dcf54e","datavalue":{"value":{"amount":"+0.8888653","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":"Q2653678$137B61DB-1897-4E5C-988D-399F395D80F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab7f470df8c223e8cdd9b2bc1f8f2858b3a3b21","datavalue":{"value":{"entity-type":"item","numeric-id":1575912,"id":"Q1575912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5449a04f13a62f62313bbadcfb46d890944d87d5","datavalue":{"value":{"amount":"+0.88750815","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":"Q2653678$1A1E7815-8E10-457D-9E53-A5A2712254C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1314453ee25c647334b00761a953b2065fe0bde7","datavalue":{"value":{"entity-type":"item","numeric-id":5258477,"id":"Q5258477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c7af8e49fda58c93b297a2931c99cd075ea5b7","datavalue":{"value":{"amount":"+0.8854462","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":"Q2653678$52DBA65A-8709-4790-A404-66EFC8CED8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d79f8dc843dc285c1a0324c8d01c72099c3dc1","datavalue":{"value":{"entity-type":"item","numeric-id":5192484,"id":"Q5192484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e87e9d3fa7c0b2cc249b13ac4ca097f2e8b88d0","datavalue":{"value":{"amount":"+0.88522905","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":"Q2653678$66D42699-8CC3-40F6-8F98-40F6DA67B750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e737e540b4e771532637a429de538928b3a56e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4906546,"id":"Q4906546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f4be44bd958878a8edcf7bfda519c9c93f2174","datavalue":{"value":{"amount":"+0.87838835","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":"Q2653678$E14CF51F-9084-4A71-A2F8-A49590CBF37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ce652d8b960755d3689038a9f01b96ff57d06b","datavalue":{"value":{"entity-type":"item","numeric-id":539983,"id":"Q539983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4671eabb3bbc44031e63cfe0fcaf6b74b00351e1","datavalue":{"value":{"amount":"+0.87497026","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":"Q2653678$FAB4AFA8-2502-4CC1-85BE-87D2A312EB14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An isomorphism theorem for real-closed fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_isomorphism_theorem_for_real-closed_fields"}}}}}