{"entities":{"Q1283489":{"pageid":1294239,"ns":120,"title":"Item:Q1283489","lastrevid":67220325,"modified":"2026-04-12T16:09:31Z","type":"item","id":"Q1283489","labels":{"en":{"language":"en","value":"On the elementary theory of rings of Witt vectors with a multiplicative set of representatives for the residue field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1275768"}},"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":"Q1283489$D5300FBD-9351-4916-912E-6560C06F9BEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90dd39232f3ea95e4a13d9f4a7cbfadb5f032b1f","datavalue":{"value":{"text":"On the elementary theory of rings of Witt vectors with a multiplicative set of representatives for the residue field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1283489$F6F2E1BD-F705-429D-8A2A-297B77662908","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06b5638562452f30568395296de7b7e3f16beaa3","datavalue":{"value":"0923.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283489$3159726A-D5B9-47CB-A0C9-BE70DE5AF654","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":"Q1283489$93C44640-B2C5-4A1A-8FEC-8BA77ABFAA96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eeeea4931e75e6b5358c627cc3e151b80b82718","datavalue":{"value":{"time":"+1999-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1283489$E7A744F9-23EC-48C3-ACB2-71CB5670A7A1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e512ba9a306024d3f7ea85292e701fee40d2f70","datavalue":{"value":"Let \\(T\\) be a theory in the language of rings with extra unary predicate \\(S\\) whose models are \\((B,\\Sigma)\\) (\\(\\Sigma\\) corresponds to \\(S\\)) such that   (1) \\(B\\) is a valuation ring with fraction field \\(F\\) of characteristic 0.   (2) \\(\\Sigma\\) is a multiplicative closed subset of \\(B\\) that is mapped bijectively onto \\(B/m(B)\\) by the residue class map.   (3) \\(m(B)= pB\\) and \\(B/m(B)\\) is a perfect field.   (4) The local ring \\(B\\) is Henselian.   (5) For each \\(k\\in\\mathbb{Z}^n\\), \\(k\\cdot\\sigma= 0\\Leftrightarrow R(\\overline\\sigma)= 0\\), for all \\(\\sigma\\in \\Sigma^n\\), where \\(R\\in \\mathbb{F}_p[X]^N\\) is the triple associated to \\(k\\), and \\(\\overline\\sigma= (\\overline\\sigma_1,\\dots,\\overline\\sigma_m)\\).   The author proves that two models \\((B,\\Sigma)\\) and \\((B',\\Sigma')\\) of \\(T\\) are elementarily equivalent if and only if \\(B/m(B)\\) and \\(B'/m(B')\\) are elementarily equivalent and their value groups are elementarily equivalent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283489$BB9E6AFC-4BBD-45F3-8A2E-38A10817A236","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283489$C3D7BADD-AE3D-46CC-BD16-6A045D545ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5572c78142f657524440f7d1082fe44390a68664","datavalue":{"value":"13K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283489$9EC605FB-46EC-4664-A8C9-E3E1D06BCF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e2aa5b7e34e0c988d04ecf732a3cd8c9233b11e","datavalue":{"value":"13L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283489$035E5426-ACA7-4D63-8A63-45103C411C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a9a3ba8b8441c558f3112e4fc401d28f3275fea","datavalue":{"value":"12K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283489$AC1DB5AB-BA93-4D91-89F0-FC5FD3AEF2EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e12a55f61acc05ad18b9892ce33e01de1f7840f2","datavalue":{"value":"1275768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283489$4115D4C3-37DE-4F2C-B900-4E3F7F542A98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4a333fb3ef3c6ac736e8e4a20f4d3c9ca434bf7","datavalue":{"value":"Witt vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283489$EE694F13-4173-4188-995A-A16DA9E7EAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283489$B17C1B2D-1D19-4272-98D9-1315B7B01B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810f5587581a7848b4cbf73acdff5acb564b1a72","datavalue":{"value":"model theory of rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283489$9BE766AA-BD63-4E01-A88F-5FED6FEB236E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ed87200671954154fed3812a1c575704adc30ed","datavalue":{"value":{"entity-type":"item","numeric-id":1812782,"id":"Q1812782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283489$549759FE-38C2-4009-B2B0-6B634973461C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db4dd281735bccdbfc8df45ccfed3297c43da776","datavalue":{"value":{"entity-type":"item","numeric-id":588659,"id":"Q588659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283489$2C96AAF4-6076-4E45-B491-CCE3306B518E","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":"Q1283489$5831024C-5656-4A4B-8176-CF9D30682D1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dd27bc173b984dba9df74ccc9ed6529643b42f2","datavalue":{"value":"https://doi.org/10.1007/s002290050130","type":"string"},"datatype":"url"},"type":"statement","id":"Q1283489$4C6BD0D8-99D3-4D58-9EE2-4DD7B505461C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe3e839b7d57afc19108d430af9efc9043a79aa2","datavalue":{"value":"W1989342070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283489$C3F2615A-B831-4C5E-BB98-AA92355D7A99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06d6f8d207a78c380db9b5a04db3dcaaf50c633d","datavalue":{"value":"10.1007/S002290050130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283489$C14CE2CF-2E3B-4B5A-8CE2-7F90ABB1C5E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964aa5bb026417811ff169443a1b16d1bef0e35c","datavalue":{"value":{"entity-type":"item","numeric-id":5294011,"id":"Q5294011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9848c04226c059d9a6f82cb9575c67976a2e1fd","datavalue":{"value":{"amount":"+0.7579488754272461","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":"Q1283489$5795EF4E-280B-4F6C-8D61-A13A80B603B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14677bcfe923315c89e6d6074c9443c98556acf7","datavalue":{"value":{"entity-type":"item","numeric-id":3480173,"id":"Q3480173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ba87fa1de55cdf06c820289aec8dd0d3c18c2e","datavalue":{"value":{"amount":"+0.7443307638168335","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":"Q1283489$AEC2507E-18C9-45CD-B527-668C79850A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98006e7478f12c5c867c6b47c367515d2b7d3d02","datavalue":{"value":{"entity-type":"item","numeric-id":3448579,"id":"Q3448579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c7ac99d4d7a5b11ab1ffe370bbbeab00a53e1c","datavalue":{"value":{"amount":"+0.7372788786888123","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":"Q1283489$2BD28DD4-44B5-4033-AEFD-FCA60208B783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3222c4e6a5bb5356d77dc4608403562c87321a2","datavalue":{"value":{"entity-type":"item","numeric-id":1764103,"id":"Q1764103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b580ff94d42a187024a32fccc1d54829354842df","datavalue":{"value":{"amount":"+0.7340725660324097","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":"Q1283489$B5D43539-8161-4003-8FAE-452D3E3E909E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9a0141a381c10ed1ab228faeffcb69b87d8e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2659099,"id":"Q2659099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26b478c5ee9528d8079f5a38d9a1f3b78f5a4b0","datavalue":{"value":{"amount":"+0.7264693975448608","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":"Q1283489$2756E519-C3A8-4BAD-AC56-5559249AB795","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the elementary theory of rings of Witt vectors with a multiplicative set of representatives for the residue field","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_elementary_theory_of_rings_of_Witt_vectors_with_a_multiplicative_set_of_representatives_for_the_residue_field"}}}}}