{"entities":{"Q429074":{"pageid":430841,"ns":120,"title":"Item:Q429074","lastrevid":61767771,"modified":"2026-04-11T01:32:00Z","type":"item","id":"Q429074","labels":{"en":{"language":"en","value":"On locally uniformly differentiable functions on a complete non-Archimedean ordered field extension of the real numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049785"}},"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":"Q429074$1B30848A-F8B5-4B5E-BA40-5038858B26DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"755894da47933f24153d0a8a85c89396485274ac","datavalue":{"value":{"text":"On locally uniformly differentiable functions on a complete non-Archimedean ordered field extension of the real numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q429074$8379D593-2F51-47D3-A933-EE0AC8804CFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98e67f5f201ec38e749e937fe7f3f3963bd973ac","datavalue":{"value":"1242.26042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429074$15D047A0-A55E-4EB4-93D5-674C5A21E14C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6187d72498fa25d759b7bf0f6f74d785e99d5b28","datavalue":{"value":"10.5402/2012/387053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429074$F16ECA9E-595D-45EF-862F-AA2B6544570E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a3a2614325f49cd0f66093f2afbf93028bcd0e9","datavalue":{"value":{"entity-type":"item","numeric-id":429072,"id":"Q429072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$D9DAB807-B269-4002-9700-82761383720A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a72665ab3437e98030ef50e17456e60ed4cf957","datavalue":{"value":{"entity-type":"item","numeric-id":429073,"id":"Q429073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$FDB86EAA-60F6-450D-A423-22FA0685F343","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93d93b274bfd659b6c46af71a423135d4432f2ae","datavalue":{"value":{"entity-type":"item","numeric-id":410600,"id":"Q410600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$B59D1D58-99C9-4FF6-AA17-B71BDC286960","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f03a3c04b271440e0460d17b6cd1c270f9267efc","datavalue":{"value":{"time":"+2012-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q429074$F0402496-C249-443A-95FC-65945D1C2854","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"09d69a0b2ed3d7b6f633b98ddb64e8eb3b129ad1","datavalue":{"value":"Summary: We study the properties of locally uniformly differentiable functions on \\(\\mathcal N\\), a non-Archimedean field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order. In particular, we show that locally uniformly differentiable functions are \\(C^1\\), they include all polynomial functions, and they are closed under addition, multiplication, and composition. Then we formulate and prove a version of the inverse function theorem as well as a local intermediate value theorem for these functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q429074$2FCD93C8-6356-4D2B-AEF5-168D9CB17619","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"134cea8c4d995c5d0f1adf064cbe5ac1001a5d7f","datavalue":{"value":"26E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429074$205836EA-415F-4416-9AE7-0F0C28FA7A07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbc634f713b03f7fd22bfe24e1a5249408ff619f","datavalue":{"value":"6049785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429074$4CCC035E-4F77-4645-AF26-15DE6F0E4CC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1b0c5830357c96c3988fd4dc57e28268e00c5ad","datavalue":{"value":"non-Archimedean field extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q429074$3B23D3F9-2078-473F-9FC0-3BBBBFB1C30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ac4cd153c24f4330abcb993a0c1c0f3423264d0","datavalue":{"value":"locally uniformly differentiable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q429074$7576E97F-5582-499C-8006-B00D39F10E25","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":"Q429074$4E72CBCC-9DFF-472F-9994-6BD35D6E9AA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55d3000670d4b8706336f01b1b77ff0e6db1f26c","datavalue":{"value":"https://doi.org/10.5402/2012/387053","type":"string"},"datatype":"url"},"type":"statement","id":"Q429074$A8305EB1-3AFE-40F8-9DC8-4A4B5DDEF81C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27ebdb243a8ac963e13530a87da6613aa1699d35","datavalue":{"value":"W2025974488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429074$5B4FCC9A-EB17-4BC1-988C-3B48FC1376DB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"845a6c2f5bcf230bb0fda74c3e08e05611ccc449","datavalue":{"value":"Q58690651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429074$15E3F897-5447-4410-97AA-60A8D0F2DBBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ead0fe200ed6a8a4fcaff70b906b7c4e8754f9","datavalue":{"value":{"entity-type":"item","numeric-id":3125532,"id":"Q3125532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$35BC7134-60A9-4853-8BE0-D84C6596E76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b527dc2baa97ea827e8432598b065f88b613d7","datavalue":{"value":{"entity-type":"item","numeric-id":5776143,"id":"Q5776143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$A120CF31-03A0-41DA-9BE9-0F43F1154755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46ab984ecd8f25dea0b1b407e7e25cbd66bfad2","datavalue":{"value":{"entity-type":"item","numeric-id":4063547,"id":"Q4063547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$0E7BFF4B-7E03-4234-9FB7-BABA2A0050F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e43e7603a143185ae046548600788ff7f91809e","datavalue":{"value":{"entity-type":"item","numeric-id":1197358,"id":"Q1197358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$4B5B9B64-F364-4FB0-A77A-2A119331BA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990cfb8fe02120f8a33f0e0776ac8b704f7bf954","datavalue":{"value":{"entity-type":"item","numeric-id":4333836,"id":"Q4333836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$B0959982-FD84-4413-96CB-41CC8B1F5EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df2cf607a27337b69a03cc29686e163c3b42478","datavalue":{"value":{"entity-type":"item","numeric-id":3223453,"id":"Q3223453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$5C90C230-AA84-4467-9F1B-32803F1DC7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f22aae8c183d2fcd1a1fa01f6aae432c163289","datavalue":{"value":{"entity-type":"item","numeric-id":3125533,"id":"Q3125533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$EAADCCCA-94E1-43D3-9431-88D5B0AB2B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620912498ca7104fd45af06abfbc958892e34565","datavalue":{"value":{"entity-type":"item","numeric-id":3582334,"id":"Q3582334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$ED32F91C-3907-4B52-8CEB-A3A44276682D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67326cc97f2757a08fd0549bbda5392997123939","datavalue":{"value":{"entity-type":"item","numeric-id":5502781,"id":"Q5502781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$CF4A9FE1-BF66-42B4-8B42-6EFFC2F44E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b7894f42fd2cb63ebeb6d24e23ec7682922d41","datavalue":{"value":{"entity-type":"item","numeric-id":633042,"id":"Q633042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$AE15108E-C65D-423B-9938-67B71AC02083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a9d125ab906b1b018746637e52092dcf652da19","datavalue":{"value":{"entity-type":"item","numeric-id":3182416,"id":"Q3182416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$1B2A6AB4-E310-4EBA-9EDA-6CE099F7A91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a7f38c3e5ca92bffcea9b8b556f6a75a887f8f6","datavalue":{"value":{"entity-type":"item","numeric-id":4118035,"id":"Q4118035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$5017CCD1-6319-4C35-8B33-F6FC05980E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1787d2c081da04d535b4c5accca825bb6c37a8","datavalue":{"value":{"entity-type":"item","numeric-id":4340161,"id":"Q4340161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$B2A5E8FA-A9F0-44C6-AECF-7E302EB2B985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf0b3ed0784b422babc5c7713010c23b262165c","datavalue":{"value":{"entity-type":"item","numeric-id":3999065,"id":"Q3999065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429074$E9E23BAC-C940-43C7-92C2-BB05EC5A1E8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c30576bd427a0de7343e7887c4e52e2f25aad2","datavalue":{"value":{"entity-type":"item","numeric-id":2628825,"id":"Q2628825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c52c982bdce272cee5a9c1402d55581294dbaf2","datavalue":{"value":{"amount":"+0.9203514456748962","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":"Q429074$24CF6934-911E-462E-923A-CB6B53625018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193b4384280fcdd6697570d9919b7c4b3aafb731","datavalue":{"value":{"entity-type":"item","numeric-id":4685926,"id":"Q4685926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814e93dcdefd82bc13dd12d5ead29025ef05e5a5","datavalue":{"value":{"amount":"+0.8943605422973633","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":"Q429074$E04BB6E7-EAE9-4322-9CF5-C41B21BB011C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4645ef46d14c55d691bdb8a9f7e15858b1cbf27","datavalue":{"value":{"entity-type":"item","numeric-id":633042,"id":"Q633042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"991ac8ec4a811ac25154a976b2771ce8cd1668e4","datavalue":{"value":{"amount":"+0.8596604466438293","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":"Q429074$A13DF330-587F-4210-ACFF-C4E01BD14984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"332e07f5cc55b4d71d56d9aea6515fc325253983","datavalue":{"value":{"entity-type":"item","numeric-id":5966254,"id":"Q5966254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92feccaa938eb4a3609f34704813fdf25ed82d40","datavalue":{"value":{"amount":"+0.8445236682891846","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":"Q429074$0F87E404-8079-4337-8FFE-C73D90810135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cec63c3a49532b2d2f2fb90a60978b71e4fccee","datavalue":{"value":{"entity-type":"item","numeric-id":843526,"id":"Q843526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02420ebf1bf362e8bfa2f75f8741179375a111aa","datavalue":{"value":{"amount":"+0.8175708055496216","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":"Q429074$D6EBBEA1-FF94-484C-A5C1-41E473BEAD46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On locally uniformly differentiable functions on a complete non-Archimedean ordered field extension of the real numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_locally_uniformly_differentiable_functions_on_a_complete_non-Archimedean_ordered_field_extension_of_the_real_numbers"}}}}}