{"entities":{"Q701750":{"pageid":703599,"ns":120,"title":"Item:Q701750","lastrevid":63639684,"modified":"2026-04-11T14:32:52Z","type":"item","id":"Q701750","labels":{"en":{"language":"en","value":"A note on a theorem of Kanovei"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123167"}},"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":"Q701750$F9EDF318-5DE9-4861-961F-712DB6E6E197","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db90844c9e4c7bb981d95b3596b7fe4ef000e624","datavalue":{"value":{"text":"A note on a theorem of Kanovei","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701750$1ABC01EF-CCFB-4554-B37B-F61DE645C7AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1ba4351939308e85fab64e94b5a873388771779","datavalue":{"value":"1063.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701750$36F4E46C-49A3-4BEE-A405-BA5EEE9C125C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b670107d49e5cfb9b0abb2ab2d53889e002f633","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701750$6CB10444-5E4E-4570-A8A6-B5ADA4B1A211","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701750$B47CB4EC-53BA-45D9-99B4-5ED4B756A076","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701750$1FC2B929-46EF-4E83-9017-1AFF88656B7C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e1b0388d04d055810ffcfcb28f421184db6ce93","datavalue":{"value":"The author gives a new proof of a theorem of \\textit{V. Kanovei} [``On `star' schemata of Kossak and Paris'', Lect. Notes Log. 12, 101--114 (1998; Zbl 0917.03019)]. Using the standard notations of elementary Peano arithmetic [see the book of \\textit{P. H\u00e1jek} and \\textit{P. Pudl\u00e1k}, Metamathematics of first-order arithmetic. Berlin: Springer (1998; Zbl 0889.03053)], the theorem is formulated in the following way.  Theorem 0.3. Let \\(M\\) be a countable recursively saturated model of PA. Then, for each \\(n>0\\),  (i) \\(M\\) has an elementary end extension \\(N\\) such that  \\[  (M,SSy(N/M))\\models I\\Sigma_n+\\neg B{\\Sigma}_{n+1}; \\]   (ii) \\(M\\) has an elementary end extension \\(N\\) such that  \\[  (M,SSy(N/M))\\models B\\Sigma_n+\\neg I{\\Sigma}_n. \\]  In the note, only statement (i) and only in the case \\(n>1\\) are proved because the case \\(n=1\\) was already proved [\\textit{R.Kossak} and \\textit{J. B.Paris}, ``Subsets of models of arithmetic'', Arch. Math. Logic 32, 65--73 (1992; Zbl 0786.03027)]. In the final part, the author poses an open problem: Characterize the class of countable models of PA for which Theorem 0.3 holds.","type":"string"},"datatype":"string"},"type":"statement","id":"Q701750$68C6EA75-6B2A-429F-9E3F-2519D055AD6B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dfc4c0e9541822f1ae859bea6a1986771beb7c00","datavalue":{"value":{"entity-type":"item","numeric-id":598272,"id":"Q598272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701750$C00AB0D8-8F88-4A88-A426-59DD2A740939","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701750$5D8370BF-01E0-416C-B007-043D26DD772D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701750$5B2A7162-DB5C-4611-9741-FDA7A5DCCA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701750$FE25702A-2A2B-43AB-B2BB-A732E726871A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0863e8f77401912a1f46a81052ba05901a6c171","datavalue":{"value":"11U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701750$688C2959-975A-4EA0-84A9-8511F375B144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f352a2408df8e92ddf06360f7762f5de4a17895","datavalue":{"value":"12L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701750$A2EBBE00-3AF3-48B4-82AD-EF15EB86E798","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35a93f70ee1ab99b18d1c73ae86971bd97a2b01a","datavalue":{"value":"2123167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701750$30E5E11C-2765-4B2F-9896-7A9C199399AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72ef6408fbd00f7440cad3e2b7bf17cd54e5b150","datavalue":{"value":"models of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q701750$80F355C4-2904-437C-A89A-B075878727F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fba6d084f82fc17e5d72303a3f5c34df5f55d1b4","datavalue":{"value":"standard systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q701750$71815517-A385-40AA-AF09-C3FFA943B64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cddb03d56641bd0c8c383d3410940d6449caeec8","datavalue":{"value":"end extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q701750$B6C4FACA-2561-44A7-8CA4-B61768AF6CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q701750$470FF359-CD2C-4121-893F-5BEE8AD988F8","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":"Q701750$09FD1778-9224-4EEF-A43E-772FA77ED122","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7976c01bae1a222443cd3926d7738dc7862e184a","datavalue":{"value":"https://doi.org/10.1007/s00153-004-0218-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q701750$744AEE07-EC1A-4F1E-A601-0BEE2E9F1D51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a6d5716d68dda39fa9f0bfd1f99e86120dc23ac","datavalue":{"value":"W1980979166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701750$45F0A951-FC27-4DC2-91EE-C45DD55590BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"330004e6884670e59f387fc874ba4cffb0da3541","datavalue":{"value":"10.1007/S00153-004-0218-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701750$102DB163-62B8-4799-9E06-B9994F6D7117","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b393a2680b878ee96333d968fd4654b4bf9276","datavalue":{"value":{"entity-type":"item","numeric-id":937209,"id":"Q937209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb5673e0e23136d61c6cd0d571e3f5244779837","datavalue":{"value":{"amount":"+0.7944319248199463","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":"Q701750$2AF4BE63-4CF5-4390-BC73-2002C2BAF635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e8d6d6af0411f8f489b31d23b30683ca1188c","datavalue":{"value":{"entity-type":"item","numeric-id":3701406,"id":"Q3701406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37caf52e6dca2b9fc0565efe76900881643112c9","datavalue":{"value":{"amount":"+0.7901694178581238","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":"Q701750$BDABB7A5-49FF-463E-B897-7662082F2D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baedc0038f5833014fb3acca70bfc1e511ba3ed6","datavalue":{"value":{"entity-type":"item","numeric-id":2204367,"id":"Q2204367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b8f8acb17b2ebc2f4e87c73388a50f53318a73","datavalue":{"value":{"amount":"+0.7862385511398315","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":"Q701750$9F159324-F3EC-4FDD-9853-89DE1322526A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344eaeeda9434f05a37e0a50ac7762ce1232caa3","datavalue":{"value":{"entity-type":"item","numeric-id":4132525,"id":"Q4132525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c6f1d3274e86d323900876e1dce4b23e57e85e1","datavalue":{"value":{"amount":"+0.7853723764419556","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":"Q701750$E3A17D49-3ECC-404C-848D-5176855385DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca91620e8c527b025163e48b2fdffcc0e0b531a7","datavalue":{"value":{"entity-type":"item","numeric-id":3216651,"id":"Q3216651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85bf841fc58c2c0a09ae696948a2e891e10571e8","datavalue":{"value":{"amount":"+0.7748627662658691","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":"Q701750$18757E6D-8A2D-4FBE-9CC6-052F10AEE6A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on a theorem of Kanovei","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_a_theorem_of_Kanovei"}}}}}