{"entities":{"Q1928482":{"pageid":1939224,"ns":120,"title":"Item:Q1928482","lastrevid":43427833,"modified":"2025-07-25T18:06:02Z","type":"item","id":"Q1928482","labels":{"en":{"language":"en","value":"Countably categorical theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6121539"}},"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":"Q1928482$B0B944E1-2CA0-45A6-87DD-5EF2BD47C24D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"299b671979ac7ac855cfad2f937dfb5d1e0fe722","datavalue":{"value":{"text":"Countably categorical theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1928482$ADF434AD-7EF8-4FD2-8143-EB50F5D75C08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfa7c7ab0a4b6a3315a0915f83454f330d76b9f2","datavalue":{"value":"1272.03144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928482$7BD242BF-DA52-4EAB-A44F-E7795D718E54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02119532e8ee3b82864ea31300ae0b38862cab37","datavalue":{"value":{"entity-type":"item","numeric-id":431668,"id":"Q431668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928482$E18E6BD8-5D9A-4BF9-9F9E-F114141AF27D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928482$26D01BE9-B7F5-4152-9FC2-30DAE6C19028","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54c3aea5017a2b930b738e94f94c92304e5e4ff2","datavalue":{"value":{"time":"+2013-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1928482$1DA7C6F8-D021-4110-AC5A-FA5B468CF733","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"94be1d8057bdff103ec24c95347d5574d7edcc05","datavalue":{"value":"The author refutes the following conjecture of Ershov about representability via linear orders:   If a theory \\(T\\) has an uncountable model that is \\(\\Sigma\\)-definable in \\({\\mathbf H}{\\mathbf F}({\\mathfrak M})\\) for an algebraic structure \\({\\mathfrak M}\\) with a simple theory, then the theory \\(T\\) also has an uncountable model that is \\(\\Sigma\\)-definable in \\({\\mathbf H}{\\mathbf F}(L)\\) for some dense linear order \\(L\\) (see [\\textit{Yu. L. Ershov}, in: Handbook of recursive mathematics. Vol. 1. Recursive model theory. Amsterdam: Elsevier. 235--260 (1998; Zbl 0940.03043), p. 256, bottom]). Here, \\({\\mathbf H}{\\mathbf F}({\\mathfrak M})\\) is the hereditarily finite super-structure over \\({\\mathfrak M}\\), and `simple' has its own long definition.   By Ershov's work and the author's improvement, the task boils down to constructing a decidable countably categorical theory of finite signature which has no decidable model with an infinite computable set of order indiscernibles. The construction is carried out using the Fra\u00efss\u00e9 limit and the convolution of theories -- tools that expand domains, signatures, and theories gradually to achieve the desired result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928482$212447E5-B002-4697-848C-D2272A3B70F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928482$7F13BFFC-A6A2-4D66-A2B6-AB633EAB4E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928482$F2338C65-51E4-4E92-8F00-F1788E914908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928482$00EC4944-42BE-4F7B-B07C-BADA7595748E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928482$794A0556-6327-453A-AFA5-E5E8DCB81D85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e4379052ea0378a1c5864e0d25450b76f1d6190","datavalue":{"value":"6121539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928482$7663732D-6FBF-4F23-A4D2-B38AAFDB4736","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f7c3719a7d030f0681589286f20e9349a22dd2e","datavalue":{"value":"Ershov conjecture about representability via linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928482$8456B46A-7AFD-4FFB-8B59-EADA62C38997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86891df2c64c418d041cac5b7c11ec6b3530884a","datavalue":{"value":"indiscernibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928482$37EA751C-56FF-40C4-BE3A-C6E14253B058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c11937882b023d8d3e20e69b19f3d5ad438d0e44","datavalue":{"value":"Fra\u00efss\u00e9 limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928482$CB10ED03-D82C-4E9D-B95D-6191DDE08B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b686bcb417a0c636aaede7d7e672c8c4a6616742","datavalue":{"value":"countably categorical theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928482$42D8C689-3C9C-45D6-8D97-B498FDA5CA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed13a4aec24f54e32c5f25dac34c6d78b1c24a1","datavalue":{"value":"decidable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928482$1B19F2C6-590B-45F2-9F73-9DE3AD065907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad42cf61fa4c957578962d9bf1adc9089584c594","datavalue":{"value":"decidable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928482$3CBA6730-8391-4DBE-AC6D-81024BFCE034","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":"Q1928482$8B5DAC90-D1FF-45F7-AA95-DDECB15CAAD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ce4788558648fc6120eea3a83dbb35ec2b6e2dd","datavalue":{"value":"https://doi.org/10.1007/s10469-012-9187-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1928482$B4410C6B-4526-44A7-8CF2-4008ADACE907","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8be14d19ff2aa769d29ee1802407533f4e870525","datavalue":{"value":"W2052645577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928482$1EFF23F4-FA47-4DE3-A501-8B2FF40CE149","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eacb5479bd41aaa126572a8c837cd47787d73f61","datavalue":{"value":{"entity-type":"item","numeric-id":4249360,"id":"Q4249360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928482$40AB2B0F-CDBA-461D-ACAA-58AAF2197F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928482$1370D45D-C26F-4108-AE55-4048E2BD0AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31eadadadb05bdd0bd4b4b6c4166373be9eb0fa2","datavalue":{"value":{"entity-type":"item","numeric-id":4935938,"id":"Q4935938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928482$D71369FB-0F29-4E1B-88F6-C70327FF00DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3241da2244cc0cc2d75da7e6d11dae8550d39270","datavalue":{"value":{"entity-type":"item","numeric-id":3083128,"id":"Q3083128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928482$382BDADA-6E1E-4BC2-A171-396A0B43F6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4047fedc4dee1533aef655db6fea32fc9d6df219","datavalue":{"value":{"entity-type":"item","numeric-id":3674635,"id":"Q3674635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928482$9ED2712F-3A74-4F4A-B9A2-42D574889115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f32578f7c6ca9ad2769180788393248d4a110e","datavalue":{"value":{"entity-type":"item","numeric-id":4451652,"id":"Q4451652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928482$F2EAFF7C-C89A-4A13-A234-668EF5133D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a564f19618aa010e995eb9e94d8b55ad8cf1c8d","datavalue":{"value":{"entity-type":"item","numeric-id":4795523,"id":"Q4795523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928482$4309FA03-1F4B-43EF-A6D6-A0E4D5731208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e717f620f220b444bc28ce4220750ae1817c89","datavalue":{"value":{"entity-type":"item","numeric-id":4664636,"id":"Q4664636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928482$1D9EF902-F28C-4463-80EB-FEF8B88EB2A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af430edb4ecf88f61b9c4f761a527f80f52f9c2a","datavalue":{"value":"10.1007/S10469-012-9187-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928482$72AC432E-4C56-4809-A3BA-24CBC898715E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268c75ea3beaae76ea78c95547b19be3553b3fc1","datavalue":{"value":{"entity-type":"item","numeric-id":4664636,"id":"Q4664636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb798add78027f9a02e3a49a02fd107433189fb","datavalue":{"value":{"amount":"+0.7326062","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":"Q1928482$5E9A537C-CBDC-4BF0-AB82-1BB6A5FE9583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b48bf92ecbe0089f65a64ef52cc5de4e03f7cf9e","datavalue":{"value":{"entity-type":"item","numeric-id":527333,"id":"Q527333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ad120304dfd6fe6f6ffb7087c8be694afc42b9","datavalue":{"value":{"amount":"+0.7277257","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":"Q1928482$64D1C192-A85B-4B2D-AEBA-90CF7EC44A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e129a4b19edc81a56a35a7bd892520d124e2ae99","datavalue":{"value":{"entity-type":"item","numeric-id":5251361,"id":"Q5251361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12039b4b65eec51679214641a323dbdf4b6fbac0","datavalue":{"value":{"amount":"+0.70492035","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":"Q1928482$359143EB-4EDA-4F96-B6BA-864C12125BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada7b8915b39c44e7731d5a496cfbf0651cba5d2","datavalue":{"value":{"entity-type":"item","numeric-id":606059,"id":"Q606059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b92078a8e44cec6d3a61a5d4fed2d69b4588fae","datavalue":{"value":{"amount":"+0.70115197","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":"Q1928482$D08DA87B-A921-4795-97F6-D1E430D31895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d15a8a10c4cefe50f6987a09ecca3753483d9606","datavalue":{"value":{"entity-type":"item","numeric-id":964492,"id":"Q964492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b63d9d4eb5a0510904634557618a84acf50afd","datavalue":{"value":{"amount":"+0.69853455","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":"Q1928482$3AB4F7B6-4B84-4556-9F01-9A60BA50FDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d072b553237f7876ecb623c91251ab0299a08d75","datavalue":{"value":{"entity-type":"item","numeric-id":943155,"id":"Q943155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39493895f9cc6ed475a78ae8918336892179f35","datavalue":{"value":{"amount":"+0.69523126","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":"Q1928482$CE9F442E-37EA-40F7-AEEF-EF6D9CD3CF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf167b6f10052c66b9de91e9ceffb19f78db858","datavalue":{"value":{"entity-type":"item","numeric-id":4677695,"id":"Q4677695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ab4d7cc95d4cb93f1ed9d0a5e1f3ddd3b7ae75","datavalue":{"value":{"amount":"+0.69442445","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":"Q1928482$05D95909-B283-4BA2-A57F-D11F87E38DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"784b1a63bc87f532a815397e525767bb2a1c6890","datavalue":{"value":{"entity-type":"item","numeric-id":3218108,"id":"Q3218108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b39a0e019dca3f557b38afbb572642b1cc9830a","datavalue":{"value":{"amount":"+0.6926028","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":"Q1928482$B08ED70C-B2D9-47F8-90A1-72EC43C5CB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f08b26c021988d5202d3b69a9be409859f95f210","datavalue":{"value":{"entity-type":"item","numeric-id":5937823,"id":"Q5937823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11402f093155a773bb3cf8d56176be9902810ca5","datavalue":{"value":{"amount":"+0.6914307","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":"Q1928482$2D8578E1-BD38-4F1A-B4DE-81AACE5EDB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78ebcb9d8d753fe2caf94ad096487d53c8235c4","datavalue":{"value":{"entity-type":"item","numeric-id":1106846,"id":"Q1106846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8487bd58bdf5c7a4341d5599fcb20e3249b0490","datavalue":{"value":{"amount":"+0.6911224","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":"Q1928482$343A880D-418E-4186-9B3D-E33E767EF415","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1928482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1928482"}}}}}