{"entities":{"Q800426":{"pageid":802274,"ns":120,"title":"Item:Q800426","lastrevid":64466685,"modified":"2026-04-11T20:04:15Z","type":"item","id":"Q800426","labels":{"en":{"language":"en","value":"Valuation theory: A constructive view"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875423"}},"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":"Q800426$4520DE2F-C7E0-4B54-81F1-81558725DCBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b5100dac05f6b3539601f738c76b1bac3811ba0","datavalue":{"value":{"text":"Valuation theory: A constructive view","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800426$BB6C1E8F-1BFC-4B83-864D-CCFA02036716","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35afcd54a559e8a496df1d289187fd1c1c0c0529","datavalue":{"value":"0549.12015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800426$5015F4AE-3A98-48E1-89D2-F2A3DD0ACE7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f26028ee134b5ab34d7f003057b6b6f089d81540","datavalue":{"value":"10.1016/0022-314X(84)90091-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800426$D83D6B98-7777-48D0-A6E9-5420C0C81CFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7a59dc1828332765db1470be3fe0c199d74ad57","datavalue":{"value":{"entity-type":"item","numeric-id":800424,"id":"Q800424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800426$8A76E028-F697-4335-BF63-2A16C8A58634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fac2d97fc871faeeb1062a08181f0f0cc5094b16","datavalue":{"value":{"entity-type":"item","numeric-id":173439,"id":"Q173439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800426$2A4DDCD9-8F18-45BD-B93E-4D1A0ECD043D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800426$C5C4E99E-C41F-4877-9689-8938D8451BE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q800426$7EDEBE5E-DBD4-46EC-968E-DB01B121D6D1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe81db2ed4e3ef080c9b56b36d92d202520ad2f2","datavalue":{"value":"In Weiterf\u00fchrung fr\u00fcherer Arbeiten [\\textit{W. Julian} und Verff., Pac. J. Math. 74, 91-102 (1978; Zbl 0347.12001), und Verff., Rocky Mt. J. Math. 12, 43-54 (1982; Zbl 0499.12019)] entwickeln die Verff. die Theorie einrangiger Bewertungen eines K\u00f6rpers im konstruktiven Sinne von \\textit{E. A. Bishop} [Foundations of constructive analysis (1967; Zbl 0183.015)]. Eine besondere Rolle spielen dabei Bewertungen \\(| |\\) von k, die pseudofaktoriell sind, d.h. derart, da\u00df f\u00fcr jedes Polynom \\(F\\in k[X]\\) das Infimum von \\(\\{| F(a)|:\\quad a\\in k\\}\\) konstruierbar ist.    F\u00fcr komplette nichtarchimedisch bewertete K\u00f6rper werden die konstruktiven Analoga zu klassischen S\u00e4tzen, u.a. dem Henselschen Lemma, bewiesen. Ferner wird mit Hilfe der Henselisierung die Fortsetzung einer diskreten Bewertung auf eine n-dimensionale separable Erweiterung, einschlie\u00dflich des Beweises der Gleichung \\(n=\\sum e_ i\\cdot f_ i,\\) konstruktiv behandelt, und zwar unter gewissen die Konstruierbarkeit garantierenden Zusatzvoraussetzungen, die im Falle algebraischer Zahlk\u00f6rper stets erf\u00fcllt sind.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800426$E70E45CD-EE5F-444B-A4DD-B434E530A795","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800426$71C22974-CAA1-427F-92E2-FD864A8D1F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800426$36C47730-A8A6-46C4-A0E9-C05B0F74B660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56c7f76923b29a06e5df502ec9e72c901e9849fe","datavalue":{"value":"12E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800426$F08BF13A-971A-4A7B-A1FE-1FCC4C40EEFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31ae5b724fe67a39e915d73e5a1826d818591cd6","datavalue":{"value":"3875423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800426$B5062277-3551-42F7-888B-B66D07D334E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4419473003e3cf1913a0621962de05742b2cf0e","datavalue":{"value":"constructive methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q800426$0C6916E8-33A2-4AC0-8947-457F490A2079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e74a4393370379aede71d920bc731b8edbeada8e","datavalue":{"value":"rank one valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q800426$86714218-7BCF-46BA-ACF1-AA78E1662117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2128bf3d1d9129ad388b5da9a91b9047bbaad7fe","datavalue":{"value":"pseudofactorial fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q800426$368F522F-3729-4CDC-868F-D818F224AB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49e765206503ede0334547027d936eaaf2cb5290","datavalue":{"value":"henselization","type":"string"},"datatype":"string"},"type":"statement","id":"Q800426$F9ABFB95-2715-4D7A-B074-D68926AAAEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdd596ddabf990ddbb96fc954978681a549e9210","datavalue":{"value":"Henselian lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q800426$A273790B-631F-4366-A691-B40ACB45BC8D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1a23be8597c12c6e8bcaa11975b336dce3fa3a8f","datavalue":{"value":{"entity-type":"item","numeric-id":775069,"id":"Q775069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800426$986DE41A-311B-4C06-9E0C-B38959B3A289","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":"Q800426$008918B4-0A44-4990-B947-942B9A6F55F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"026d0abdf8d210f192bb4bf1398bdbb10a5cd8e0","datavalue":{"value":{"entity-type":"item","numeric-id":1233888,"id":"Q1233888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800426$87FDF555-9467-4249-BEA2-270DFBCAD77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f5584996b52d54c00d2288290129665e8ee319","datavalue":{"value":{"entity-type":"item","numeric-id":1171607,"id":"Q1171607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800426$F05DE633-4D9B-4BB7-957F-EC115C83757A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800426$F855A9BB-8265-467A-8475-8D7563171FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815fc6b24798e079e16fd68995553334b209888d","datavalue":{"value":{"entity-type":"item","numeric-id":5521595,"id":"Q5521595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800426$7CE961D2-34F0-4BD7-8837-555E04999AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba7416e0d861227117bbaceb6c4654078d813c0","datavalue":{"value":{"entity-type":"item","numeric-id":5590141,"id":"Q5590141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800426$1AA597F1-A8B1-4EF1-BE03-2C38F956652A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94279339b6c2e59da5c4e2cf6f8fd381e016aca","datavalue":{"value":{"entity-type":"item","numeric-id":5648345,"id":"Q5648345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800426$5D9122F3-0EDF-43F1-926C-5A679890D438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7e2cc82e6104d3c3e3299aede5753358de67d1","datavalue":{"value":{"entity-type":"item","numeric-id":5723265,"id":"Q5723265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800426$10B1095A-5FB4-4D85-8A84-A755494645EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c8b26400deeb0ea19a28eb95a2e52594ea042a","datavalue":{"value":{"entity-type":"item","numeric-id":3910523,"id":"Q3910523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800426$13A084A1-A6C2-48E2-9AC8-018454DD32AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85a3fd3fdcf53e6ff386fbaf62fa92ee1780636","datavalue":{"value":{"entity-type":"item","numeric-id":3293461,"id":"Q3293461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800426$164C3B81-F45D-4E31-965D-9E65693A0184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81132b268e8f340c28d19a1404085933e0c1acb","datavalue":{"value":{"entity-type":"item","numeric-id":5622367,"id":"Q5622367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800426$F5516151-26F8-45A2-8F1C-2AA289C71F33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bad2974dd1728eaafa5a08ba9c14e5663fe298b6","datavalue":{"value":{"entity-type":"item","numeric-id":3708097,"id":"Q3708097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0377c596f7f971cb269dbadc9b5362f70747e5","datavalue":{"value":{"amount":"+0.7712126970291138","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":"Q800426$A4418838-C4B1-4577-8BA8-74F1C2FA5BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ff806ceb9c3124bb1299e3f116494bfd70e632","datavalue":{"value":{"entity-type":"item","numeric-id":5462991,"id":"Q5462991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5531e5d3b09c84fef80d8c8a1c1bc1c289f929","datavalue":{"value":{"amount":"+0.7554775476455688","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":"Q800426$4F71FF0A-052B-4655-8822-678A070A43F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55492596e408bb55ad3afe33b1497531736c63e","datavalue":{"value":{"entity-type":"item","numeric-id":1570369,"id":"Q1570369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5596e480b5e3d9811d75da0baaf8d29d5ebbcc5","datavalue":{"value":{"amount":"+0.7433263063430786","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":"Q800426$6E25904D-1684-4647-A28C-159AD2212BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c54cc91f7d87773a189ce7fd2bf9fada72257a","datavalue":{"value":{"entity-type":"item","numeric-id":3826707,"id":"Q3826707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5db9865f88f751bc41127cab3d10d790f0308f","datavalue":{"value":{"amount":"+0.7372961640357971","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":"Q800426$0AAA2CE0-E5C3-460F-B52A-B5C34F371188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee496376f9002546e345eb87291d4dccaec7b31","datavalue":{"value":{"entity-type":"item","numeric-id":5690794,"id":"Q5690794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cc6a98a7a4aa730feb41e2b84c06feab80a518e","datavalue":{"value":{"amount":"+0.7344666123390198","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":"Q800426$0C73014E-9D0C-4DE0-9A0C-60C3855D9CC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Valuation theory: A constructive view","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Valuation_theory:_A_constructive_view"}}}}}