{"entities":{"Q1314639":{"pageid":1325389,"ns":120,"title":"Item:Q1314639","lastrevid":68439552,"modified":"2026-04-12T23:43:21Z","type":"item","id":"Q1314639","labels":{"en":{"language":"en","value":"On maximal subgroups of the automorphism group of a countable recursively saturated model of PA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 503597"}},"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":"Q1314639$A26781C5-F084-4701-88A9-4195AADA96A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c769e24cbecc47dbc8370caa5ab1459483fc825","datavalue":{"value":{"text":"On maximal subgroups of the automorphism group of a countable recursively saturated model of PA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314639$86DB7BE4-FFB4-4979-97C5-50D049FE001F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b0e708f3813ef06e276b030899046760c433713","datavalue":{"value":"0796.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314639$63830073-F8C9-49FC-9A1C-E195B06720A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa02bef102bee77859f0814742d1f3f5b8ffa9f8","datavalue":{"value":"10.1016/0168-0072(93)90035-C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314639$3F63CB59-6FC5-4E8B-B98A-3C079CF0DB62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78cf3d039518ff5658afcbb728efb7e71e88345d","datavalue":{"value":{"entity-type":"item","numeric-id":598274,"id":"Q598274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314639$68BBACA3-FBFC-4996-B112-72B6374C70C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80620c2b4df8756e658fe199f1a89d0f51d86188","datavalue":{"value":{"entity-type":"item","numeric-id":190265,"id":"Q190265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314639$4D886A6F-B20F-43D8-88D5-80BD7263776E","rank":"normal"},{"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":"Q1314639$32467B5E-690C-4F44-8F18-A67D23595C47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314639$B8EB2CA0-158C-49EF-8CD8-31FFE3ABD20D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a07e8af38f76d1e005ebe63136b3f3c24a5ff2b8","datavalue":{"value":{"time":"+1994-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314639$E00C5395-8B82-4C74-B347-81964D529ABB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"efc63f18d2ab6d7cba236dda5aff74178ed79777","datavalue":{"value":"The study of the automorphism group \\(\\Aut(M)\\) of a countable recursively saturated model \\(M\\) of PA has recently provided model theory with an attractive collection of results, and a rich set of open questions. The initial results were independently obtained in the early 1980's by Kotlarski and Smory\u0144ski but the key paper in the area is the paper ``Automorphisms of recursively saturated models of arithmetic'', by \\textit{R. Kaye}, \\textit{R. Kossak} and \\textit{H. Kotlarski} [Ann. Pure Appl. Logic 55, No. 1, 67-99 (1991; Zbl 0748.03023)]. The paper under review answers some of the questions left open in the above paper, and contains many interesting new results. Perhaps the most important result of the paper is the following: In the light of the observations that if the type of an element \\(m\\) in \\(M\\) is ``2-indiscernible'' then the pointwise stabilizer of \\(m\\) is a ``strongly maximal'' subgroup of \\(\\Aut(M)\\), it was asked whether these are the only maximal stabilizers of elements of \\(M\\). The authors manage to answer this question by first establishing an elegant equivalence: The stabilizer of an element \\(m\\) of \\(M\\) is a maximal subgroup of \\(\\Aut(M)\\) iff the type of \\(m\\) is selective. Then they show that in every recursively saturated model of PA there is an element whose type is selective but not 2-indiscernible. One of the surprising facts established along the way is a reformulation of 2-indiscernibility. A type is 2-indiscernible iff it is a minimal type (in the sense of Gaifman).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314639$9E9E98E2-0AE6-49E9-9419-54709AE903F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314639$8CB81999-878C-406B-B872-C170BB84FFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"512f02c3a91060c0a6967ce7e6a4f8fc6304bb6a","datavalue":{"value":"20B27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314639$0691788E-0C51-4841-86DB-22E8432C92D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b97fbecc089ce1f09fa0da538064b4966e596c71","datavalue":{"value":"503597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314639$1EDB301B-FAC1-48E5-934F-B3891127D857","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881b59035d29df92f521fb7f6c93516b972baeb","datavalue":{"value":"models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314639$6C3E17E6-933F-4DFA-9BB3-4F42D72FD5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07a7b7d430298c0593238822d7c3fe8d8bddac3f","datavalue":{"value":"countable recursively saturated model of PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314639$97BE2836-F3FB-44D1-BC1F-F5B4B4E3FBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d193d86fbcf9c486676058f9aab524aaaaaad13","datavalue":{"value":"selective type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314639$0EF17C5D-7A8E-4787-B56F-63611D03C733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"403f7bb95cf84061520b8e0c75ee83e8a46d85ad","datavalue":{"value":"2-indiscernible type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314639$52474B40-3710-4680-8EC4-8B4E52010447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7004ea3c45e788d894ca43ad9fb77d664ad32ef0","datavalue":{"value":"automorphism group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314639$71ED4B9C-5D90-44E9-BD4A-782320D4ACB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a45e4a197d4b8679c79be02003afac6891d27f3f","datavalue":{"value":"pointwise stabilizer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314639$F6425599-ACC9-4D8F-896D-7F5625B8E596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d165545992250c2af3fe1ba0075a271dee0c3730","datavalue":{"value":"maximal stabilizers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314639$39E42522-B654-495F-91D2-4EFF9998EA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"effbb941d511cbfd14d2861135e4fbd93431d69b","datavalue":{"value":"maximal subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314639$89AE4A7D-6431-4F29-B082-B95A58738EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d0db30c3328d16df88eb86ce0b90dd99735c45d","datavalue":{"value":"minimal type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314639$3D2402AA-8049-4316-957B-6E29B1A9EA3E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6cef0196cde731f89c69a508b5029ccc61b97028","datavalue":{"value":{"entity-type":"item","numeric-id":204231,"id":"Q204231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314639$A8E79D82-DD46-4076-A7CE-66CD71BFAF83","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":"Q1314639$504E1C63-417D-4CD2-8654-EB987041DB06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3c32a4fb9a3f04d796d08c0ab22ff4b2032544","datavalue":{"value":{"entity-type":"item","numeric-id":4096940,"id":"Q4096940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314639$60C3ECAA-21DE-4A14-BD0A-68E8FD015B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb90491f37f6e1f00a16f9148a7c15690ed9f9d0","datavalue":{"value":{"entity-type":"item","numeric-id":1058509,"id":"Q1058509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314639$F9F7441D-2593-4691-97BE-9F61E11B4A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314639$B5416AF6-6C31-47BC-86D4-4B492515B848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f6727101834aa2dcc66eeea9f48eb0d2c7ac3d","datavalue":{"value":{"entity-type":"item","numeric-id":1333303,"id":"Q1333303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314639$4B1C793C-B0C2-421D-939D-7C55C2796EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815608d91af37dadcdd307ac6ea19901cc19bc54","datavalue":{"value":{"entity-type":"item","numeric-id":1182432,"id":"Q1182432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314639$BADB7F47-4724-476E-BC27-F9513685B80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc934d36ff645130e1ea613d99fd3dd5e388aca","datavalue":{"value":{"entity-type":"item","numeric-id":4004805,"id":"Q4004805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314639$5DB7180C-C788-4909-99F2-F9E32CA73A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a7df670beed245e208fd50b77ee3f40acb5e93","datavalue":{"value":{"entity-type":"item","numeric-id":3689171,"id":"Q3689171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314639$978FD498-2B1A-4AC9-8634-C559D7BC7001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3396435de6849adf0afda1d41b6be85bdeba9e","datavalue":{"value":{"entity-type":"item","numeric-id":3912582,"id":"Q3912582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314639$F78ECF2D-02B4-47FB-A172-57766E52E6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8295cff2497b72e90018094e567cfad44e3737a0","datavalue":{"value":{"entity-type":"item","numeric-id":1054725,"id":"Q1054725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314639$2A023F01-C746-4AA0-919C-37E3B2523ADF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41fe7796409a6d0c737c953c33550b709364533","datavalue":{"value":{"entity-type":"item","numeric-id":4024969,"id":"Q4024969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2079b87cb7d1e672f20670b6521de8764888670","datavalue":{"value":{"amount":"+0.868171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314639$41E3B4D0-37FB-4DB7-BEB0-4840F1F908DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecfca3e14dbdda7a1beaa607b9ec89ed7cea3eb2","datavalue":{"value":{"entity-type":"item","numeric-id":4939406,"id":"Q4939406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21bb3f4e75141393c544cc8c2e2c390f71dabb0f","datavalue":{"value":{"amount":"+0.86590016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314639$DCFD6BDB-358D-49DE-B0B7-8B864F4B1125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9bfe42f40790cb34fa15569d4e1f416539d0ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1333303,"id":"Q1333303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5b8616e1b3c32a3629d376a70bf0ab85095f4a","datavalue":{"value":{"amount":"+0.85969716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314639$15641E06-46FB-4B4A-89D0-3D089CB2931C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d30eef2852bd65c7df9a9b041c2fde1e205cfbf3","datavalue":{"value":{"entity-type":"item","numeric-id":1182432,"id":"Q1182432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c36fa899a00253424e5ba5d15e696785b78f8d8","datavalue":{"value":{"amount":"+0.8577354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314639$9D2A159B-6350-4EE6-BD4D-B4296DB78305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502cc0d594674bb8a6f4516f9915f06af7ef1768","datavalue":{"value":{"entity-type":"item","numeric-id":1049737,"id":"Q1049737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0245ae1f04c228bf703e604902391b237e0e82f4","datavalue":{"value":{"amount":"+0.8535849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314639$07AC9AC7-984C-4465-88EF-1E1BFCDCBD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516c3ca23a149caeb7621f855312c5f5468b80f4","datavalue":{"value":{"entity-type":"item","numeric-id":3566942,"id":"Q3566942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82c16eb705d4fd5e6b0ad7a8177ef2f8d68292e","datavalue":{"value":{"amount":"+0.84318095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314639$D52B606E-979F-457E-9054-D056490387AB","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":"1219ebfbb07ae24f89d34eb3c7cd82b0f32a8b1c","datavalue":{"value":{"amount":"+0.83942723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314639$42082F8C-19CD-4E3B-9BC6-9EA3093BE2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24ad7639d2fac6ba2c63320827e250eda3c2750","datavalue":{"value":{"entity-type":"item","numeric-id":1377633,"id":"Q1377633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1205c93e9a695c39959e8389191379d7de79d5b2","datavalue":{"value":{"amount":"+0.83267224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314639$34A6FC95-D4E0-4863-866A-F554D15B456A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d8ea9783b6d883248755fb1ffebe5bdb66bd5f","datavalue":{"value":{"entity-type":"item","numeric-id":4864048,"id":"Q4864048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cdcf0138097684688c1791990da900590b67b3f","datavalue":{"value":{"amount":"+0.82725525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314639$9E1E0F84-D48E-4E53-B726-C94F13AAC7AC","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":"cb5fd65554f7c329db57b18beb2d0d7b0649483f","datavalue":{"value":{"amount":"+0.82582366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314639$C13A7E69-3E08-4BA2-9C37-469C652AB132","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On maximal subgroups of the automorphism group of a countable recursively saturated model of PA","badges":[]}}}}}