{"entities":{"Q1095973":{"pageid":1106725,"ns":120,"title":"Item:Q1095973","lastrevid":66292680,"modified":"2026-04-12T08:52:19Z","type":"item","id":"Q1095973","labels":{"en":{"language":"en","value":"Cuts of ordered fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4029711"}},"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":"Q1095973$7B43A8C9-BD5E-4560-A701-C068D4323BEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ded8be436a6328dd7d898e0f94a4946a6b74da6f","datavalue":{"value":{"text":"Cuts of ordered fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095973$44528578-AEDC-4422-9BCA-C023D4D9A0E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba2560dcb59e4e913cdf4572266782e39790dd02","datavalue":{"value":"0633.12012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095973$810A5D11-00E5-4A60-8D70-A10F72BF16EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"054a949e64a879d647e8b33661fd597e64d78f8f","datavalue":{"value":{"entity-type":"item","numeric-id":581455,"id":"Q581455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095973$8F6BFEA9-7345-48ED-80A9-15C3BAFDAF12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ff1738183464565e1571c6f5c1efa36ed974056e","datavalue":{"value":{"entity-type":"item","numeric-id":175744,"id":"Q175744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095973$77E1362D-FFF9-48AD-B6D1-365B9D7E8F06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1095973$72530C49-5DDF-491B-8F64-820F6F1C69A2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7346e62168a5376224a7849c8776099f2e0d093c","datavalue":{"value":"The rank of an ordered field F is defined to be the rank of the smallest convex valuation ring \\(A(F,Q)=\\{a\\) in F such that \\(| a| <b\\) for some b in \\(Q\\}\\). Given two ordered fields (F,\\(\\sigma)\\) and (K,\\(\\tau)\\) with \\(F\\subset K\\), we say that K is an extension of F, if K is an extension field of F and the restriction of the ordering \\(\\tau\\) to F is \\(\\sigma\\). Suppose (F(x),\\(\\tau)\\) is an extension of (F,\\(\\sigma)\\) where x is a transcendental over F, we define a cut \\(g(\\tau)=(C,D)\\) where \\(C=\\{a\\) in F with \\(a<x\\}\\) and \\(D=\\{a\\) in F with \\(a>x\\}\\). In this paper, for a real closed field F of finite rank n, the author defines subsets \\(W_ i\\), \\(1\\leq i\\leq n+1\\), of the set of all cuts of F, and proves that for any ordering \\(\\tau\\) of F(x), g(\\(\\tau)\\) is in \\(W_ i\\), is equivalent to the existence of distinct convex valuation rings B and B' of F(x) with respect to \\(\\tau\\) such that \\(A_ i=B\\cap F=B'F\\) where the \\(A_ i's\\) form an ascending chain of compatible valuation rings of F. He also shows that for a real closed field F, F is a maximal ordered field of rank n if and only if the set of all cuts of f is the union of all these subsets \\(W_ i\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095973$81FDEE56-9A4D-4510-8AB4-C660903FAAB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095973$D5111D1B-F7D6-4E01-A8A2-08E33ABC4B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1448dc8abee9c87d433fb284555380dc61ce707","datavalue":{"value":"12D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095973$04252167-17F5-41F0-8B7A-3339D2411B7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c619e6b8393aa3545fc02a23ffc530e007c01762","datavalue":{"value":"4029711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095973$DBDC3E15-8FAF-4BEF-A099-858D1342C5C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c6de79ad269216ade57863ab54970775e06a535","datavalue":{"value":"cut of ordered field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095973$2B9141F3-59D2-44C0-BCD2-09A883B4EBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9ce9150e94285fb27241700ff919339a633a69","datavalue":{"value":"rank of an ordered field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095973$6C7226EE-A899-4B15-9404-9BC520E236A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7dad102d42a7169de6a258b4c59ca869e41159","datavalue":{"value":"real closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095973$3F0187BA-7947-4B0D-A8F4-FAA5B5A0651F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa55be5b80cb9e775e50f29a70f1bd7ee997accf","datavalue":{"value":"maximal ordered field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095973$E5848235-0B5A-4094-AD32-E2E8EEC5ADA5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bdf6506a29b4047f6334174acdd6f7a1bd5e8ba2","datavalue":{"value":{"entity-type":"item","numeric-id":801971,"id":"Q801971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095973$4258B735-A32B-4A9E-9C6A-D132374C8314","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":"Q1095973$EDF1406A-BF7C-4DC4-BC2D-D93E93A878FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2356d176bc9798dd219578edc12131c4837c108","datavalue":{"value":{"entity-type":"item","numeric-id":1106887,"id":"Q1106887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71817f3bde46883390f55f9184751d029228259","datavalue":{"value":{"amount":"+0.8546943068504333","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":"Q1095973$16228A89-F36F-434A-A7B3-E3837D809D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe47e76b28c1aa051eb3b49beb27cf9235c1c55","datavalue":{"value":{"entity-type":"item","numeric-id":581457,"id":"Q581457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8918b872777bc4881827ed6bf866c68c3a040af5","datavalue":{"value":{"amount":"+0.8198533058166504","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":"Q1095973$55E47B09-575E-4740-8CEA-EFBE487C86D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe2d7068008877cf1388fd4d9377711a75dd561","datavalue":{"value":{"entity-type":"item","numeric-id":2153806,"id":"Q2153806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3741796f53096eac7ea18d835f2a86ebba01ba46","datavalue":{"value":{"amount":"+0.8117790818214417","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":"Q1095973$5788F30A-8304-440C-AAD9-D8A03E781BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d235c44998916ca779d3ae37ef220ce625294d7","datavalue":{"value":{"entity-type":"item","numeric-id":2277023,"id":"Q2277023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240239418258eb76e34c05fb019d26a916638bc1","datavalue":{"value":{"amount":"+0.8059662580490112","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":"Q1095973$C6C6E822-6101-4C02-8D79-6D84F302E6F0","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":"283e5869b44ccb03b259fdd2c17ecaa86c244c54","datavalue":{"value":{"amount":"+0.7988423705101013","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":"Q1095973$299ED42A-B580-4F02-87EB-FA3CBC4A9D6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cuts of ordered fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cuts_of_ordered_fields"}}}}}