{"entities":{"Q1340246":{"pageid":1350985,"ns":120,"title":"Item:Q1340246","lastrevid":67483056,"modified":"2026-04-12T18:19:18Z","type":"item","id":"Q1340246","labels":{"en":{"language":"en","value":"Orders and order closure for not necessarily formally real fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 701274"}},"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":"Q1340246$7B26F836-D38F-434A-92A9-A7972A815F49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f687b71c0d8f86b78e3ee07def2062193d828ca","datavalue":{"value":{"text":"Orders and order closure for not necessarily formally real fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1340246$151B467C-F0D5-43DB-942B-6F56D3889ADA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65f1b9f0fcc83421188f84208824cce025e45256","datavalue":{"value":"0826.12005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340246$228EC276-6141-49B9-9E88-18DAA9A80783","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2747c6774167c1d149e9158a2e30a59c11df75af","datavalue":{"value":{"entity-type":"item","numeric-id":817732,"id":"Q817732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340246$9324CDC0-16E0-4091-A333-2AF30ABD4DAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340246$5C4BF26B-A51E-4D84-82B9-15D08CEE3C0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc3f5466e9c88a7c802540ef52e7255943d06ade","datavalue":{"value":{"time":"+1995-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1340246$82A8FF87-D8DE-4973-B00F-9FB1A50D4A3C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d4513cd7f5187557d0e293373fbfc0ce31dd08b","datavalue":{"value":"An extended absolute value of a field \\(F\\) is a function \\(\\varphi: F\\to \\mathbb{R}\\cup \\{\\infty \\}\\) which is a composition of a place \\(\\tau: F\\to \\overline {F}\\cup \\{\\infty \\}\\) on \\(F\\) with an absolute value on the residue class field \\(\\overline {F}\\) of the place. Let \\(\\nu\\) denote the valuation induced by the valuation ring \\(\\varphi^{-1} (\\mathbb{R})\\). A \\(\\varphi\\)-order on \\(F\\) is a sequence \\(G= (G (n))_{n>0}\\) of subgroups of \\(F^\\times\\) such that for all positive integers \\(m\\) and \\(n\\), (1) if \\(n\\) divides \\(m\\), then \\(G(m) \\subset G(n)\\), (2) \\(1+ \\varphi^{-1} (0) \\subset G(n)\\), (3) \\(\\nu (G(n))= \\nu F\\), (4) \\(\\tau (G(n)) \\cap \\overline {F}^.\\) is the topological closure of \\(\\overline {F}^{\\times n}\\) in \\(\\overline {F}^\\times\\). The author uses extended absolute values and \\(\\varphi\\)- orders to present a general setting for a fully unified treatment of the theories of formally real and formally \\(p\\)-adic fields. A closure of \\(F\\) with respect to an extended absolute value \\(\\varphi\\) (\\(\\varphi\\)-closure) is a maximal algebraic extension \\(K\\) of \\(F\\) with extended absolute value \\(\\psi\\) such that \\(\\psi|_F= \\varphi\\) and the residue class field \\(\\overline {F}\\) is dense in the residue class field \\(\\overline {K}\\).    The main theorem of the paper states: The correspondence \\(K\\mapsto (K^n \\cap F^\\times)_{n>0}\\) induces a bijection from the set of \\(F\\)- isomorphism classes of \\(\\varphi\\)-closures of \\(F\\) to the set of \\(\\varphi\\)- orders of \\(F\\). This result generalizes the well-known theorem of Artin and Schreier on the bijective correspondence between orderings and isomorphism classes of real closures and implies the analogue of this theorem for formally \\(p\\)-adic fields which was not proved before. Considering Henselian extensions of fields with extended absolute value, the author generalizes some results of \\textit{E. Becker} [Rocky Mt. J. Math. 14, 881-897 (1984; Zbl 0563.12023)] and of \\textit{A. Prestel} and \\textit{P. Roquette} [Formally \\(p\\)-adic fields, Lect. Notes Math. 1050 (Springer 1984; Zbl 0523.12016)] concerned with real closed fields and Henselian \\(p\\)-adic fields.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340246$42A659D7-2B32-4104-A687-3B038082D459","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340246$4A3A7143-93F3-4900-9192-9F259C206817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd171e62cdd301f1a0340e3f5b3c3f0b2350a2ad","datavalue":{"value":"12J12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340246$4792A6BD-141E-47A1-8012-DD8D96B19E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c66129cb93ebfc9db355816a761018887fa08da","datavalue":{"value":"13A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340246$376963C4-9ADB-41F4-9E86-E03C0A8330E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b32cf021204601b97af8fe11f483364987a3c362","datavalue":{"value":"701274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340246$4ADEF9D2-BEF8-41FC-B9D3-A4D59E0C9A1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da38272fb3c460ee3f703b2852683fb5429ce4ba","datavalue":{"value":"real closure of field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340246$A990C29F-EB44-451C-9501-7441FEDC61BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"643cb634bb8e3ef643cb575ea0cf1f6fec183566","datavalue":{"value":"\\(p\\)-adic closure of field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340246$090B9361-065A-4807-A195-2653B85156C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6691d3cba6ed6cd3c819f1f1c6a017faea766582","datavalue":{"value":"formally \\(p\\)-adic fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340246$ADAB31D7-17AB-4439-AC3D-0EF9148B0516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d32cb81675777204dc4583dfe7e6bfb23be393","datavalue":{"value":"extended absolute value","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340246$B20573F2-BFCC-49EC-9BC7-4B1DCB42CEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c30d98b40ac903eb1e4aee581867492c9135275","datavalue":{"value":"Henselian extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340246$0E6611E8-7EEB-455F-9B8C-95CFF0FD6290","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"126f248478821a18f393930af2e4f4f73df52547","datavalue":{"value":{"entity-type":"item","numeric-id":790873,"id":"Q790873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340246$EB360579-3086-41DC-BF93-19CC6B35C7F5","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":"Q1340246$CED0166C-8BA6-47DF-AD5E-0835EEF0B886","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab4666e3a6a3fd57f17b34563bc0c041fd859a40","datavalue":{"value":"https://doi.org/10.1006/jabr.1994.1306","type":"string"},"datatype":"url"},"type":"statement","id":"Q1340246$1837AB34-9500-44B3-A442-90FF7EFFB00E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7d90b84b3f7cb0ec0ab4c7966aec2699148b2f9","datavalue":{"value":"W1968143609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340246$6ADF9F08-090C-40E6-94E2-E2246D70E1F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f48d7bee8a1f1f47a763421d1656cfa64f6ca60a","datavalue":{"value":"10.1006/JABR.1994.1306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340246$79F0F4F2-FEA4-4753-AAC6-3C984EDCB92A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d7e3c6a4e17c14e074bc52620ee235f13483ae","datavalue":{"value":{"entity-type":"item","numeric-id":1104361,"id":"Q1104361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6467567dd07f6402f30449fb2886758461a96611","datavalue":{"value":{"amount":"+0.8373310565948486","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":"Q1340246$3ED413C9-6EC3-4590-819A-D04DA20387C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a2a654879c1c4dc1897498c3d2dfce81335d812","datavalue":{"value":{"entity-type":"item","numeric-id":2566499,"id":"Q2566499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046a0abe12134645760beb60ee2d52718fe1b1f6","datavalue":{"value":{"amount":"+0.8202161192893982","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":"Q1340246$70242418-6278-4C2E-9EEF-FDCB0253396C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d8b4915aaa87c08ed14d863698aaf06501545e","datavalue":{"value":{"entity-type":"item","numeric-id":1122624,"id":"Q1122624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d99541aac5183bb8a81e146bf54dc0e1ae5c02e1","datavalue":{"value":{"amount":"+0.8197775483131409","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":"Q1340246$7CFF2116-FB1D-4F22-8876-510119FFCA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d72933fd1270b4456d7115750d37558ab777ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":1057322,"id":"Q1057322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a183f17235339067781580072feb348b33a60dda","datavalue":{"value":{"amount":"+0.8083500862121582","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":"Q1340246$469E0384-144E-4421-8C64-9D68D74BC7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c9a95b87f1dcb46a48abab5c13e1acb391c8cda","datavalue":{"value":{"entity-type":"item","numeric-id":3312335,"id":"Q3312335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdff1946a6397f2da5e98c2f1a99ca8cca350dd9","datavalue":{"value":{"amount":"+0.7913426756858826","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":"Q1340246$683B49B1-34AE-4E3B-A35E-25507EBF3D12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Orders and order closure for not necessarily formally real fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Orders_and_order_closure_for_not_necessarily_formally_real_fields"}}}}}