{"entities":{"Q4249362":{"pageid":6278963,"ns":120,"title":"Item:Q4249362","lastrevid":108459203,"modified":"2026-11-06T13:44:33Z","type":"item","id":"Q4249362","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302876"}},"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":"Q4249362$A35453D4-8FCC-4B3C-9DFA-299EED364E63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f602bf3cdca4ea3c3d487618a002bb7a4583bd7","datavalue":{"value":"0933.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249362$0CE963B8-2F6B-4E5B-9BB9-00C166796660","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"396a489414c9e9e8aedfbc8af9c03c0dcd267f27","datavalue":{"value":{"time":"+2000-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249362$B3071D09-67D9-41E5-A3E6-4740E2332626","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249362$CF376E01-9A69-427F-93E7-36CFA846AF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249362$45E5C669-9387-4C9D-BEF3-DE5DA69BAFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249362$66EE2320-6585-45DB-839D-C7A5CE639C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249362$E50DF4ED-BC3D-4272-AFBA-0AE831B4133D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249362$2C49EE50-B8EF-41D6-9526-CD7965AC9B2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0565b7ed696da30d7dfa148680db5c94945742f","datavalue":{"value":"1302876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249362$7C85527D-276F-4CD4-9585-42F3EA2C4293","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39055a0fb4cc819949398d8df65c20c696526571","datavalue":{"value":"models for highly non-recursive theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249362$04162247-1C16-4D8E-92FE-F8002A49F068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df04a3a1348f59c3d3f8b059c9e564808948981a","datavalue":{"value":"dynamic storage allocation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249362$C30495B6-6C24-4ECD-8FBD-F1A1973DF8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc76b4e835da5e8e6c6d4e56c61db27762388e6","datavalue":{"value":"jump degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249362$0195F246-61DF-4545-A26D-A477EE893E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeef3be5f76c6f08f5c15db36e22d5423bbcb365","datavalue":{"value":"workers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249362$B782326E-B72F-4D4B-B667-3180A9CD39DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"948cc8cdb885a280b485e2da2b71f5dbbc318ce4","datavalue":{"value":"Turing degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249362$91E05389-F538-4339-A746-4F8E5BD3AA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"738f04de2093a506010a9d70e4f24e008b9101d3","datavalue":{"value":"atomic diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249362$D48FF779-E0F7-4DB3-9F11-AD7C82D53FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0b5bad5e5589e0fccdff5029a02fd4e6b195344","datavalue":{"value":"degrees of isomorphic copies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249362$55FCE47A-A731-46C7-A17B-04BBED7326B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d96c334b8db1c6f5db7dc0c133ba352ae693af1","datavalue":{"value":"degrees of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249362$64D10E8A-A0C9-420D-9804-F40590099DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881b59035d29df92f521fb7f6c93516b972baeb","datavalue":{"value":"models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249362$5DFE61AD-4D2E-4F41-B71A-0B268F3B35C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca664ce575ed4a36c1a5e7824ec84127260f45a7","datavalue":{"value":"recursive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249362$EA54791D-CF28-48DA-878A-0F6E499328F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa8e092697f26e8493ed1bdb5b6bbe79c6f36bf","datavalue":{"value":{"entity-type":"item","numeric-id":494651,"id":"Q494651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249362$F60E3796-2D1A-4C5A-ACB6-785DA4FE3A5E","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":"Q4249362$EF2DFA79-44D5-4E2C-838D-EC58D81CB42C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cf0408bc04b17544bd9acdd03bc60f6aeda1339","datavalue":{"value":{"entity-type":"item","numeric-id":3762299,"id":"Q3762299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79a981888f42d38fcc3a2f879b60ae7a507183e0","datavalue":{"value":{"amount":"+0.8466756939888","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":"Q4249362$AAE1B278-28AC-432B-AF55-AE5DE749F14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"380c6adaeaab363fcbbec9215e7d52a4175f5115","datavalue":{"value":{"entity-type":"item","numeric-id":3222194,"id":"Q3222194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cdd80c8a8a0ea0f1cb20906d56d93be69b4f753","datavalue":{"value":{"amount":"+0.793208658695221","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":"Q4249362$E312D302-D847-4B06-9B87-1635580908E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1bf03cca20ea7ffb2c2122e32432fc5e4c8e5f","datavalue":{"value":{"entity-type":"item","numeric-id":2839320,"id":"Q2839320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3245a23b1154a916defaf107de3d310ac6435a3d","datavalue":{"value":{"amount":"+0.7882699370384216","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":"Q4249362$4DDAB128-BFB1-45A4-B8AD-4C4BB28C7B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b894a459c97000aad006c6c423529a254318071","datavalue":{"value":{"entity-type":"item","numeric-id":3987580,"id":"Q3987580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31b8ac756e8ac57c202256608156119ccd53a6c","datavalue":{"value":{"amount":"+0.7851803302764893","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":"Q4249362$3639DB13-4862-48C1-9E2F-8C4C68179F95","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9cac6172b6bb64176245e3642d15427817873c9d","datavalue":{"value":"The languages to be considered here are recursive, and the structures have universe \\(\\omega\\). Theories, atomic and complete diagrams of structures, etc., are all identified with subsets of \\(\\omega\\) through G\u00f6del numbering. The Turing degree of a set \\(X\\) will be denoted by \\(\\deg(X)\\). We shall often identify a structure \\({\\mathcal A}\\) with its atomic diagram, \\(D({\\mathcal A})\\). Thus, we may write \\(\\deg({\\mathcal A})\\) for \\(\\deg(D({\\mathcal A}))\\), and we say that \\({\\mathcal A}\\) is recursive if \\(D({\\mathcal A})\\) is recursive. It is natural to ask questions such as the following: (1) What are the degrees of isomorphic copies of a particular structure? (2) What are the degrees of models of a particular theory? We consider the set of degrees of isomorphic copies of a given structure. Let \\[ DI({\\mathcal A})= \\{\\deg({\\mathcal B}):{\\mathcal B}\\cong{\\mathcal A}\\}. \\] For most structures \\({\\mathcal A}\\), \\(DI({\\mathcal A})\\) is closed upwards. Thus, if \\(T\\) is a consistent theory, and the models of \\(T\\) are like most structures, the set of degrees of models of \\(T\\) will be closed upwards. For a complete, consistent theory \\(T\\), the Henkin construction yields a model \\({\\mathcal A}\\) which is recursive in \\(T\\) -- even the complete diagram, \\(D^c({\\mathcal A})\\), is recursive in \\(T\\). However, for some theories \\(T\\), there are models of degree well below \\(\\deg(T)\\). Constructing such models, and determining which degrees are possible, can be delicate. Some general facts about \\(DI({\\mathcal A})\\) are stated in Section 1. In Section 2, there is a discussion of structures having ``\\(\\alpha\\)-th jump degree'', where \\(\\alpha\\) is a recursive ordinal. Many of the results on jumps involve structures \\({\\mathcal A}\\) which encode a set \\(S\\) in a special way, so that, for example, \\[ \\begin{aligned} DI({\\mathcal A}) & = \\{\\deg(X): S\\text{ is r.e. relative to }X\\},\\quad\\text{or}\\\\ DI({\\mathcal A}) &= \\{\\deg(X): S\\text{ is }\\Sigma^0_\\alpha\\text{ relative to }X\\}.\\end{aligned} \\] In Section 3 there are some results on degrees of models of arithmetic, including the result of Harrington for which he introduced the method of ``workers'', and results of Solovay characterizing the degrees of models of various completions of PA. In Section 4, there are some results on existence of recursive models, including a result of Lerman and Schmerl on models of \\(\\aleph_0\\)-categorical theories. For some results, the proof is sketched, possibly in a special case, or there is a hint about the main ingredients of the proof. For other results, the proof is not described at all. For the entire collection see [Zbl 0905.03001].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249362$BC02DD73-71D1-47B2-A944-245701F22FAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249362","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249362"}}}}}