{"entities":{"Q661283":{"pageid":663132,"ns":120,"title":"Item:Q661283","lastrevid":77710790,"modified":"2026-05-06T09:53:55Z","type":"item","id":"Q661283","labels":{"en":{"language":"en","value":"Degrees of isomorphism types and countably categorical groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6005014"}},"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":"Q661283$513AC9B8-6494-427D-A4D8-A704DDEDA0EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf64666c8e9cc5aba5cf0846c9990504908f8cb0","datavalue":{"value":{"text":"Degrees of isomorphism types and countably categorical groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q661283$4BAAB46F-6D32-4312-B4A0-35ABF35B8C0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83089493d96344b70a30e458da02120c440664a8","datavalue":{"value":"1251.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661283$5ECD16AF-5B6B-49DA-B5BE-CA725B3EF54C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661283$3AEBE5A4-4448-45AE-BDBA-D5E8E4BDB12A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c52ba3eabb1b5dda8b2f889cd58a7e4939f1d164","datavalue":{"value":{"time":"+2012-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q661283$7C0CC26C-82C7-4853-89EC-7CFC005DA93B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e1c262f5fd4737c537fb0896fe1bf9c6911393aa","datavalue":{"value":"A countable structure with the universe \\(\\omega\\) is said to be of (Turing) degree \\(\\mathbf{d}\\) iff its atomic diagram has degree \\(\\mathbf{d}\\). By the spectrum \\(\\mathrm{Spec}(\\mathcal{M})\\) of a structure \\(\\mathcal{M}\\) we mean the set of degrees of structures isomorphic to \\(\\mathcal{M}\\). If \\(\\mathrm{Spec}(\\mathcal{M})\\) has a least element \\(\\mathbf{d}\\) then \\(\\mathcal{M}\\) is said to have degree \\(\\mathbf{d}\\); otherwise, we say that \\(\\mathcal{M}\\) has no degree.  The main result of the paper under review is following:  Theorem. (i) For every Turing degree \\(\\mathbf{d}\\) there is a 2-step nilpotent group \\(\\mathfrak{G}\\) of exponent four so that \\(\\mathfrak{G}\\) has a countably categorical theory submodel complete (i.e., with quantifier elimination) theory and has degree \\(\\mathbf{d}\\).  (ii) There is a 2-step nilpotent group \\(\\mathfrak{G}\\) of exponent four so that \\(\\mathfrak{G}\\) has a countably categorical theory submodel complete theory and has no degree.  The author uses the Fra\u00efss\u00e9 method for constructing both series of examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q661283$258A698E-11B4-48A6-8CC6-6E3A5C2776F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661283$79500680-B41D-49A1-BCC3-1BCDB6874CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661283$77E5611E-CA3E-4657-BBF3-546B6647D739","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8de5b1d04d5805fd498c482595dbc0ccaa851973","datavalue":{"value":"6005014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661283$A011C366-9A7F-4610-9F98-442A1FB891B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5b58b97ced8ea2ca338fe1667863b27d3122bc9","datavalue":{"value":"degrees of isomorphism classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q661283$02279287-41CD-4785-A56A-9CE1C661B07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e9090733ab612aa5528c5976be8af3e3129b1cb","datavalue":{"value":"degrees of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q661283$7395E64F-C5D9-45F3-9921-6BFAC61A4CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0faf1001f20ea7b86a3f5650a1eda0d560af72","datavalue":{"value":"countably categorical groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q661283$D6BA8083-F6F7-4EA4-88FF-662040E3135B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb612363bd184a25df864c596b2b166558842a6","datavalue":{"value":"nilpotent groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q661283$A061D292-8E7E-4021-ADCF-670E7CE46814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6907e9b83f957b47990b4e0638bc567ed9634cc","datavalue":{"value":"degrees of unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q661283$7D66C628-8FF8-4E37-B18D-453528E00FBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dedd353f7110e25fa128dcb5e5da4ac07bda4a80","datavalue":{"value":{"entity-type":"item","numeric-id":1304546,"id":"Q1304546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661283$25C984F4-1997-443A-AEC5-DDEEB502CE11","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e02b8f53f715c6ce5570881bb78c196d8106ce24","datavalue":{"value":{"entity-type":"item","numeric-id":431668,"id":"Q431668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661283$ABA068DA-A27F-4535-8B6E-BBE864E0054B","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":"Q661283$0E805534-BA9C-41A6-B697-9B5CDD3DDCF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6f0db1294538622eb3732b025f6e7810a4f3d6d","datavalue":{"value":"https://doi.org/10.1007/s00153-011-0255-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q661283$B89F304A-ED94-47A2-B49C-21A993DFEA0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87664b44b7bf132e36ed686a31c82464819f1759","datavalue":{"value":"W2017192911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661283$AD7258AB-071B-45CB-83C1-5932AB45FB4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce5b75d0fa5269b96140bab823e21652ff8ab072","datavalue":{"value":{"entity-type":"item","numeric-id":4292233,"id":"Q4292233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661283$F5691807-93A8-481C-B7DA-DA2B971FD8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d83bdc101b2849c0ffc6da0240e6be48e8c1c008","datavalue":{"value":{"entity-type":"item","numeric-id":5295123,"id":"Q5295123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661283$F78D567E-DE06-4C09-A7EB-A17BD3F6DD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc16281a9432ff3b834da19825abadd64e4245d","datavalue":{"value":{"entity-type":"item","numeric-id":4309352,"id":"Q4309352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661283$71D40801-1900-443A-BCE4-21A041664AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b270af510dbfda71be9dc821d0ca34fb63ce8707","datavalue":{"value":{"entity-type":"item","numeric-id":4432545,"id":"Q4432545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661283$FF449B15-5FBC-4CD6-ACC3-0B58C66CC73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ac602eca84627cafb1e3bf842bbac0bee8b346","datavalue":{"value":{"entity-type":"item","numeric-id":1612482,"id":"Q1612482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661283$E4DDB0A1-C553-4C35-A362-37E8CF4986A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32c2b2aeff5bbdccca7d7aab2f922605753fcd8","datavalue":{"value":{"entity-type":"item","numeric-id":3395189,"id":"Q3395189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661283$C5FBA689-0FE4-41A0-94FD-BD754C8DFAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"542541764db8fe2789e36d4b90d227a5106d91db","datavalue":{"value":{"entity-type":"item","numeric-id":4750634,"id":"Q4750634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661283$F6840220-D720-48D1-912F-0E730D206337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dde8e639f9690e8810e3f0c61202b9ef9ea7779","datavalue":{"value":{"entity-type":"item","numeric-id":4335559,"id":"Q4335559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661283$901DA4F9-DC4A-4102-9C51-194A7A18D548","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9664d067ab08e623e35ede7600fa393c88ca9c7d","datavalue":{"value":"10.1007/S00153-011-0255-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661283$0E2624F8-BA01-49FE-B90A-F71046E51CBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9127afff2a9964028034db0596a6cca405791d1c","datavalue":{"value":{"entity-type":"item","numeric-id":5295123,"id":"Q5295123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ad500481e5cc59faeb0b795fee1d42b187bffa","datavalue":{"value":{"amount":"+0.8235426545143127","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":"Q661283$AA1E6B11-3C2E-4FAD-8E3A-16F8AE226F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51f4a0b3a7005cfa2693469f397e5799f194535","datavalue":{"value":{"entity-type":"item","numeric-id":5294135,"id":"Q5294135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"796368e34fd37503899db8c7a69eed131ca2f619","datavalue":{"value":{"amount":"+0.808735191822052","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":"Q661283$4ADF04C2-33F0-4505-896C-8F5CAC0A6D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80dd89301da74b2f5540f5eef7251b60ed564f68","datavalue":{"value":{"entity-type":"item","numeric-id":4762457,"id":"Q4762457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96877003817051df7b1e02fb3df1effc04b321c1","datavalue":{"value":{"amount":"+0.783505916595459","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":"Q661283$5B3C7E6B-336B-47EA-8492-BE9980A20FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c62d106036486dd89447f8c2c7c50131bd90b376","datavalue":{"value":{"entity-type":"item","numeric-id":5738206,"id":"Q5738206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"953dfb48eee1fd2297aa50f5ace65297786ba07d","datavalue":{"value":{"amount":"+0.7627148032188416","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":"Q661283$5B7CEBF3-25FB-4176-9053-9A6CA0F110CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b1efeb0264c931483480d3307c25d2a952358f","datavalue":{"value":{"entity-type":"item","numeric-id":1740457,"id":"Q1740457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cdded5ed45e4a9ac2a183c75aa47bb6465c3a7","datavalue":{"value":{"amount":"+0.7586144804954529","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":"Q661283$E6F6793A-CC1D-4987-B065-CB0F0CC610EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Degrees of isomorphism types and countably categorical groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Degrees_of_isomorphism_types_and_countably_categorical_groups"}}}}}