{"entities":{"Q752078":{"pageid":753927,"ns":120,"title":"Item:Q752078","lastrevid":64072254,"modified":"2026-04-11T17:27:14Z","type":"item","id":"Q752078","labels":{"en":{"language":"en","value":"Simple axiomatizations of Rolle fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4177219"}},"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":"Q752078$8E7C1E4D-8833-447C-B953-475E5D8C3139","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"938fc347e39e523b868b05f09acab28325d34781","datavalue":{"value":{"text":"Simple axiomatizations of Rolle fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752078$045EE8A2-7241-4F0F-8D48-712A88386005","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f25f4786b63deddf10cbee40d355aed7e8429287","datavalue":{"value":"0715.12004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752078$89FF8121-C763-456D-B80D-158D28972F7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4276562b9e2f96c99d83a8dc7e649fa6924a2d9d","datavalue":{"value":"10.1007/BF02567925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752078$C94516D7-DCF5-4B2D-A981-686E9D1EFCB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"792e63c935acbd49b5fcc74c58eb7a4b3fd395f5","datavalue":{"value":{"entity-type":"item","numeric-id":752077,"id":"Q752077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752078$EF3B180A-CDC5-4CEF-AC9E-415B9EAA1E0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752078$98A914C9-82CA-468D-A5AF-66828D4B39DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q752078$95A1D06C-C274-4738-BC2D-6FBF2488D65E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a86d3bffb9be46968e11024257e85e243cd48bb","datavalue":{"value":"https://eudml.org/doc/155558","type":"string"},"datatype":"url"},"type":"statement","id":"Q752078$A103EB40-224B-4741-BA2B-0D14494F8651","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a1c4e59f8dd76cd435f38331f7d4ae0111195abe","datavalue":{"value":"An ordered field \\(K\\) is said to have Rolle's property if for every polynomial \\(P\\in K[X]\\) and for every \\(a,b\\in K\\), \\(a<b\\), such that \\(P(a)=P(b)=0\\) there exists \\(c\\in K\\), \\(a<c<b\\), for which \\(P'(c)=0\\). If \\(K\\) has Rolle's property for some ordering it has Rolle's property for every ordering. Such ordered field is called a Rolle field [\\textit{R. Brown}, \\textit{T. C. Craven} and \\textit{M. J. Pelling}, Ill. J. Math. 30, 66--78 (1986; Zbl 0559.12013)].    The author formulates a first order axiomatization for the theory of Rolle fields, similar to the Artin-Schreier axiomatization. Rolle fields with a finite number of orderings are investigated. They are characterized as Pythagorean fields at level 4 which do not admit any algebraic extension of odd degree. An axiomatization for Rolle fields having exactly \\(2^n\\) orderings is presented. It is shown that for every Rolle field \\(K\\)  with exactly \\(2^n\\) orderings there exist such orders \\(P_0,\\ldots, P_n\\) that \\(K=R_0\\cap\\cdots\\cap R_n\\), \\(R_i\\) being the real closure of the field \\(K\\) corresponding to the order \\(P_i\\).    This theorem may be considered as a generalization of a result of \\textit{E. Becker} [Hereditarily-Pythagorean fields and orderings of higher level, Monogr. Mat. 29 (1978; Zbl 0509.12020)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q752078$24F40B5F-1B11-42A2-B624-6C0A729E1D3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752078$8D448A1F-F4CC-4F44-9966-328DAE43E060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"299c2ceee90a97db4ef5b7d633c2a5784e0cb3c0","datavalue":{"value":"12D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752078$00629429-ABA3-45E3-B99A-109327F97D23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"236bc6f26fbadb189cd76f33289c7e8c8cf8bd6c","datavalue":{"value":"4177219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752078$F77D0E60-D557-4460-B4F5-0279FE1FB247","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"587589161830e091d7e1d17beebcdefd8401e4cc","datavalue":{"value":"ordered field","type":"string"},"datatype":"string"},"type":"statement","id":"Q752078$2660C428-2606-45C2-B21C-D48264496F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0713d0a01e26d2c855f4f7515b0274d4c5b3d0bf","datavalue":{"value":"Rolle field","type":"string"},"datatype":"string"},"type":"statement","id":"Q752078$B0DCF7E2-5848-4991-B716-9F5014B589C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ece26206dbe5759ca7b1f70641efe0952af42d34","datavalue":{"value":"first order axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q752078$F268CC0C-165D-4AB3-A967-575E59A271BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22097659bafca571bde6701abfd5e1e2deffcb20","datavalue":{"value":"Pythagorean fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q752078$FF726586-0517-46ED-A8C9-491585BD6081","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":"Q752078$0116FDE6-62DA-4E95-8DD8-D88A15C3A07F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd34380e57b74b520fbe12a546a16bd46fbf6f7","datavalue":{"value":{"entity-type":"item","numeric-id":802605,"id":"Q802605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752078$6B9294B0-430C-4C2F-B355-B5DB360B7560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb42230d194fedfac879e928cafe0b37067d55c6","datavalue":{"value":{"entity-type":"item","numeric-id":5966242,"id":"Q5966242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752078$31EED4C5-36B9-4727-8664-934BF778B178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d367f41bcb22b77a0da120d6ae757d89bcf93eff","datavalue":{"value":{"entity-type":"item","numeric-id":1057322,"id":"Q1057322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752078$54037F73-2A7E-4091-B47F-E96CBDF6030F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83cb3a3faa3a156993a3ec8e6b4c17de2ac866c","datavalue":{"value":{"entity-type":"item","numeric-id":3753988,"id":"Q3753988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752078$F996BC63-3A77-4C29-AEC7-1C15BF5D4CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"166b1beb9a0efc62a0dbec97fbc2f607fed809b4","datavalue":{"value":{"entity-type":"item","numeric-id":3778730,"id":"Q3778730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752078$503A27B7-8D8B-49CC-A78D-1E0519042A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d905adee39c62c0e7dca64ac27d6b3312ee2ad5a","datavalue":{"value":{"entity-type":"item","numeric-id":4748232,"id":"Q4748232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752078$5826AA37-746F-404B-A157-F4544D1E2C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f8b65eebcf4f6aa919e6324a43bf4bfad73a9b","datavalue":{"value":{"entity-type":"item","numeric-id":1150648,"id":"Q1150648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752078$D12D5429-1F76-4F17-A5A0-E75F1CE6108A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83380451dcde13a1ec44453a3a428b79678efb81","datavalue":{"value":{"entity-type":"item","numeric-id":3663392,"id":"Q3663392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752078$6142463D-4013-4068-95F4-102F3B4FF0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"943e62837e87fbe9a364ca6420c07d2dde8a2a5d","datavalue":{"value":{"entity-type":"item","numeric-id":3710612,"id":"Q3710612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752078$F1E5C5CB-5006-45E1-A6B4-8895DD9973CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a21e813698ab2b5474585360fa21e4b2a24c98","datavalue":{"value":{"entity-type":"item","numeric-id":5966242,"id":"Q5966242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d1c338bb8b8abf1288c663c894ed2fcf84cb6b","datavalue":{"value":{"amount":"+0.9131173491477966","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":"Q752078$7BC6CB4A-E4AD-4B53-B2DA-EA0354851681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723bd42884b5c3cf2c2aa51a1f1a999cd7279a43","datavalue":{"value":{"entity-type":"item","numeric-id":3755546,"id":"Q3755546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6722389a19b402d55d8dae64dd8cf3ccb608aeb3","datavalue":{"value":{"amount":"+0.9012020230293274","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":"Q752078$7E13B0EB-9558-4AF8-AB9F-C8DC06977EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"598327d4bfb01b304c54d990d1cafaffe00c6b24","datavalue":{"value":{"entity-type":"item","numeric-id":3710612,"id":"Q3710612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34f681dc070883e7ea7d506a9aa992053c43c3e","datavalue":{"value":{"amount":"+0.8987216949462891","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":"Q752078$B379AF4E-350B-4F90-B91A-E06156562584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de03a4d4ee16ef724b1384acefcf3ce31b7546ed","datavalue":{"value":{"entity-type":"item","numeric-id":3753988,"id":"Q3753988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83470ad58cbb412626e146531ff945a732f21a24","datavalue":{"value":{"amount":"+0.8756981492042542","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":"Q752078$16D6BD75-BF56-4D0C-9041-BCEE6C5F0CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb408333af13b20488cd157d2e1dad5dfc86d25","datavalue":{"value":{"entity-type":"item","numeric-id":1893237,"id":"Q1893237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"accc1e24859938701e1bd8b9253f894df62cf60a","datavalue":{"value":{"amount":"+0.8639296889305115","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":"Q752078$1DE09627-EA3D-4D26-9B9D-EBF589B8A783","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple axiomatizations of Rolle fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simple_axiomatizations_of_Rolle_fields"}}}}}