{"entities":{"Q819263":{"pageid":821111,"ns":120,"title":"Item:Q819263","lastrevid":64574109,"modified":"2026-04-11T20:48:22Z","type":"item","id":"Q819263","labels":{"en":{"language":"en","value":"Models of Peano arithmetic as modules over initial segments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5015593"}},"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":"Q819263$E6431B14-D3FE-4256-BA79-B0A14307EF09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5310a428530009aecc99df268e0297d3f216fab9","datavalue":{"value":{"text":"Models of Peano arithmetic as modules over initial segments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q819263$E34513D7-0F17-4F04-BE21-9D3E42CBD592","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b3b7fc93438252cae9e6e4f4ab736647293e650","datavalue":{"value":"1088.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819263$3CBEFDE6-E323-4B9D-91FF-4F1289E6AE0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ae6f82a1f715194db460a5b0ab271bfa64e852b","datavalue":{"value":{"entity-type":"item","numeric-id":819262,"id":"Q819262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819263$5C8F8E88-9271-4195-8837-3E59A7081A2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819263$6AE80303-C305-4018-A14F-800542A0DFDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2561d4efd2c82b33855e170a6eb229ba58358f5","datavalue":{"value":{"time":"+2006-03-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":"Q819263$FEE99D5A-8B9B-437A-A627-5EFEFEDC9A32","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"19a72b6524ab288efc69545fa250a831abd572b8","datavalue":{"value":"\\textit{A. Tsuboi} and \\textit{M. Murakami} proved in an unpublished preprint [see also their paper ``Expanding the additive reduct of a model of Peano arithmetic'', Math. Log. Q. 49, 363--368 (2003; Zbl 1026.03024)] that for every countable model \\(M\\) of PA there are a model \\(N\\) and its initial segment \\(I\\) such that the additive reducts of \\(M\\) and \\(N\\) coincide and, for all \\(a\\in M\\), \\(a\\times^M a=a\\times^N a\\) iff \\(a\\in I\\).  The author proves a variant of this result which covers a large class of initial segments \\(I\\), but with a weaker conclusion. Let \\(I\\) be an initial segment of a model \\(M\\). If \\(I\\) is closed under \\(+\\) and \\(\\times\\), then \\(M\\) can be considered in a natural way as an \\(I\\)-module over the field of fractions \\(Q(I)\\) (all models of arithmetic here are considered as rings).  The main result is that if \\(I\\) is closed under \\(+\\), \\(\\times\\), and the factorial function \\(x\\mapsto x!\\), then there is a model \\(N\\), such that \\(M\\) and \\(N\\) coincide as \\(I\\)-modules, but \\(\\times^M\\not=\\times^N\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q819263$B85CF66D-15D4-4F44-B1CA-1FBF89AA1ED5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819263$53B9A646-3D06-4266-8426-54BC85857B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819263$F8FE0FAF-2111-4EC2-8E9A-DEFBCE5D2F10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0acc9e7a99d26d8fe25e63caa7afa06eddf8d621","datavalue":{"value":"5015593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819263$F2AD8A4A-EBBC-4FD4-9C60-EA5A87432AD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q819263$94DFC27B-D16A-40B4-88CC-6243EB341914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f896697d8fb28419ed20fba16be5936583b1e960","datavalue":{"value":"additive reduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q819263$A4B64AD7-8F4A-47D0-8E65-321C94F7087D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb31aa2ef04195a2f5aac30ae5bf74153efff4a4","datavalue":{"value":"multiplicative reduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q819263$F99AB325-9C20-4859-BA6C-4524DB26BFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e04183e937d39c8f73a58e372a7f2c1d080846b","datavalue":{"value":"nonstandard model","type":"string"},"datatype":"string"},"type":"statement","id":"Q819263$D287C844-A5A6-42FB-B5AD-48D12739AD9C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819263$1AE9F88A-D1E4-4DB3-A5E8-3B625442D406","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":"Q819263$DCBE361A-EB9C-46A5-A38C-B17C59100028","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f223667c47a189c5248ffc35a7e84360ad30718","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1496164891","type":"string"},"datatype":"url"},"type":"statement","id":"Q819263$9033CDC6-661E-40E8-943F-B0C281CD1EC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4400724c97ca24cec7dd41f6a5cdc9cd5be63661","datavalue":{"value":"W1161063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819263$6AC4AE2C-02C2-42DE-BD04-A05DDB40312E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d84640706cdc40b69bdf1cc4190003ca083b791a","datavalue":{"value":"10.21099/TKBJM/1496164891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819263$F732D305-40F2-4F15-AE73-4DFB235D394C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f49c118ee37491c3a7e37f2f1beb6485d859549","datavalue":{"value":{"entity-type":"item","numeric-id":4419265,"id":"Q4419265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b555b53e743aa361c30bfae3cc0a135c27d50cba","datavalue":{"value":{"amount":"+0.7845754027366638","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":"Q819263$604668FA-325C-4CED-98BD-768D0121C7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"220dbd3981d498a4386bead6434a182f9d0a935c","datavalue":{"value":{"entity-type":"item","numeric-id":3475260,"id":"Q3475260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80299995bc18e5b350fce7e873d81839cc333411","datavalue":{"value":{"amount":"+0.7796953916549683","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":"Q819263$CE1FCC33-CFAF-4DFC-8516-DDE9751F7018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258b41ad36b0268d19373c85b40f390b63241d8a","datavalue":{"value":{"entity-type":"item","numeric-id":3691674,"id":"Q3691674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd233196079a72a20a1854055304d8fcfc7fbb5","datavalue":{"value":{"amount":"+0.7777605652809143","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":"Q819263$700575AD-12AF-485E-848E-0AEABE7D78DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a1ca6a7f193e1421f6ff943693a3bc66434a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3762319,"id":"Q3762319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4be9d6c4f3bed94965e06918b416a6da96c5361","datavalue":{"value":{"amount":"+0.7717073559761047","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":"Q819263$5F6688AC-EC87-41A4-A8D1-66D9B9DCA55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d15982c34007d5a16ba513884672643e2c94cc26","datavalue":{"value":{"entity-type":"item","numeric-id":5295064,"id":"Q5295064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee9466bd436b2c3a0662978cc7d43d4de8f8a14","datavalue":{"value":{"amount":"+0.7454797029495239","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":"Q819263$C8ED2567-0A49-43B3-A7D3-CC772592E75E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Models of Peano arithmetic as modules over initial segments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Models_of_Peano_arithmetic_as_modules_over_initial_segments"}}}}}