{"entities":{"Q1762352":{"pageid":1773094,"ns":120,"title":"Item:Q1762352","lastrevid":69021930,"modified":"2026-04-13T03:47:22Z","type":"item","id":"Q1762352","labels":{"en":{"language":"en","value":"On cofinal submodels and elementary interstices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6110272"}},"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":"Q1762352$44A05CEE-0E4B-4EA5-B847-CC6EBB423655","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"284139dd8c246047e1c68053a5a347188fd9ef92","datavalue":{"value":{"text":"On cofinal submodels and elementary interstices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1762352$C57D5BB0-BFC4-4FE7-BD8A-950E6FF2AB6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20e1f0d440a5f408b7c1866df201bf2b3c48d72c","datavalue":{"value":"1256.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762352$2F9ED537-2D42-4993-B5BA-874FF96CAB9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"093d16fc40a053a1d029cde749fad859dd384c56","datavalue":{"value":"10.1215/00294527-1716802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762352$CC5854E6-DDBC-49CE-9B83-6B661E0DF1A4","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":"Q1762352$19526556-BBFA-4C3F-861A-FB61F312AD96","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":"Q1762352$B89AD45A-A345-4EF1-8A45-56B993D35F5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$B5AF065A-65AE-4552-9B4D-1EDF42C7931A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa56dcb0002faa04710135fff394e601e7d30b8e","datavalue":{"value":{"time":"+2012-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1762352$225C52EF-0C51-4BE2-84A3-1D8A97D992C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a479a13807461d45d48d68b4cdff23345eba4fb0","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1348524112","type":"string"},"datatype":"url"},"type":"statement","id":"Q1762352$A39EAFFE-43EB-4408-AFA2-0284ADCFFFA6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c0bc781823a6b7bc6acbd28b3d0169c32eda30e8","datavalue":{"value":"The paper is devoted to the study of structures of the form \\((N,M)\\) where \\(N\\) is a countable recursively saturated model of Peano arithmetic PA and \\(M\\) is its cofinal submodel. A number of results concerning the variety of first-order theories and isomorphism types of pairs of this form are proved. Two new isomorphism invariants for such pairs are identified. Continuum many theories of such pairs with the fixed greatest common initial segment of \\(N\\) and \\(M\\) and fixed lattice of interstructures \\(K\\) such that \\(M \\prec K \\prec N\\) are obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762352$4A38E5F1-C3B9-49C1-94C8-3104557D1E86","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$8DD0B7A8-107F-4F92-A07E-C9467CFE59AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762352$247B2D1B-B52D-4938-9156-56A3356B09CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8740ccae784219f2ad65d70cf599bb39ea94d57a","datavalue":{"value":"6110272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762352$894748E2-E3F6-4B64-9997-EFFD0B2AB34A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881b59035d29df92f521fb7f6c93516b972baeb","datavalue":{"value":"models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762352$9A0F21E2-48A2-4D16-8E22-C0BBCA99413E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69ccad85f2592d0927230fbeb6bb9c0a505d3acf","datavalue":{"value":"elementary pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762352$F984D7F1-458A-48B7-8A13-6FD7C31ECC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd5a8b12f675644d7653d0a8817ae2f5b6abe2ba","datavalue":{"value":"cofinal extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762352$6E64244A-B45E-429F-9BAB-AD8B27A09B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ec59c5b1bb9e4cd77cc696b9efa6551305dac4","datavalue":{"value":"recursive saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762352$71387D16-0815-4BE9-920F-46B453AE43E6","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":"Q1762352$6B7E4F09-9DC8-4423-8E65-1FD4B7FAF35E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bb1a44b0c5f738498e515ee80a6b535a181c461","datavalue":{"value":"W1988006539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762352$BA570E96-E5FD-4C9C-BB39-68A5658B5FA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e92184c86108f788f748da3beba1449da2ca1765","datavalue":{"value":{"entity-type":"item","numeric-id":4366132,"id":"Q4366132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$5102CCE6-6E3D-48D5-B348-287E7BEE1DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0d222c73bbc1bf17ebdc2d7706412c11111806","datavalue":{"value":{"entity-type":"item","numeric-id":4798210,"id":"Q4798210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$4B637240-E38E-48DE-87B3-93AF0FDB6C79","rank":"normal"},{"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":"Q1762352$34AD571F-BD0C-45C5-9C78-40A913CF3E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe96ad167de767ed78bb84038dc899b455e4e39c","datavalue":{"value":{"entity-type":"item","numeric-id":4135504,"id":"Q4135504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$485C059F-9931-40A4-836D-8178605B6708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efba22d95212a18dc7f3517c14eb66d04c5f8a34","datavalue":{"value":{"entity-type":"item","numeric-id":636338,"id":"Q636338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$94D9EFB4-06F9-4A14-BA80-2F56C23D504D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc655957845557e913551b1da587d1754bae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4138726,"id":"Q4138726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$464E9FD6-469B-493B-A07B-F5AA12E3ECCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c422aa4d28a64aebf9e6e840a2b2e17aa39a7b6a","datavalue":{"value":{"entity-type":"item","numeric-id":2266714,"id":"Q2266714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$174362DF-2538-4A57-9DCA-931F49388614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"335340a569f4ac93d33c219fc5ecfd9165d0c6e8","datavalue":{"value":{"entity-type":"item","numeric-id":3822164,"id":"Q3822164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$19A1E590-4FE8-4DDE-B8A3-E0D58B4677D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cff22b6aae3e669a55767d96cc20ebdc7eaf055","datavalue":{"value":{"entity-type":"item","numeric-id":701750,"id":"Q701750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$86FA6B35-EA73-4741-9DBD-2CBF0BE32F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa017fe34c43629e8327944c5909a645d6fa220","datavalue":{"value":{"entity-type":"item","numeric-id":4882388,"id":"Q4882388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$D13C290E-AEA8-46BE-A20B-2CF409E8CC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98381bacec69c0a242dd375ba42138ddce746fa2","datavalue":{"value":{"entity-type":"item","numeric-id":3507862,"id":"Q3507862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$81EF77E6-D332-44B7-BF8A-A9EFFAF5E391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113307d81600e88c068b525a517fd1ae8a494de6","datavalue":{"value":{"entity-type":"item","numeric-id":1314639,"id":"Q1314639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$A3BBE752-6783-41FF-B1A2-B15D1CA1D887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399370e3cbc369da9b853d0435a8cc9f768a662a","datavalue":{"value":{"entity-type":"item","numeric-id":1913628,"id":"Q1913628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$B324AE83-920E-42D0-B3D4-6237862A52A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e7069bd5bddd12844c15b7d134c0e326a682","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$3ABDFC53-5541-4465-BB59-C9CE0F8C1A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e62186f1e6ab47e54ed4b7b8532fdf1c7a9f25c","datavalue":{"value":{"entity-type":"item","numeric-id":424574,"id":"Q424574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$28879EFF-F7C4-42D7-800F-9F398416A546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$70E9525C-2AE0-440E-95E4-E1419DE6E25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2107626ee4027f832d969a9a96198fcdf9001fc","datavalue":{"value":{"entity-type":"item","numeric-id":1161743,"id":"Q1161743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$6FC365CE-FAC0-47A2-9613-A92822BBBAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a70cb266dc182670b7d6433a0736bc7b486afd9d","datavalue":{"value":{"entity-type":"item","numeric-id":1173087,"id":"Q1173087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762352$E633E7D7-3861-4A92-8FAC-BC4F89081898","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":"Q1762352$D68B1E1D-187E-4D63-AC4C-E03D07D28693","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ccab0afac6389b15440846146a0189030c5b3df","datavalue":{"value":{"entity-type":"item","numeric-id":424574,"id":"Q424574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22809107c85aeca372e31ee7ab09ec0fada49285","datavalue":{"value":{"amount":"+0.783362090587616","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":"Q1762352$5C370B82-E777-4826-A988-A4122AB0CE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b780b49ac8fa008bd9e97f91814dea1d240e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3066799,"id":"Q3066799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d731056eb35044ad8c64e4d45799cd0f24c9391","datavalue":{"value":{"amount":"+0.7617063522338867","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":"Q1762352$91E3C464-1A3B-4A0F-8DB2-35677456C15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a546714bd1c834e4d3d51a6cbbd1852452328a0","datavalue":{"value":{"entity-type":"item","numeric-id":5404159,"id":"Q5404159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7c49d382efc2efbc32978038f0454f799aa5a8","datavalue":{"value":{"amount":"+0.7602752447128296","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":"Q1762352$80DADBB9-0A84-4D58-8584-D83F358F1072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91353cc539935ae93b91eb4a035f5aab92a47d19","datavalue":{"value":{"entity-type":"item","numeric-id":3727997,"id":"Q3727997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c22a1a4d808bc3ba26d28f49510a6acc167f75","datavalue":{"value":{"amount":"+0.7597127556800842","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":"Q1762352$D6198536-4E82-476B-953C-0FCD304D994B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8252d64ebb317299d29035fef9cb00e08a47eaaa","datavalue":{"value":{"entity-type":"item","numeric-id":1182708,"id":"Q1182708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ddb4f85e83fb773eba1571427d6796cb42fa488","datavalue":{"value":{"amount":"+0.7590130567550659","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":"Q1762352$8F0BD61D-BD12-43B1-854F-0252233E222F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On cofinal submodels and elementary interstices","badges":[]}}}}}