{"entities":{"Q1065791":{"pageid":1076543,"ns":120,"title":"Item:Q1065791","lastrevid":69551097,"modified":"2026-04-13T07:46:49Z","type":"item","id":"Q1065791","labels":{"en":{"language":"en","value":"Models of Peano arithmetic and a question of Sikorski on ordered fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3922630"}},"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":"Q1065791$BDD9C8DE-B6C6-46BE-BD55-91C14BA5F8C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"717482ec7144724634e378e951f3063380a2d5c7","datavalue":{"value":{"text":"Models of Peano arithmetic and a question of Sikorski on ordered fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1065791$FFDF80CB-8F8F-4174-9E58-1BC64912C58C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4348d56b1930e0c01e767081e430cc62003b2481","datavalue":{"value":"0577.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065791$B40F49AA-C928-4EE3-A2C7-0B099E9F2590","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e950ab8f66cb3928dca1cec9e08aecaabc67b6c","datavalue":{"value":"10.1007/BF02761121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065791$08B9CB7A-EE40-45B8-87BE-7209AF712307","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80620c2b4df8756e658fe199f1a89d0f51d86188","datavalue":{"value":{"entity-type":"item","numeric-id":190265,"id":"Q190265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$036FB4A6-8756-4E49-B1C5-BCE41348CB6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$4E670187-15F1-4E3F-9A0C-323856D3018F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1065791$02186181-5F2E-4A79-A73F-143FFE378C17","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4360c35b928161b50e50cb045a4de60fac9e3517","datavalue":{"value":"Let \\(\\kappa\\) be a regular cardinal. An ordered field F is said to have the Bolzano-Weierstrass property for \\(\\kappa\\)-sequences (briefly: F is BW(\\(\\kappa)\\)) if every bounded \\(\\kappa\\)-sequence has a convergent \\(\\kappa\\)-subsequence. \\textit{R. Sikorski} [C.R. Soc. Sci. Lett. Varsovie, Cl. III 41, 69-96 (1950; Zbl 0039.276)] asked about the existence of BW(\\(\\kappa)\\) fields F where \\(| F| >\\kappa >\\aleph_ o\\). Some results had been obtained by \\textit{L. Manevitz} and \\textit{A. W. Miller} [Isr. J. Math. 45, 209-218 (1983; Zbl 0526.03017)], \\textit{S. B. Todor\u010devi\u0107} [Ann. Math. Logic 20, 233-268 (1981; Zbl 0469.03036)] and \\textit{D. J. Velleman} [Ann. Math. Logic 23, 199-281 (1982; Zbl 0521.03034)], including the result that for all regular \\(\\kappa >\\aleph_ o\\) there were such fields, assuming \\(V=L\\). \\textit{J. Cowles} and \\textit{R. LaGrange} [Notre Dame J. Formal Logic 24, 133-140 (1983; Zbl 0488.03027)] observed that the existence of such a field implies the existence of a \\(\\kappa\\)-Kurepa tree with no \\(\\kappa\\)-Aronszajn subtrees. The main result of this paper, proved using models of Peano Arithmetic, is a converse to this. Specifically, it is Theorem: If \\(\\lambda \\geq \\kappa >\\aleph_ o\\) are cardinals with \\(\\kappa\\) regular, then there is a real-closed BW(\\(\\kappa)\\) field of cardinality \\(\\lambda\\) iff there is a \\(\\kappa\\)-tree having exactly \\(\\lambda\\) branches but no \\(\\kappa\\)-Aronszajn subtree.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065791$D0666B25-DDE3-456A-97DF-0245F9665E3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065791$A69A4829-B219-499F-A586-27C8A404F053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065791$A9D6621A-6A83-4D24-AA62-36C7EEA58BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065791$75CDEFCD-B163-4DC2-9CE8-155B015890D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065791$18774707-00B7-4A2C-8011-E27C741C5140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065791$73A0E2BE-2AE0-4382-A169-376790EEBB23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d71f447ee9674676470b743c013eda30119d4bd3","datavalue":{"value":"3922630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065791$85052CFA-A74C-49F8-B3B4-B1AF1964F1B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebb0b5fd5f978fcc90e438d0c7cd90b5b85715fa","datavalue":{"value":"Aronszajn tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065791$35A85D9F-EB28-4081-A119-F982F3074584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd116fffae915301a0bbb0a07705663685350ed","datavalue":{"value":"Bolzano-Weierstrass property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065791$64698EA2-25BD-4EC3-8B32-75ADCFC1A633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ae1c75e2f69351725124d1a282cf985d974c949","datavalue":{"value":"Kurepa tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065791$46E5907F-D8AD-406C-B5DB-2E4111E78B4B","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":"Q1065791$A27C8091-7FEB-45E2-BC19-43E400603E9C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf9d8c64de613f86cc571b6bcb753d6c4939d4d0","datavalue":{"value":{"entity-type":"item","numeric-id":1227612,"id":"Q1227612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$BB85B3E9-39BB-4D97-AFF9-FC7C07F60407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787390a9e7a23f6435c139a8b3cd5dc4d2c7f2e0","datavalue":{"value":{"entity-type":"item","numeric-id":3315497,"id":"Q3315497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$6AD4DF0C-2384-434F-A797-F23002397EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b74131755443798ff4fd8c6d00be1e36b5ef696","datavalue":{"value":{"entity-type":"item","numeric-id":1165847,"id":"Q1165847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$F9A3DEF3-AFAC-4FEE-8DB8-66CE19438F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffe75b78c94c72b994ee9bf7ea91a2a938e0d3","datavalue":{"value":{"entity-type":"item","numeric-id":1211513,"id":"Q1211513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$2FCE5653-5826-44BF-A37F-8A654E98BD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4df2ca946c65eed7f4bdbf1490308771dea059a","datavalue":{"value":{"entity-type":"item","numeric-id":3037423,"id":"Q3037423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$FC5C4F87-AA39-4885-8519-0266D9C26F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc02ff1d53207d1d95ca9b3e3c1aebed6f433a7","datavalue":{"value":{"entity-type":"item","numeric-id":3320355,"id":"Q3320355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$657FF632-D23E-4434-B2E6-48C59A1F20A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f04c40155daa258c0a0de764f023383ebb6963f7","datavalue":{"value":{"entity-type":"item","numeric-id":4200815,"id":"Q4200815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$322A9647-ACB9-474F-85A7-F9B9683DEF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7867921f8e5a18afc0a31efd699e0ad8e0353b01","datavalue":{"value":{"entity-type":"item","numeric-id":4132525,"id":"Q4132525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$6DCFE65B-8C2A-4BA3-BE89-8C3FDEE49A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262ec0f3c16528b983a37fb78f3a30e48563f347","datavalue":{"value":{"entity-type":"item","numeric-id":4777284,"id":"Q4777284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$CBC45410-9B66-485E-88BE-C14661324332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20d97d3bbd0a4f86c9ba087fcc00907d9550d77","datavalue":{"value":{"entity-type":"item","numeric-id":5331471,"id":"Q5331471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$E5AE406B-3430-4189-960D-3E8E43B9C8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a589999eef1fde63d0a4d60908aa3c9056f728bf","datavalue":{"value":{"entity-type":"item","numeric-id":594861,"id":"Q594861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$A8F41658-BDB0-4593-96DB-F97ADFC10039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2003cf2c4645e7cc4c5af62b21819a39338ba5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2562079,"id":"Q2562079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$E7B36195-164C-4DA4-8306-1E464F5694CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfa085a7b1fcd8bcf08dc698b408327a068d9b9","datavalue":{"value":{"entity-type":"item","numeric-id":1152360,"id":"Q1152360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$A17306C7-0124-468F-9CB6-02165F1F7F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a40e05b704c1ccf9f115a01012a7d0a3c0c799","datavalue":{"value":{"entity-type":"item","numeric-id":3922684,"id":"Q3922684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$CD7AAD62-813C-4D9C-AC0E-DD3991E89DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e046aa7e9f6ec2baf509acf67276e43a48c52f","datavalue":{"value":{"entity-type":"item","numeric-id":5582321,"id":"Q5582321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$F4FD63ED-87C2-4E6D-9D38-CECDD77BCB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe86ef0923819a89ae51112b08ce173082dc0fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4163512,"id":"Q4163512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$9EE36A30-8F71-44AD-8B3E-F5613B1EE946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8045eb0475f0a68b7efc65bd50f5e6dda8171f87","datavalue":{"value":{"entity-type":"item","numeric-id":5798873,"id":"Q5798873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$A9805F8C-26E7-426A-9118-2DB58663091A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8562c112c90626386197dbbcae0457d18a63c0f7","datavalue":{"value":{"entity-type":"item","numeric-id":5800415,"id":"Q5800415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$95EA416C-420E-4B23-BF77-858B884B7E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820b7319d2fdbded04a43290f68fdce5365805f3","datavalue":{"value":{"entity-type":"item","numeric-id":5801085,"id":"Q5801085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$4B368258-0AC0-40BD-BEE1-D36DA8247E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd0468febc6b2b8e20402d96151e6728d1d2135","datavalue":{"value":{"entity-type":"item","numeric-id":5668480,"id":"Q5668480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$F877788F-03AE-45AF-A5D4-C0D01138E6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d299d376ceea1fe96d127d9397b864e5d17e6d","datavalue":{"value":{"entity-type":"item","numeric-id":3922670,"id":"Q3922670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$FD499E45-F810-491C-A23D-87F65B52D6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e08491e3ba3a3373b9812fe2bba493045fc81b75","datavalue":{"value":{"entity-type":"item","numeric-id":3671150,"id":"Q3671150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065791$A58BE9E3-662E-451A-A724-2E0F5264EBD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03fdbc5774867acba40e88d65bc10ca2f721084c","datavalue":{"value":"https://doi.org/10.1007/bf02761121","type":"string"},"datatype":"url"},"type":"statement","id":"Q1065791$B4F78187-5AA4-4D72-B1A0-5C25867A4D16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9bfa4c3e82c256a18249e0a71695bd08ba33e36","datavalue":{"value":"W2067381783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065791$98F623FA-2AAD-44B5-A36B-F5DDCEEE3717","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1815e062d360fa2979beb624ecf05edcdb7a0347","datavalue":{"value":{"entity-type":"item","numeric-id":5380014,"id":"Q5380014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"571e9ca001685629c302b86e42d084aaae57e3d6","datavalue":{"value":{"amount":"+0.7718628644943237","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":"Q1065791$414B7233-CE67-48FC-A0C5-6A8601CBC7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"544d932a93365f93af0e32fab23ccdcd9de63609","datavalue":{"value":{"entity-type":"item","numeric-id":3985098,"id":"Q3985098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76db3c24ee2b0bbb792a9c27a542e99de53ceeca","datavalue":{"value":{"amount":"+0.7261940836906433","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":"Q1065791$BCEEF440-2AC5-417B-85B7-08D7E94F5811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb0e2885ba45919dccd9293efa00e86a88dc40f","datavalue":{"value":{"entity-type":"item","numeric-id":3755444,"id":"Q3755444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c622dbdad3f301afba9fe13d406c8b76f4c29b","datavalue":{"value":{"amount":"+0.7123152017593384","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":"Q1065791$5EA8C0BE-D1BA-43B4-A22E-B4438F6EE2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb05acf1ddf54ee7175c33b22c6aec60ad89aa53","datavalue":{"value":{"entity-type":"item","numeric-id":5154704,"id":"Q5154704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b22e43a391efb6202d79fc5a0a83460190498f","datavalue":{"value":{"amount":"+0.6991530060768127","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":"Q1065791$14CB1FDC-3851-4B69-B1F6-9C739CF0BD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8d9d05a32cb50b5141296db69daab91425a25a6","datavalue":{"value":{"entity-type":"item","numeric-id":1913629,"id":"Q1913629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29707c0cf86fa247f1a732a99dfc0672b91aa2f1","datavalue":{"value":{"amount":"+0.6874985098838806","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":"Q1065791$DB4DCA88-5EA4-47FF-9FEF-4B218687CB28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Models of Peano arithmetic and a question of Sikorski on ordered fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Models_of_Peano_arithmetic_and_a_question_of_Sikorski_on_ordered_fields"}}}}}