{"entities":{"Q2743645":{"pageid":2754384,"ns":120,"title":"Item:Q2743645","lastrevid":83037077,"modified":"2026-05-07T05:37:38Z","type":"item","id":"Q2743645","labels":{"en":{"language":"en","value":"Quotient fields of a model of \\(I\\Delta_0+\\Omega_1\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1652343"}},"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":"Q2743645$9DCC6E44-5166-48AC-9BDF-691BE5F5B26E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"166f5551226fea38253d843900aec031e4844027","datavalue":{"value":"0990.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743645$A6ED9B0B-6427-4FA3-94D7-F486E280C43A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca22808a31615e9865270125eca59a044d4c4825","datavalue":{"value":{"entity-type":"item","numeric-id":466217,"id":"Q466217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743645$C3990343-E424-4B2E-A98C-1C05F757F553","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdfa6cba6260f9a6202ecedb776f440ed4a5fcda","datavalue":{"value":{"time":"+2001-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2743645$245B7551-6E50-4A22-B7E9-8F16F853A67A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743645$890912E3-3F90-4613-804F-07AF6FC8D59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743645$E9824359-D469-412A-A039-E719B6874EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743645$0E95D7F1-4A30-4C71-A359-9C0805DEE168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743645$516F9FF4-36E7-4828-A153-BCB86770F8C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d26cd2576f382cbfdb06ca896253d1f949ec3479","datavalue":{"value":"1652343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743645$A38F9420-9750-4092-98C0-545624C3B26D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421438df799a8f4e9011afb54bdadfa916edb4f1","datavalue":{"value":"exponential","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743645$D1CC69F2-37AC-4B6F-A465-53C37DEF7666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d45f4a5854ac5103d5034c919cc0071b7c9df24","datavalue":{"value":"definable ultrapower","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743645$C2162463-1433-4844-9745-62D7A23A4F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbdcdb68f38daa2b48322f1b5d12a4ecba19e626","datavalue":{"value":"bounded induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743645$E0EBB91D-E0A3-4C49-95F0-11E621D92F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ded52e28a50641359cb958500f791f3e67963f69","datavalue":{"value":"quotient field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743645$AF0266C8-1165-4227-9591-A6BEB7D3DFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c1c6c913bddc092cf968730c52151910e3da835","datavalue":{"value":"maximal ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743645$07444C77-1CF3-481E-B157-6B8E23EA8EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743645$22FEDFF4-E530-4021-971A-4B8FDFEF5D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e9c5ab03fd2ec16cb078caba1f8466415beeff2","datavalue":{"value":"prime ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743645$4B065FC3-00FA-47B5-9EFF-57D8D5CB54D7","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":"Q2743645$2E9D9A81-B784-444C-847C-E72FAFB761CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"079dd7e7c36e23b2270700faac839fc03de502d0","datavalue":{"value":"W2083070908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743645$10A7D7F7-5BDB-4015-8F43-D052F8F428B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66bfe298f8e62f74d134ef5a6e7583a9dc9527c7","datavalue":{"value":"10.1002/1521-3870(200108)47:3%3C305::AID-MALQ305%3E3.0.CO;2-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743645$A3043BD9-6B73-42D9-B07B-D55FAA19F0F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aac27f2a5dc77ada483d043d68ba925e0efbd849","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200108)47:3%3C305::aid-malq305%3E3.0.co;2-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2743645$00E4ACBA-EA54-42FD-B745-5F19B384D951","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e281da35bbe16b12835c4524ccc86d2404d3fc43","datavalue":{"value":{"text":"Quotient fields of a model of \\(I\\Delta_0+\\Omega_1\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2743645$81E05CDF-DAEB-4467-8F5C-150AA01A4070","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743645$03D0ECBB-FF85-49FE-98C9-25E047352F80","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b527181dce7559839dcd4f9816678a865a5958c","datavalue":{"value":"\\(I\\Delta_0\\) stands for ``\\(\\Delta_0\\) (= bounded) induction'', of course, and \\(\\Omega_1\\) is the sentence ``\\(x^{[\\log y]}\\) exists for all \\(x,y>0\\)''. The main result of this paper reads: Any quotient field of a model of \\(I\\Delta_0+ \\Omega_1\\) has a unique extension of each finite degree. In the joint paper with \\textit{A. MacIntyre} [Isr. J. Math. 117, 311-333 (2000; Zbl 0993.03076)], the author shows the same result for the case when the quotient field is given by the principal ideal generated by a prime. Here, the result is extended to any maximal ideal. On the way to showing the above, a number of interesting results are established. For instance, Peano arithmetic is shown to be equivalent to \\(I\\Delta_0+\\)``every definable prime ideal is principal''. This paper is self-contained and readable, for ample background material is provided, leitmotifs are explained, and so forth.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743645$28AEB433-3ABE-4172-822E-7F7592D8591C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"101a0fd01f313486cd5399578e233be395997bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1567349,"id":"Q1567349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a53484e29c5bbdc17d0e11955d9b3607541915","datavalue":{"value":{"amount":"+0.7434912323951721","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":"Q2743645$36A07AAA-E104-4697-9D55-CF217F31F0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7194e4c2eb5adec33c7b65443b8728c71861fe9b","datavalue":{"value":{"entity-type":"item","numeric-id":2382276,"id":"Q2382276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3a90a9a74aa2e46c5af94dfb70a114631c6cc5","datavalue":{"value":{"amount":"+0.7304171323776245","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":"Q2743645$089B0895-4A0D-4E3D-AFD0-48DDE71C48E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d01e985b4f87dc45da183b7eb07efe23949c9a","datavalue":{"value":{"entity-type":"item","numeric-id":639651,"id":"Q639651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33cca7c4696f431cb5fc6d8759979c38816c681","datavalue":{"value":{"amount":"+0.7222068905830383","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":"Q2743645$A017EF76-2CFD-4424-B148-F93952FD79D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"593ed4999cbd829c5de6a63a360d88c8f5c4ef0f","datavalue":{"value":{"entity-type":"item","numeric-id":3768889,"id":"Q3768889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b42627a763215c0d59e1f4c5cebb9c6fe70c28d","datavalue":{"value":{"amount":"+0.7212942242622375","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":"Q2743645$62F70FAE-E45C-43EE-9E9C-F83854BE4D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a5d5aca92665dbbacde1b7fb678e240eed2bac","datavalue":{"value":{"entity-type":"item","numeric-id":3773857,"id":"Q3773857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3ebf057b6235742c617ad691f1f609af17a61c","datavalue":{"value":{"amount":"+0.717728853225708","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":"Q2743645$AA74D0FC-A66F-4CD6-A972-1FFDBE9970B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quotient fields of a model of \\(I\\Delta 0+\\Omega 1\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quotient_fields_of_a_model_of_%5C(I%5CDelta_0%2B%5COmega_1%5C)"}}}}}