{"entities":{"Q1176709":{"pageid":1187458,"ns":120,"title":"Item:Q1176709","lastrevid":67039482,"modified":"2026-04-12T14:29:56Z","type":"item","id":"Q1176709","labels":{"en":{"language":"en","value":"Existence and uniqueness of the real closure of an ordered field without Zorn's lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 12408"}},"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":"Q1176709$B0F09B02-2A5B-4FE1-A112-845512EF4098","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a6b54cec673df59f1820966bfd8f4cb809ca323","datavalue":{"value":{"text":"Existence and uniqueness of the real closure of an ordered field without Zorn's lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176709$009DE21C-1F9D-4BE4-92E2-3D374108FC89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36f7763d094d5a34bf60946c50d222a25be28976","datavalue":{"value":"0761.12004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176709$0AB4AB52-CE99-40E9-A8EA-C321990C7277","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f0360bc45a93da054959e231bf286ca24dc762c","datavalue":{"value":"10.1016/0022-4049(91)90110-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176709$7F3685EF-ADC7-4BB8-B901-594A6E6E1DA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"168fe1b610d6ec138fa0955a6435fba446909913","datavalue":{"value":{"entity-type":"item","numeric-id":1176708,"id":"Q1176708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176709$8658462E-D7BF-4909-82C7-9517DD70EBFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176709$D56CB09C-2BD2-4B3F-B5CC-0A0F8CCAD76F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176709$777CBDAE-3886-428F-9AF7-80A784D5A054","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d3d0cb4ab5e4a3a39d5d37a1b3d5af1e39a85648","datavalue":{"value":"The author proves the existence and the uniqueness of the real closure of an ordered field (i.e., a field \\(K\\) with a given ordering) without the Axiom of Choice. In a first step, he treats countable fields. The general case is then obtained by using a suitable direct limit argument. The author also compares the situation of the real closure of an ordered field \\(K\\) with that of the algebraic closure of \\(K\\). Contrary to the situation concerning the real closure, the existence and uniqueness of the algebraic closure cannot be proved without the Axiom of Choice. Thus in particular, the existence of an ordering on a formally real field \\(K\\) cannot be proved without the Axiom of Choice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176709$FA1766F3-18A4-4B5F-A9DE-57096DDD0B76","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"321f34e2e95fe71a963dfb0e9957de8369b00fc4","datavalue":{"value":{"entity-type":"item","numeric-id":556424,"id":"Q556424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176709$453A7772-D070-477D-9708-009C22F41799","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176709$6A67DCE2-C9A7-4CC1-A6B6-CBFCCE1ACE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176709$78981241-D7F1-4FEB-B586-152D1A6C600F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176709$74A5E113-CE27-4D2C-9F78-9FACAC8EB6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176709$E510EB76-F56B-4993-8165-4ABD86FF6833","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42d2a1c5e390949fa587a24930c510ac3cab7510","datavalue":{"value":"12408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176709$00D79461-FE75-4418-8BDA-2AEA981FC6AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d2a69137098850450d1a17ddf83d6c1a1704d1f","datavalue":{"value":"existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176709$33D6D951-EA37-4FCA-B33C-42983FAF18CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b139f7228e51306717a3522bed5c3c725026e9","datavalue":{"value":"uniqueness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176709$194E2F72-1245-43E6-ADED-C903AD666606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e2a87d6b935d249292ac8f4fe0875901459cab8","datavalue":{"value":"real closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176709$A6AFC523-AB4A-432B-94BC-EC2839C7CB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"587589161830e091d7e1d17beebcdefd8401e4cc","datavalue":{"value":"ordered field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176709$193BF5F4-12C9-4806-9883-DC0247C4A293","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":"Q1176709$2C806571-FEA3-412D-B09E-9007655597EB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1abc0b9344e0a8e7a984244b2e48076155124390","datavalue":{"value":"Q124802582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176709$99346A71-6058-4616-8BF3-809146557D7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b35afcacf487f7d4833dfa5c8ec078202260d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1096620,"id":"Q1096620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176709$1F8275B4-B7CE-4C3B-8B30-58D2FD9D1749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176709$02C87675-FF3A-4FC3-ADB9-D16BE3498945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccd4ac1cf38ce7adf87c1aa2fe250a0bc62e564b","datavalue":{"value":{"entity-type":"item","numeric-id":581617,"id":"Q581617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176709$DF16962B-DAD8-4AFE-BE80-425BFD741BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307fafc74aca0009dc1a64e34c885622eb78e217","datavalue":{"value":{"entity-type":"item","numeric-id":3027008,"id":"Q3027008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176709$BC7C357C-48C8-47BB-B03D-EED882780F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176709$ADF8FC4B-D706-454E-A210-CCFF631FD756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176709$244E9525-98D1-4555-8BAF-6715C99F9952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff60177dc64163099c4d2c820c0f9788431a2836","datavalue":{"value":{"entity-type":"item","numeric-id":1130511,"id":"Q1130511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176709$78AE3E93-603C-4B9A-A11C-8F1A1D41280A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c083cd2ec081a5b4d238527538b4190de97732","datavalue":{"value":{"entity-type":"item","numeric-id":5684668,"id":"Q5684668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176709$D2B6F186-B21E-4627-8B3B-4FF86DC53F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc671679e1c38b8971e825ad3dab2cfa52e61082","datavalue":{"value":{"entity-type":"item","numeric-id":3340956,"id":"Q3340956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176709$098A6FCA-5A8B-4F6D-AECD-DBECB1692A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703ca62ff94d83a5967998840c0e88086a530788","datavalue":{"value":{"entity-type":"item","numeric-id":4724592,"id":"Q4724592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176709$7F94E724-86FB-4D36-9AA8-0CBA5CEBB815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49e37c8c8f31492a4a0ae4e3e203898a0f8b521","datavalue":{"value":{"entity-type":"item","numeric-id":5749405,"id":"Q5749405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176709$37449E08-5C63-415C-9857-E987480DA17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab214dfd5f83f86b7f908aad521de78375006363","datavalue":{"value":{"entity-type":"item","numeric-id":5588726,"id":"Q5588726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176709$C4A6D6E4-D941-42F7-87A7-95E160D170CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34d16df77c42bc90c27c9247bf7ff49a577817b0","datavalue":{"value":"https://doi.org/10.1016/0022-4049(91)90110-n","type":"string"},"datatype":"url"},"type":"statement","id":"Q1176709$202934EB-3FA2-4EA2-A76A-A1E6DEA27386","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28759584bce57f298ba6f8f2b13cc06b30fa4f9d","datavalue":{"value":"W2006052512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176709$E09F8E93-E1F6-40F4-8BD4-355DD78D8D10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a247a718a74096ab865906b47cc07a387f5685","datavalue":{"value":{"entity-type":"item","numeric-id":3358841,"id":"Q3358841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e65e26972f979311d72baf2a6120285635a55fc","datavalue":{"value":{"amount":"+0.8753232359886169","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":"Q1176709$0267EDE5-9496-41E1-B6D4-5A19CAD6E054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08889d08c0707a832163637eb1958e4147f8a4a5","datavalue":{"value":{"entity-type":"item","numeric-id":3363461,"id":"Q3363461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a63e6b9c354123a1c3ec0d881462a6cb1e3aec1","datavalue":{"value":{"amount":"+0.8491035103797913","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":"Q1176709$996A2ABF-8319-4978-8615-FA9D7B463C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b957e6824146f1589ac24067862de220a8b542","datavalue":{"value":{"entity-type":"item","numeric-id":3986779,"id":"Q3986779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47600e7be77b5471f272b3a60b3c1b85842e1a3e","datavalue":{"value":{"amount":"+0.8083930015563965","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":"Q1176709$3366DB66-ACD9-4262-AE75-38924BA25CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b2d4dca36e508f88ce7a0c0b647a0e092e7979","datavalue":{"value":{"entity-type":"item","numeric-id":4248083,"id":"Q4248083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f1bb29a19f33fc292f80abe4fb579f4e864cd4","datavalue":{"value":{"amount":"+0.8075721263885498","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":"Q1176709$659149E2-D859-42FC-BBAC-0450A33702A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2da1985d9ec091cdccb34454c513add09f6e6a4","datavalue":{"value":{"entity-type":"item","numeric-id":330194,"id":"Q330194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70e7ff90a721994d48205d0de65b54f6aa5e39c","datavalue":{"value":{"amount":"+0.7508928179740906","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":"Q1176709$2FAF2E92-44C8-4EBD-810B-679460F84C35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existence and uniqueness of the real closure of an ordered field without Zorn's lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Existence_and_uniqueness_of_the_real_closure_of_an_ordered_field_without_Zorn%27s_lemma"}}}}}