{"entities":{"Q1087922":{"pageid":1098674,"ns":120,"title":"Item:Q1087922","lastrevid":69612144,"modified":"2026-04-13T08:12:01Z","type":"item","id":"Q1087922","labels":{"en":{"language":"en","value":"Restriction map of spaces of orderings of fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3989492"}},"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":"Q1087922$BD44E7FE-117E-48D4-B24E-5174FA552682","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c58327faa7829921417b457915fb7998c9b53b3","datavalue":{"value":{"text":"Restriction map of spaces of orderings of fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1087922$B28CDF61-3B21-44B0-97E9-ACE3E58F1348","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1969b23fed7fd605f03efeca9cd220ff669c87e","datavalue":{"value":"0612.12017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087922$0DE4CD92-7B93-4B2A-830F-839388E88175","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7af9f8916b66b605ce33982e7935b91bb2f9fa68","datavalue":{"value":"10.1007/BF00969384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087922$63D76545-FD9A-4391-85D9-ACE148F15152","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087922$E8F9DD57-891A-4F42-9C47-650620720192","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1087922$269419FF-10FC-4B21-BDB1-3E3775DAF771","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7667cee435fa1ffb75cd6939fda257be1ad32a21","datavalue":{"value":"Let \\(X_F\\) denote the space of orderings of a formally real field \\(F\\). For every field extension \\(F_1/F_0\\), one can define a restriction map \\(\\varepsilon_{F_1/F_0}: X_{F_1}\\to X_{F_0}\\), assuming \\(\\varepsilon_{F_1/F_0}(L):= L\\cap F_0\\) for every positive cone \\(L\\) in \\(F_1\\). \\textit{R. Elman}, \\textit{T. Y. Lam} and \\textit{A. R. Wadsworth} [J. Reine Angew. Math. 306, 7--27 (1979; Zbl 0398.12019)] proved that \\(\\varepsilon_{F_1/F_0}\\) is a continuous and open mapping, provided \\(F_1/F_0\\) is finitely generated.    Using the method of elimination of quantifiers the author proves that for every finitely generated field extension \\(F_1/F_0\\) the restriction map \\(\\varepsilon_{F_1/F_0}\\) has a continuous section (i.e., there is a continuous mapping \\(\\sigma\\colon Y\\to X_{F_1}\\) such that \\(\\varepsilon_{F_1/F_0}\\circ \\sigma = \\operatorname{id}_Y\\), where \\(Y := \\varepsilon_{F_1/F_0}(X_{F_1}))\\).   This result is applied to solve some problems concerning the RRC-fields. Moreover, the general problem of existence of continuous sections of mappings of Boolean spaces is discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087922$8D2B2154-F392-420A-AA00-62CAE8A3A98D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"299c2ceee90a97db4ef5b7d633c2a5784e0cb3c0","datavalue":{"value":"12D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087922$4E58568A-F638-4E0E-9ED2-F3F7F63228FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087922$86C89740-A8C8-41D8-80B4-E3E2A715BD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087922$76667ABD-EBC5-4906-B61D-008CABE4EAFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"123e3d008726b9a8f3f01f3f4f873847da38ded3","datavalue":{"value":"3989492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087922$E82156C1-7595-436D-AD7A-18EE06972B56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d059e15a9a8c88459dc6d58e4c96fe574f06bef9","datavalue":{"value":"hereditary SAP-field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087922$987F3882-8380-48DB-971E-536FBB9BDFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a4c0cdfff3ef8103722a7ae714e167d6f271c60","datavalue":{"value":"spaces of orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087922$79EC62CE-3AFD-4CD6-8DDC-1B4495BE7C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"706db0629293df00b3b7fba0af5249b98cda66b5","datavalue":{"value":"formally real field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087922$C889BE7A-4280-420F-9B32-53FB1BBF8617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3f3d778fa2fb2222339089d45252c16d92a93d4","datavalue":{"value":"elimination of quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087922$AB873F3A-3109-4284-AE10-A837C1D8F158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a94c754e71ccb57eecd406ae816234ddfa6d1a26","datavalue":{"value":"restriction map","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087922$6355ED6F-7123-4AFC-A10D-CCBEC305AA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32074f423ae12c002d5638b6ceec1a4b0340cfd1","datavalue":{"value":"RRC-fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087922$7B84CC0B-6E0A-49E8-9DC9-739E05142C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4035f29fe7f80a1670cd2e555f4bd63bb92c62d","datavalue":{"value":"continuous sections","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087922$374FBD47-CB2B-462F-9821-7E04687F17FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8664335c597428b1dbf2825803f4aa82255afa82","datavalue":{"value":"Boolean spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087922$84E8DD27-BC7E-4F78-AED0-E907326D4647","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d03039664f86d7517c30a64acbdad4c2f746ab89","datavalue":{"value":{"entity-type":"item","numeric-id":431715,"id":"Q431715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087922$BCB0048C-CC93-4F78-8B94-AB3187ABB821","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":"Q1087922$43779C7D-02DA-4496-B437-C4822B8A7C4A","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":"Q1087922$47A74C58-1AF7-4598-9A1F-4BD754A0F047","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f7f5167f143778d48e0c0798b7cf80c6178773","datavalue":{"value":{"entity-type":"item","numeric-id":4182814,"id":"Q4182814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087922$53C7748E-1895-4D6D-9EF7-8B5CE068668B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f9a1b2f1cc5ddf5e06d45bbfac9833b56e463c","datavalue":{"value":{"entity-type":"item","numeric-id":4074992,"id":"Q4074992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087922$66DF3097-B9ED-44D0-A7DA-B3F0494D120E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39665cded8588063fe177fe1901930e13252b2e7","datavalue":{"value":{"entity-type":"item","numeric-id":626725,"id":"Q626725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029f33c6cce16996a704dd694169c4011cc4c8fd","datavalue":{"value":{"amount":"+0.71802807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087922$1A7DB583-039C-4B1D-A6E3-1895E02F12EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d785c2e3722f636d5831598c2d8f91fa93dc51fa","datavalue":{"value":{"entity-type":"item","numeric-id":618677,"id":"Q618677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12299a9482d3146a31c74940d591135bf2a01a8e","datavalue":{"value":{"amount":"+0.6907365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087922$265D9486-D438-4846-85AD-AB84DC7424C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21bb51457941ba6f3e92dad9e1315bf2574c9999","datavalue":{"value":{"entity-type":"item","numeric-id":1176709,"id":"Q1176709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87e6036ae813ff105c029fb58f6b70af102cb4c","datavalue":{"value":{"amount":"+0.6626969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087922$B564CC63-011E-4942-9B89-99AA4C2F46A2","rank":"normal"},{"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":"6bbe32c4cd0eb7ba34258c1910b4b5b009408c65","datavalue":{"value":{"amount":"+0.6596099","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087922$F652AAD1-EA5A-4E7A-BD6A-A8D711E5DCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"626e2517f55e8d53f290bf30eacf54596c6bd0bf","datavalue":{"value":{"entity-type":"item","numeric-id":1104986,"id":"Q1104986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a708f13e860dafb896411c94db1a1384a1433863","datavalue":{"value":{"amount":"+0.65448576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087922$7C5A04E5-E719-4C18-A5FD-C54CFE8B2893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb77f9daeb08fa5fe1cd4d8885528bf7143820f","datavalue":{"value":{"entity-type":"item","numeric-id":1183110,"id":"Q1183110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c9561865a7765ffcdd1b68e1a3448e52b8c8d1","datavalue":{"value":{"amount":"+0.6450242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087922$CEDC689B-0FD7-40F6-B480-6E72C45D5219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da668e21138b11f643d6c2158c3ce98c91ff824","datavalue":{"value":{"entity-type":"item","numeric-id":3710610,"id":"Q3710610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"470aff025d7b3d4d658ef05d75c75f211eba86d7","datavalue":{"value":{"amount":"+0.643413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087922$B0123280-FB5C-4A3F-91D3-4E5AC6727D71","rank":"normal"},{"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":"15472214967459d4dce6618c656ca6293c4e0cfb","datavalue":{"value":{"amount":"+0.64257616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087922$6BB79770-4031-4C13-A428-8F8AD401C7C4","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":"703d598ee5937a38ac800c727ebca3c4a7563a36","datavalue":{"value":{"amount":"+0.63523597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087922$22FF1C48-1E1B-450A-9CB1-CB2FA9AE5761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88da062281cb174ecc2d12658ebe9725c866e4ad","datavalue":{"value":{"entity-type":"item","numeric-id":3985094,"id":"Q3985094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8bd6743ec737161d2d2f8b9af529ad6c6c8fcbf","datavalue":{"value":{"amount":"+0.63504046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087922$505408F7-74BA-4D9B-9E68-C9B9F0243B28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Restriction map of spaces of orderings of fields","badges":[]}}}}}