{"entities":{"Q1395393":{"pageid":1406133,"ns":120,"title":"Item:Q1395393","lastrevid":70327062,"modified":"2026-04-13T14:01:47Z","type":"item","id":"Q1395393","labels":{"en":{"language":"en","value":"Valuation theory of exponential Hardy fields. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1944222"}},"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":"Q1395393$121C46C8-1312-4620-8212-870E188B6E4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83804af7ceb31144db7989afba8ddd4fd7a57ca3","datavalue":{"value":{"text":"Valuation theory of exponential Hardy fields. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1395393$B2858E3F-DB2E-437E-B69C-BE0F6D3F8278","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62dcbc57405470bf16be14884ed8ffee0f14c4da","datavalue":{"value":"1024.12007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395393$7DD4B8E0-E97E-45D5-8943-C3AE4317AC7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9664aa1c7e25b5c97b07c5281d7ee8d16f778b83","datavalue":{"value":{"entity-type":"item","numeric-id":323733,"id":"Q323733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395393$4CFB5051-3FA4-4515-99A7-AB98D5369D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67721f79b349571ff4fb3500362367f7bcbb92e1","datavalue":{"value":{"entity-type":"item","numeric-id":252468,"id":"Q252468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395393$EFE38533-00DF-42D4-B358-8390DBFF918C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395393$C96C23A7-A8E1-4F6E-BE0E-00626E26CE68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a64159b588e3459a5fca46f6d5073d79064c685","datavalue":{"value":{"time":"+2003-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1395393$62A077EE-0A71-43CB-A185-5B2E6EBB91B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7adae2cec195344f6cb5f668c316f9c3550f8d40","datavalue":{"value":"http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-91211","type":"string"},"datatype":"url"},"type":"statement","id":"Q1395393$E4CDC958-2739-4CA4-A923-E9A19FADBE93","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12d5b6727fbe38d7ea852814cffc0b7686089cbf","datavalue":{"value":"Let \\(T\\) be a theory of a polynomially bounded o-minimal expansion \\({\\mathcal P}\\) of the ordered field of reals. Let \\({\\mathcal F}_T\\) be the set of all o-definable functions of \\({\\mathcal P}\\). It is assumed that \\(T\\) defines the restricted exponential and logarithmic functions. Denote by \\(T(\\exp)\\) the theory of the expansion \\(({\\mathcal P},\\exp),\\) where \\(\\exp\\) is the unrestricted real exponential function. Any model \\({\\mathcal R}\\) of \\(T(\\exp)\\) which contains \\(({\\mathbb R},+,\\cdot,<,{\\mathcal F}_T,\\exp)\\) is taken as a substructure. The Hardy field of \\({\\mathcal R},\\) denoted by \\(H({\\mathcal R}),\\) is the set of germs at \\(\\infty\\) of unary \\({\\mathcal R}\\)-definable functions \\(f:{\\mathcal R}\\rightarrow {\\mathcal R}.\\) Then \\(H({\\mathcal R})\\) is an ordered differential field. Let \\(x\\in H({\\mathcal R})\\) be the germ of the identity function. \\(H({\\mathcal R})\\) is equal to the closure of its subfield \\({\\mathcal R}(x)\\) under \\({\\mathcal F}_T\\), exp and log. The valuation theoretical structure of this closure is analyzed.    It is said that an infinitely increasing unary function \\(f\\) on \\({\\mathcal R}\\) has level \\(s\\in {\\mathbb Z}\\) if there is \\(N\\in {\\mathbb N}\\) such that \\(\\log_{N+s}\\circ f\\) is asymptotic to \\(\\log_{N}\\) on \\({\\mathcal R}.\\) If every \\({\\mathcal R}\\)-definable ultimately strictly increasing and unbounded unary function on \\({\\mathcal R}\\) has a level then \\({\\mathcal R}\\) is said to be levelled. It is proved that every definable function on \\({\\mathcal R}\\) has a level, and this level is determined explicitly. Denote by \\({\\mathbb R}_{\\text{an,powers}}\\) the expansion of the ordered field of real numbers by the set \\({\\mathcal F}_{\\text{an}}\\) of restricted analytic functions and the power function \\(P_r.\\) It is proved that \\(H({\\mathbb R}_{\\text{an,powers}})\\) is maximal among the Hardy subfields of \\(H({\\mathbb R}_{\\text{an},\\exp})\\) associated with polynomially bounded reducts of \\({\\mathbb R}_{\\text{an},\\exp}.\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395393$67F13AC2-B3B1-422D-8A03-736741BF588C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395393$3CA6D29F-6EEF-4507-8973-3EE441D14DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395393$A1FEBEFE-00B4-43AB-A4BE-D5F18AF20E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"866b7ca9ccd1c17f5aab066afe52bfd6de41926d","datavalue":{"value":"12J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395393$259A701B-2B6C-4B07-B820-500FB03428B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"257dc95ce04794f12f639598acfcf1fbb4136f82","datavalue":{"value":"26A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395393$05A31DF5-20DB-4711-A840-07907A79CB29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac931af684321749c1cd19b9f7a62e48f96ebc18","datavalue":{"value":"1944222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395393$44508E1B-FB6D-4DD1-AECC-12B4A7AE760D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43ac84ef99beccea3f6cf3cc6dc6628c5e4c5689","datavalue":{"value":"polynomially bounded o-minimal expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395393$89EA18F5-03CF-4623-8DED-1723CC5E3023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007679c053be9df0b2ad6061f8cb1e8d1e030f2e","datavalue":{"value":"o-definable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395393$1D023F22-5E4C-4A4F-A383-2B799FFDFB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da7867e3d2dc7d7a35efa69b513178b709c85bc4","datavalue":{"value":"restricted logarithmic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395393$CE0AA2C6-1D34-4E4C-9F1B-C56BA75BCB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd12bc9d7d566aae13838c452e0a3de99b09b13","datavalue":{"value":"unrestricted real exponential function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395393$0A08C557-D372-4524-87B3-2C6329769FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fb3caaa3aef5e9fc7a5fba96cd1ef09dbd0d772","datavalue":{"value":"Hardy field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395393$E7290DF1-ED60-4C04-9641-9C80A4B830F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79144d0a5e7df848549675938e876bfa84855110","datavalue":{"value":"ordered differential field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395393$ECAAE804-534C-4B50-AF55-0615E30A3AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaab3d8847179472aa7fd7608710ba87c5a9ef1","datavalue":{"value":"valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395393$32834C0E-A19B-48F6-8277-803A536A22C9","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":"Q1395393$DFCFD460-AB56-4D7E-9897-C1E1743642B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8d711d101d101ca477b8b274e807b3cc8973aa9","datavalue":{"value":"W2152926748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395393$5299D81D-0929-44D0-A9DC-902450AD3566","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0906ecc15d94dab7acadcc1c59237dfc755e802f","datavalue":{"value":"10.1007/S00209-002-0460-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395393$15E26265-010C-488E-9DCB-D528C0DDE7C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971f1d40d35ac151bb88c7fa7044f4dcffb7ca00","datavalue":{"value":{"entity-type":"item","numeric-id":4635368,"id":"Q4635368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f0885e65d46fcb64234503b7bc2977f27169c1","datavalue":{"value":{"amount":"+0.8709084391593933","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":"Q1395393$A8E0A855-1F60-48EF-9F00-860A82EEFA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70eaab7b1df7afdabaa41852da9681fa33c7ec03","datavalue":{"value":{"entity-type":"item","numeric-id":1594594,"id":"Q1594594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9ada38e989c68c07726bc2f990a5a38a84244d","datavalue":{"value":{"amount":"+0.8201716542243958","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":"Q1395393$584682E1-9A24-4B86-AD16-C55172414512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd1235c80d5c35b55ccd0f30f78130c8a553ff31","datavalue":{"value":{"entity-type":"item","numeric-id":3837738,"id":"Q3837738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb37259104c4f30719c5d00c9c8206f7331f064","datavalue":{"value":{"amount":"+0.8199098706245422","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":"Q1395393$EC689139-F20A-4EA4-8AE3-60CF275EF7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5371fd5344659bfa05a4b32d62a860dcec8999","datavalue":{"value":{"entity-type":"item","numeric-id":3151193,"id":"Q3151193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6122c9553370107d42c7d3749ca9c3ab809f4d3f","datavalue":{"value":{"amount":"+0.8033636808395386","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":"Q1395393$EC8A61E4-380D-4915-8EAD-AC6F7BDDDB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a01749258864d02e8fa4775e7f9d2ca25949b0","datavalue":{"value":{"entity-type":"item","numeric-id":4898991,"id":"Q4898991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6122c9553370107d42c7d3749ca9c3ab809f4d3f","datavalue":{"value":{"amount":"+0.8033636808395386","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":"Q1395393$BC668D83-4021-431C-9A72-95ACA144BDD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Valuation theory of exponential Hardy fields. I","badges":[]}}}}}