{"entities":{"Q1644487":{"pageid":1655228,"ns":120,"title":"Item:Q1644487","lastrevid":72420234,"modified":"2026-04-14T04:47:05Z","type":"item","id":"Q1644487","labels":{"en":{"language":"en","value":"Strongly minimal theories with recursive models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6892854"}},"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":"Q1644487$932B40FB-4F24-406D-87FF-9994E1183CFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b6d66deb7a95044482cb6889a10d37eef4b0e86","datavalue":{"value":{"text":"Strongly minimal theories with recursive models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1644487$3DF5F270-D604-4E09-A71B-72E2B507CB52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98419c602a4868112e157c90f1b32f5bfb333ab3","datavalue":{"value":"1437.03127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644487$0794063E-1E14-4959-A007-6C92FCC86F47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27b44e11e4dd85dae2cea76fcbf69a6d92ab03eb","datavalue":{"value":"10.4171/JEMS/793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644487$100577D4-EDB2-438E-8CAA-477D3C62FF41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d4e8d0d40de5d64578f28267ba69171aa96f9a2","datavalue":{"value":{"entity-type":"item","numeric-id":375900,"id":"Q375900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644487$34A1E6E4-2C4B-4339-B73B-7636B61ECA15","rank":"normal"},{"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":"Q1644487$F67B95BF-F4B3-4672-8657-307049F4031D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"26780b1287f0091cd789fa2d15704011bf65df86","datavalue":{"value":{"entity-type":"item","numeric-id":171275,"id":"Q171275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644487$426778DC-A1DE-4F20-824C-7A2426795D30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca3716d36bd16790c99d66881e462c7643dd3874","datavalue":{"value":{"time":"+2018-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1644487$17E0B48F-2ED1-4F68-827A-2915E9237E68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7b43568c59db0146640ebe9565eb5e4bcc13741d","datavalue":{"value":"A complete first-order theory \\(T\\) is called strongly minimal if for every its model \\(\\mathcal M\\) and every formula \\(\\varphi(\\bar a,x)\\) with \\(\\bar a\\) in \\(\\mathcal M\\), the set \\(\\{b\\mid\\mathcal M\\models\\varphi(\\bar a,b)\\}\\) is finite or co-finite. A \\(B_n\\)-formula is a Boolean combination of \\(\\exists_n\\)-formulas. A \\(B_n\\)-type is the set of \\(B_n\\)-formulas in a complete type. A model \\(\\mathcal M\\) is \\(n\\)-saturated if for all \\(\\bar a\\) in \\(\\mathcal M\\), every \\(B_n\\)-type \\(p(\\bar a,x)\\) consistent with the type of \\(\\bar a\\) is realized in \\(\\mathcal M\\). A model \\(\\mathcal M\\) is boundedly saturated if it is \\(n\\)-saturated for all \\(n\\). A dimension of a model \\(\\mathcal M\\) is the size of a maximal algebraically independent set in \\(\\mathcal M\\).   The main result of the paper is as follows: if \\(T\\) is a strongly minimal theory and its \\(\\exists_{n+2}\\)-fragment is \\(\\Delta^0_n\\) uniformly in \\(n\\), then every countable model \\(\\mathcal M\\) has a computable copy. In the proof, the following four cases are considered separately: 1) there exists \\(N\\) such that \\(T\\) is \\(\\Delta^0_N\\) and \\(\\mathcal M\\) is \\(N\\)-saturated; 2) \\(\\mathcal M\\) is not \\(N\\)-saturated for some \\(N\\), and \\(T\\) may be arithmetical or not; 3) \\(T\\) is not arithmetical and \\(\\mathcal M\\) is saturated; 4) \\(T\\) is not arithmetical and \\(\\mathcal M\\) is boundedly saturated but of finite dimension. The main result, relativized to \\(\\emptyset^{(3)}\\), gives the following   Corollary: If \\(T\\) is a strongly minimal theory with a recursive model, then every countable model of \\(T\\) has a \\(\\Delta^0_4\\) copy.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644487$C4DC1D7E-1971-43E9-BAF8-2E4ECD9D79BA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1f73afd33192153e94113807fdc62b87cbaa1ee","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644487$0A8844EA-1E36-4555-A5E1-CA8DE0515053","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644487$FA640A6B-B53E-41CC-9181-B1E93B041A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644487$7CD46D97-6D1D-4694-9257-C7A455D38664","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e08f93e3b6f13ceb2444ff34bfc94a513490a436","datavalue":{"value":"6892854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644487$9CFC9975-7336-4C03-B089-99447C69CC14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47957f0664e598699132a96ae9209b3e243af98e","datavalue":{"value":"strongly minimal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644487$C01015C5-F487-4E59-86FF-6D109EEB769B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca664ce575ed4a36c1a5e7824ec84127260f45a7","datavalue":{"value":"recursive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644487$C37F4F2E-3A50-44A4-ACE7-683893784C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0898223c5ee46ab46d14d5074537fca200eca9e4","datavalue":{"value":"computable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644487$499BFEB4-513C-4321-8ACD-6FC3DA5A0015","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":"Q1644487$75F28720-97D3-42AC-A567-36F36696B143","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90fc9eb6828e0036949db4ecc7a49747a438177c","datavalue":{"value":"https://doi.org/10.4171/jems/793","type":"string"},"datatype":"url"},"type":"statement","id":"Q1644487$9A8D2AE4-08E1-498C-BE03-35A2D946A388","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0f130c0c6cd32de334dee5f28b91eb2dd5e694d","datavalue":{"value":"W2803365029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644487$4101FC0C-7196-47F2-ABAD-2DA372EE97F5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2cb768b50d6a06e7dbe00e00f22d841bf5741752","datavalue":{"value":"Q129796069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644487$C160BDEB-01C5-4F7C-849C-C858852E2612","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e936e8a4f9c652321a1153f42608d7c10ced8b6b","datavalue":{"value":{"entity-type":"item","numeric-id":5308141,"id":"Q5308141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6715ba9bef474fdd3487ecde8ff974ce44fbb883","datavalue":{"value":{"amount":"+0.8377972841262817","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":"Q1644487$014FCCBA-DEF3-46D7-BE73-372355C4F883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b8326c83d9be67a4d6cf9b0b70511b29893028","datavalue":{"value":{"entity-type":"item","numeric-id":2885255,"id":"Q2885255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad3b9998b43829ce7e32a3f4104ac5a7f92c790","datavalue":{"value":{"amount":"+0.8263279795646667","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":"Q1644487$9F9DBFF1-2758-4B4D-B035-B23A7DF31AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb1078025ec3bf110497c6dd8411bc822007563","datavalue":{"value":{"entity-type":"item","numeric-id":954212,"id":"Q954212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8405796652180ef4f8d7db1809c9c337511d2d","datavalue":{"value":{"amount":"+0.8018186092376709","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":"Q1644487$BC819E72-8864-49D0-A74B-88E9C97C770F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b227148c62ff7fe2efc381c173e4514120503fcc","datavalue":{"value":{"entity-type":"item","numeric-id":701304,"id":"Q701304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da7bd42db0accc2c1d818685cd069782283a9e49","datavalue":{"value":{"amount":"+0.7870222926139832","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":"Q1644487$679DBD81-2D08-4672-88ED-AE04A5EFD69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10abc37cf7406115cfbbcf12329dd73434dfd378","datavalue":{"value":{"entity-type":"item","numeric-id":638500,"id":"Q638500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443018b400c3c20e4a2a1cb687d4655f5704f25d","datavalue":{"value":{"amount":"+0.7864637970924377","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":"Q1644487$E9DD9B61-61EA-4C04-B0C8-084C666F942F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strongly minimal theories with recursive models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strongly_minimal_theories_with_recursive_models"}}}}}