{"entities":{"Q4372852":{"pageid":6402451,"ns":120,"title":"Item:Q4372852","lastrevid":108305843,"modified":"2026-11-05T20:39:40Z","type":"item","id":"Q4372852","labels":{"en":{"language":"en","value":"Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1097663"}},"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":"Q4372852$2854228E-015E-4D3F-9988-C14038DB84F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2964dadfeea5530c02f1e034bea07116eacac615","datavalue":{"value":{"text":"Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4372852$4F5A42E7-23DA-4B3A-80FB-E140771B680D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4d502a6938ba5ca7dce096acad46a95e4c12a84","datavalue":{"value":"0894.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372852$BE10E9D7-D64E-4706-B875-2EAB24175CF3","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":"Q4372852$2C2EB2F1-E61A-4515-9DCE-9B9EE72D2E9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"befefdbf4b5e326bd1bedc2a91e9c20f746bff09","datavalue":{"value":{"time":"+1997-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4372852$DB2E06CA-AF1B-43DA-9D99-43A5362B25F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372852$BBC95DA6-3D01-4453-AC94-97961266BC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372852$973BEDFF-2F89-419B-8052-60BFF61B038E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372852$5C33B0D3-849C-4424-B3B1-BCD68B863817","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f98504b43f6612a851e046b4229b8fadbf11e095","datavalue":{"value":"1097663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372852$D92319A0-4325-46EF-A206-3A5415FEC479","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e04183e937d39c8f73a58e372a7f2c1d080846b","datavalue":{"value":"nonstandard model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$B6DB85BD-DB6C-4A8E-BE37-AE23D5020314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22dce1e3a0c8107bcede2b3030c6fea70d80df36","datavalue":{"value":"fixed point set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$2CECD425-219B-4B85-8332-35A0F933D337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$BE2CECFD-7C29-42E9-8C43-27D3603F4E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5307e43959b88c4cccf04b113f239f7ba9d9fc9","datavalue":{"value":"recursively saturated model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$DAB7C173-C201-4B55-834A-BA7C43953574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db30a59ab186bd1de9bd036d852f96617b0edad","datavalue":{"value":"Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$A86C17E5-F954-48C5-BF67-95045EF82935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac30e82f2ec993d2094934d9f393f29e5eef990e","datavalue":{"value":"elementary cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$7A1E7A57-370F-4723-9679-27A711D03216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36dbdb3051a674eadc531818ec5f92e5d9e0834","datavalue":{"value":"standard system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$C2640D5F-155D-45FE-98DB-7C17DAF087A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aa16816e02d0957379cdcfcf9c1bc94b6099f3e","datavalue":{"value":"fixed submodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$7D914570-B09D-4366-A520-DA0CA0995927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63beefba6f5c4dc194013613ac8f6449cfd54eb7","datavalue":{"value":"minimal types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$A1375BAC-974A-4ACB-9D6E-F34181DA9506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd5b25b3731a18f5c1c940038600f8d41af279c4","datavalue":{"value":"Skolem closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$8B67B484-D17F-4789-91B8-9E4134B777FF","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":"Q4372852$0E16980D-05F7-481C-8805-8DBDE5684653","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45266f6752c8468c526ad42f0a9433244958a183","datavalue":{"value":"https://doi.org/10.1093/jigpal/5.6.787","type":"string"},"datatype":"url"},"type":"statement","id":"Q4372852$F5BF2989-D33B-4B52-AC29-F53DFFDED7BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc131b02ebeefaede617ea2490482351ec67a894","datavalue":{"value":"W1995834205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372852$2D191BB3-7998-4661-B8E1-8CCACCFDDBCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee953901ba300ed04ee9dae8199723e7da67739e","datavalue":{"value":"10.1093/JIGPAL/5.6.787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372852$F352E49D-1A63-409C-847E-B96867533468","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372852$027E103F-D1E3-4E9E-ADCF-336027AAEA6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a280b4df9bfb42ae19b5f3aadf559bfd8997d03","datavalue":{"value":{"entity-type":"item","numeric-id":1913628,"id":"Q1913628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f7245683428a32fc7101f1ff7e18bdfaf3c52f","datavalue":{"value":{"amount":"+0.8451106548309326","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":"Q4372852$6A9CF63F-045F-4673-B94E-A7CDBB8ABA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90b179cfedcdda0cab4e1deae590cdc1a23dda9","datavalue":{"value":{"entity-type":"item","numeric-id":4656807,"id":"Q4656807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6ba92b0dfbb7df13f98a56d4ae0a88aa218063","datavalue":{"value":{"amount":"+0.8392279744148254","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":"Q4372852$C9366401-A803-4B5F-BEFC-F371C4292AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f731b0a6d2be2fe8a661b72ec87102218c697f46","datavalue":{"value":{"entity-type":"item","numeric-id":1913626,"id":"Q1913626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad727e125e88d83e160c2d132b27cd8112c47c6c","datavalue":{"value":{"amount":"+0.8349500894546509","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":"Q4372852$64613073-8EF4-433C-8653-63427A4AC5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3158bd79829d64173751f7095fd8605f9f8a70fb","datavalue":{"value":{"entity-type":"item","numeric-id":645748,"id":"Q645748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29dee6219cfcb320113a59e12b8bfe62ade7d866","datavalue":{"value":{"amount":"+0.8334982395172119","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":"Q4372852$09BB7266-4AF8-4A74-9B6C-30FD3FF5E225","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3cdc022f61e25f756811c555fd9cf3361534b497","datavalue":{"value":"The most important notions used in this paper, like fixed point set \\(\\text{fix}(\\alpha)\\) of an automorphism \\(\\alpha\\) of a countable recursively saturated model \\(M\\) of Peano Arithmetic (PA), elementary cut of \\(M\\), standard system of \\(M\\), are defined in the introduction. In the second part, the author gives a survey of known results on fixed submodels and their characterization. Moreover, the following two facts are proved: Every fixed submodel of a countable recursively saturated model \\(M\\) of PA, which is not arithmetically saturated, is isomorphic to \\(M\\). Each countable model of PA is isomorphic to a fixed subset of a countable arithmetically saturated model of PA. The third section deals with minimal types. It was shown that every rcursively saturated model of PA realizes infinitely many pairwise independent minimal types. Using the notions of Skolem closure of a subset of \\(M\\) and the gap of an element of \\(M\\), the author presents certain properties of minimal types. The main result is proved in the fourth section: Let \\(\\{c_i: i\\in\\omega\\}\\) be a cofinal subset of a countable arithmetically saturated model \\(M\\) of PA such that for every \\(i\\), \\(\\text{gap}(c_i)< \\text{gap}(c_{i+ 1})\\), and every \\(c_i\\) realizes a minimal type. Then there is an automorphism \\(\\alpha\\) of \\(M\\) such that \\(\\text{fix}(\\alpha)= H(\\{c_i: i\\in\\Omega\\})\\). A consequence of this theorem is the fact that each countable arithmetically saturated model of PA has continuum many nonisomorphic fixed submodels.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$5C2389B4-440D-4122-8DCE-71DD4E744992","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automorphisms_of_Recursively_Saturated_Models_of_Peano_Arithmetic:_Fixed_Point_Sets"}}}}}