{"entities":{"Q1184717":{"pageid":1195466,"ns":120,"title":"Item:Q1184717","lastrevid":70932636,"modified":"2026-04-13T18:19:47Z","type":"item","id":"Q1184717","labels":{"en":{"language":"en","value":"Sufficiency conditions for theories with recursive models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 34917"}},"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":"Q1184717$18F2652A-CE20-4F7F-A009-A56D79632463","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f03731ba1331c2a5e4e1bdb0791c418ee408b5a","datavalue":{"value":{"text":"Sufficiency conditions for theories with recursive models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1184717$AFF09D5E-DF2E-4D06-8440-54A78C0F7A2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2bde616d9827e135eb77843ec936b860f8bbd36","datavalue":{"value":"0754.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184717$6CDCFE51-DBDC-4B24-A9E9-2D2AB8487A90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6eac6584cb246a26079461a0008cb1a4fde172be","datavalue":{"value":"10.1016/0168-0072(92)90040-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184717$7F39FE70-B184-446A-880B-FA0EC37A03E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3484bed4499370289d67c57f64662177e3c4cfb","datavalue":{"value":{"entity-type":"item","numeric-id":1184716,"id":"Q1184716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184717$4F111397-937A-4964-AAE5-1C589E349EFF","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":"Q1184717$884CE302-91E0-4A22-A5FE-F66A7E960A5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-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":"Q1184717$CB6589AE-8EF9-4066-876A-1F0747504633","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"270530a1f959cbacba6d71f50f459b3032a16182","datavalue":{"value":"A structure coded as a subset of \\(\\omega\\) is called recursive if its open diagram is recursive. The paper at hand examines decidability conditions which guarantee that a theory has a recursive model. The fairly complex model-theoretic conditions are based upon the Ash-Knight [\\textit{C. J. Ash} and \\textit{J. F. Knight}, Ann. Pure Appl. Logic 46, 211-234 (1990; Zbl 0712.03020)] `\\(\\alpha\\)-friendly' systems, and the technical device used in the construction is Ash's recursive labelling systems (in the metric space setting) \u00e0 la Ash [\\textit{C. J. Ash}, Trans. Am. Math. Soc. 298, 497-514 (1986; Zbl 0631.03017)]. An application to making complicated recursive linear orderings whose theories have degree \\(\\text{\\textbf{0}}^{(\\omega)}\\) is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184717$9E9614B7-21A5-433E-A361-10287A756B83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184717$3415AAE1-22A6-401C-A3C6-CA6AFA8EF86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184717$7EE95DA9-5B7C-4FAF-B63D-5423538D7B79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3622117d3bac915ba0b40a397f2f68b03f802fcc","datavalue":{"value":"34917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184717$D395C146-2BB4-4279-A542-D9B1845B73D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aec5a5ea5f2dac706788876f1eb2b86354f92cb","datavalue":{"value":"\\(\\alpha\\)-friendly systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184717$BF3B6EC8-DF6A-4FAC-B224-6FE6C1BB11B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78a12c2a5b522fbf4bfd6e30663c5cd0508ff99","datavalue":{"value":"decidability conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184717$5C88D98A-A456-4827-83E8-1F4B00818A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b11d01f155b9d799c8ffe1fc5e6a1e5d8ab6a63","datavalue":{"value":"recursive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184717$397186CC-A532-4735-9DF9-5077C731BEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaec7d8755f4a75000c464acdbe497b2aacb719c","datavalue":{"value":"recursive labelling systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184717$D29E8523-F4D5-486D-A355-EAB836846813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f0e4d561345f2ef7ba7f93b734cbbfad2d7b5cd","datavalue":{"value":"recursive linear orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184717$7DC9C71C-169D-4611-AEED-450AECB2752C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8055ef4c08baf7aae068108b5a3771ed10ad54de","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184717$B6281A01-795B-446D-A5E1-C314BE6E04E5","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":"Q1184717$3B425B2C-7902-4A2F-AEF4-8A621F9103DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de4e248d4a3111ecc4507389a9a64504aca9ff7d","datavalue":{"value":"https://doi.org/10.1016/0168-0072(92)90040-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1184717$014721C5-7A65-42F8-9547-B6595BD57EEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a72fc2e4bc89f86b9ac18dab7b864a4c9e8ad17f","datavalue":{"value":"W1997083664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184717$592DFEFC-9364-4EA0-B885-FE2DED825128","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"758b3d841e23e6cc888b9ebfa138ba497030edc0","datavalue":{"value":{"entity-type":"item","numeric-id":1094410,"id":"Q1094410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184717$2C087AE6-7BA4-401D-83D8-AEA3D4285F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1e438bac43bea1246a7f2dfc3538558c1c1287","datavalue":{"value":{"entity-type":"item","numeric-id":3767329,"id":"Q3767329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184717$C7576F95-03AE-4E0D-B7BF-0F824C7E8236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12465133a544550ec8800578943dc3d8c050d028","datavalue":{"value":{"entity-type":"item","numeric-id":923075,"id":"Q923075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184717$C564739D-B832-4465-B82E-5BA00AFECC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184717$82BD1CB1-B9D8-49DC-BF53-E7903639DF35","rank":"normal"}],"P1643":[{"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":"7a83fadaee8456bef97497ff27d93f66e089faeb","datavalue":{"value":{"amount":"+0.7679960131645203","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":"Q1184717$678FB5D1-3264-4E3D-830A-5D29D0494A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a499ca982a890a0c3c51418b3f51777abab03f7","datavalue":{"value":{"entity-type":"item","numeric-id":4381423,"id":"Q4381423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c3aba18d03845e669f4ba2d1b99b2215642481e","datavalue":{"value":{"amount":"+0.7653394341468811","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":"Q1184717$E701EAA3-7C6C-402C-9C65-050D739C18BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2f1f416fac4ddeae28c2539b665a482bdaba85","datavalue":{"value":{"entity-type":"item","numeric-id":923075,"id":"Q923075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9a9140065166ae2a85c16a77b120daa7061987","datavalue":{"value":{"amount":"+0.7582060098648071","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":"Q1184717$BBB0A2DF-7F63-4991-AF1B-C01A7448CE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f2690c1f5a2bd662cdaf73346fb5939da4b8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4312354,"id":"Q4312354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019296867971ab51b5dad05cc4a8f749765eb3f7","datavalue":{"value":{"amount":"+0.7501145005226135","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":"Q1184717$6DC0B659-DB1E-422B-8D04-5ACBA29CBD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ebba0470867e98f5efe70324a5bf4bb3be9a10b","datavalue":{"value":{"entity-type":"item","numeric-id":4249362,"id":"Q4249362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c31560beb9a4b02fee5859fabac58b8ee7ac92a","datavalue":{"value":{"amount":"+0.7476433515548706","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":"Q1184717$F17A6E84-453F-4896-987B-6EE927327338","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sufficiency conditions for theories with recursive models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sufficiency_conditions_for_theories_with_recursive_models"}}}}}