{"entities":{"Q1068144":{"pageid":1078896,"ns":120,"title":"Item:Q1068144","lastrevid":66665925,"modified":"2026-04-12T11:40:48Z","type":"item","id":"Q1068144","labels":{"en":{"language":"en","value":"On Efroymson's extenson theorem for Nash functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3929159"}},"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":"Q1068144$D6609152-5FF5-4E52-B757-887E68E8252B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f670495c49f24aaef4c5f0b9f77e675dce2f9a00","datavalue":{"value":{"text":"On Efroymson's extenson theorem for Nash functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1068144$CC4D1F05-3AA9-48E7-B82D-C945B2B30F6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23ca60d9593a572d3a6389e5e622c7848602a090","datavalue":{"value":"0581.14016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068144$010087AC-70CE-4452-A7FE-B141085E39FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a6cfe8ac738f6730d5e473eef2f633adfb3e75a","datavalue":{"value":"10.1016/0022-4049(85)90097-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068144$935E8F36-2C69-49BC-9F95-1D2F57FE1076","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0482e95e492ba41884fa7c881328277266c67df","datavalue":{"value":{"entity-type":"item","numeric-id":480688,"id":"Q480688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068144$677487E4-CC6E-470B-AE09-D953511162B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068144$40D3E6E5-16E7-4A19-9527-049F74EFDA99","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":"Q1068144$AF3ED7B6-8F8B-4449-922F-BE29B7CF61A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e9e2c4b6026eb1c707266295abda5a88d5f370f9","datavalue":{"value":"Let \\(\\Omega\\) be a semi-algebraic open subset of \\({\\mathbb{R}}^ n\\), and let v be a Nash function on \\(\\Omega\\) and \\(V=v^{-1}(0)\\neq \\emptyset\\). The author proves that if \\(f_ 1\\) is a Nash function defined in a semi- algebraic neighborhood of V, then here exists a Nash function g on \\(\\Omega\\), such that \\(f_ 1-g=kv\\), where k is a Nash function defined in a semi-algebraic neighborhood of V. This main result of the paper is a little more precise form of a theorem of \\textit{G. A. Efroymson} [cf. G\u00e9om\u00e9trie alg\u00e9brique r\u00e9elle et formes quadratiques, Journ. S. M. F., Univ. Rennes 1981, Lect. Notes Math. 959, 343-357 (1982; Zbl 0516.14020)]. The author considers his proof as elementary. Probably this depends on the readers background: the author uses the theory of the real spectrum instead of triangulations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068144$559661BD-C975-4296-B305-5DC56CF222F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"80619583a343f6ab8e0090f36b890511a86ef408","datavalue":{"value":"14Pxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068144$F52EF7BB-3CFB-4CFF-9C0C-8C1DB76501D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"895b56d783fbabe827d6726efe0db63e23dbe2e8","datavalue":{"value":"58A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068144$602D1A68-7B10-4F38-B19A-91B961E07126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c02c264fefb76e094e94907bf91a475fc8d3767a","datavalue":{"value":"32C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068144$2EBD516E-756D-47AF-9ED8-BB5C87E5F2A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffb5c3d9f20126fb5326b5bf685e2f5d48351733","datavalue":{"value":"3929159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068144$10C11714-ADCA-42E4-8791-0CF533681A8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67a230011e644993f1f2238978c07617ce35416","datavalue":{"value":"extension of Nash function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068144$223B29A7-D969-44DB-AD4D-96964B0A1F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a70be7b30ec39c010160139b2363749c58124e99","datavalue":{"value":"semi-algebraic neighborhood","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068144$853C5914-0FBB-4FD1-9D7A-8F15ABAF6F7F","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":"Q1068144$2B8816C7-83B4-43B9-B1D4-A965A2CD6668","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc2a66079f6402b0ac2ee29d5c4c4615b785bfc9","datavalue":{"value":"https://doi.org/10.1016/0022-4049(85)90097-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1068144$D3E6CECD-C437-472C-BB1F-0D8A2E99ECE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"beb9572a5d5f2c0c6c1cf91013e24e709a74d455","datavalue":{"value":"W1981451250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068144$62E0EADE-3763-4560-B694-BAFBC709F9AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1a60f499993499b51bcb4bcca153c77299b65a","datavalue":{"value":{"entity-type":"item","numeric-id":1135324,"id":"Q1135324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068144$4325F119-50BF-453B-919C-32285F9BF01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c986db4ac3e40d50d09df33517cb3de559dcaac","datavalue":{"value":{"entity-type":"item","numeric-id":594151,"id":"Q594151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068144$D747E7CF-D179-4D55-B4B9-3055FEF72E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af3c15d66b79f2591cdeaf09326fbdc44448a62e","datavalue":{"value":{"entity-type":"item","numeric-id":3253234,"id":"Q3253234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068144$48C44993-4E3B-4322-B3DB-3A2101CBE912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbf12c0e5b4cb315759fcb88ec017307242fa0e","datavalue":{"value":{"entity-type":"item","numeric-id":3871011,"id":"Q3871011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068144$54C20C77-2AEB-4CF6-8BE3-15E418538E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a63688a7676c79d136c4b1c1fef1968a82936e6","datavalue":{"value":{"entity-type":"item","numeric-id":3961580,"id":"Q3961580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068144$78E9F3B5-6FC4-4CD4-B8E0-C093E139319D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03b1b7c54fac5621448e5c427c845de6ebfbec4","datavalue":{"value":{"entity-type":"item","numeric-id":3281164,"id":"Q3281164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068144$1015A081-63AF-46BD-AB61-B6AE44C680B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44701096fc9478da8dc0122e4b5025948a5e27e","datavalue":{"value":{"entity-type":"item","numeric-id":2553108,"id":"Q2553108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068144$80D69DF3-E6A6-437E-8D96-BA224494DF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09dff995a6c65d5c54f994f927b2324aa122241","datavalue":{"value":{"entity-type":"item","numeric-id":4101953,"id":"Q4101953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068144$322720FE-3E0F-49B9-8652-D5730D874929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b9a8f3ca7293602e0c623a9c9f5f6fb5015cc5","datavalue":{"value":{"entity-type":"item","numeric-id":5849999,"id":"Q5849999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068144$20CEF5E6-D6D8-47BF-B735-3BEAEAB9874A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69868e2c2e7cee341bba23bbb1a92ceb5c8073a2","datavalue":{"value":{"entity-type":"item","numeric-id":1071836,"id":"Q1071836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068144$CD5712FB-075D-45D8-BDC9-A8F7D9C07B1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c7df19f38a3f878ed574e9851908fbba3a1480","datavalue":{"value":{"entity-type":"item","numeric-id":913038,"id":"Q913038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8753b7145bb0aeed947f6822a8c8d7f59d408085","datavalue":{"value":{"amount":"+0.8589913249015808","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":"Q1068144$30DEA0B2-0460-4E05-8820-2E1E3D6C35CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dbb2323de87ac74b2ebf442d673485886cbeaf0","datavalue":{"value":{"entity-type":"item","numeric-id":4730049,"id":"Q4730049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05af0fe2babe1b6c8e337baaad5460363d2b676e","datavalue":{"value":{"amount":"+0.8245772123336792","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":"Q1068144$9FB2D23F-48E7-4B0D-8267-664DD0464504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ff0495d5ec1f5a9cae8e05032ca84d63b894476","datavalue":{"value":{"entity-type":"item","numeric-id":3322225,"id":"Q3322225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ac3d223e3551bce27f3bfedfd33aaf10ffa55e","datavalue":{"value":{"amount":"+0.8206297755241394","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":"Q1068144$4AD90F9C-E76A-4970-99CF-1BFE8DFF4E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec48d8dcd023671ec26ae9fc0a5d8641922df601","datavalue":{"value":{"entity-type":"item","numeric-id":1061800,"id":"Q1061800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a63bebe91db880bc3983978159929819943f19","datavalue":{"value":{"amount":"+0.8142836689949036","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":"Q1068144$AAD301CC-E6CA-49DF-9B09-B0DFE8509ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24dcbf41e0828471b5926d0cb7471b2aa31e518d","datavalue":{"value":{"entity-type":"item","numeric-id":1127701,"id":"Q1127701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2924f1c3368de023f9add3c47a8a7f3d581ae3f7","datavalue":{"value":{"amount":"+0.8141283988952637","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":"Q1068144$0515126C-2C13-420A-96FA-0447588B473E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Efroymson's extenson theorem for Nash functions","badges":[]}}}}}