{"entities":{"Q802550":{"pageid":804398,"ns":120,"title":"Item:Q802550","lastrevid":64488567,"modified":"2026-04-11T20:13:13Z","type":"item","id":"Q802550","labels":{"en":{"language":"en","value":"The elementary theory of the recursively enumerable degrees is not \\(\\aleph _ 0\\)-categorical"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3891344"}},"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":"Q802550$9DA86323-CAC4-4201-81A2-61837E490D20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b70bf7906c5bd649e650d03853c2237161d83a73","datavalue":{"value":{"text":"The elementary theory of the recursively enumerable degrees is not \\(\\aleph _ 0\\)-categorical","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q802550$DD9C701E-E31F-43B4-B7E0-9B6C56165D0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f628e924cf56720baddf1139059c6af76a39b26","datavalue":{"value":"0559.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802550$CAE35445-56B0-488F-983D-DB6BF6B64E02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5be76f0cab51dc20a734d0f6cb92063be4b63bc6","datavalue":{"value":"10.1016/0001-8708(84)90028-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802550$460861C2-C3E8-4186-AE35-0652C353B66B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802550$47E0A6A3-1DE9-43C1-82AE-30F37E00A3BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q802550$B0F3D07E-97B4-49E7-8ED3-C4F43082AE95","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"13cd909703015ab49f27e1df05939b8e6e56e771","datavalue":{"value":"By this paper the authors give the negative answer to the question: ''Is Th(\\({\\mathcal R})\\), the elementary theory of the ordering of the recursively enumerable degrees, \\(\\aleph_ 0\\)-categorical?'' For proving this result, the authors first specify a sequence of finite lattices \\({\\mathcal P}_ n\\) (n\\(\\geq 0)\\) generated by three elements, and then show that all these lattices \\({\\mathcal P}_ n\\) can be embedded (as lattices) into \\({\\mathcal R}\\), the partially ordered set of r.e. degrees. Thus, Th(\\({\\mathcal R})\\) has infinitely many distinct 3-types, and from this the above negative answer follows. The proof of the embedding of \\({\\mathcal P}_ n\\) into \\({\\mathcal R}\\) is very delicate.","type":"string"},"datatype":"string"},"type":"statement","id":"Q802550$8B0F6EA3-9E31-405A-B08D-9B3021F3A9F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802550$6DCE2FB4-1297-46B5-9F9D-60D540ACC0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802550$B0DF30A8-CECF-4469-A1F0-8E2AD189E6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802550$B509EB72-CB2C-44A3-B955-7AC9D22C4D81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"027a26a70dd6041ef9782ff317d03d71da8dc8cf","datavalue":{"value":"3891344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802550$2A7A2C77-648C-4D21-8FF6-8DCC8E64521D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c52d0d217e9aebd659c24ad9bd1545d4e7f53bf7","datavalue":{"value":"partially ordered set of r.e. degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q802550$A0845B9B-814D-4F99-B3B4-D5981B27E276","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2bcabba238ebd3703bf94360bc556df90e8632","datavalue":{"value":{"entity-type":"item","numeric-id":1049746,"id":"Q1049746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802550$9DAB5C62-6519-48C8-B7CF-C20511173BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802550$DA259F4B-3806-4208-9DE1-F9995F456456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99d656eeef84f51d80bcbc7ccf03ab138401b634","datavalue":{"value":{"entity-type":"item","numeric-id":207673,"id":"Q207673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802550$95A2FC3F-2E8D-4BD9-8F4E-25B26F45FD12","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":"Q802550$14A9DC73-91F8-499B-8498-810648A67A50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0c0a23efe578e420a25712d5c7c1513fc7ed527","datavalue":{"value":"https://doi.org/10.1016/0001-8708(84)90028-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q802550$3D42278A-DF6F-4055-B77F-E8BE3FD02B3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c299cb10b9e95834339a8a920f5dd694b2219a1","datavalue":{"value":"W2091246156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802550$6E413CFD-2A91-433D-8F56-5C51B4E5A688","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bca441acee540b6c6848d51594e5798c2464759","datavalue":{"value":{"entity-type":"item","numeric-id":5537365,"id":"Q5537365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802550$AC4861AB-4947-4887-936C-CD92E2E1AFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fff557e7dc247071db38e3d3a6654bb3ac39f29","datavalue":{"value":{"entity-type":"item","numeric-id":5670617,"id":"Q5670617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802550$D1783AEE-7EA9-4375-82A2-CC424326D7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3af41dfdb6fb1d3e74a0d4d49f596f724795b5b","datavalue":{"value":{"entity-type":"item","numeric-id":1142206,"id":"Q1142206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802550$D935ED64-8E64-42F5-ADAB-24F5B7959338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f187757627fa06cb1748441ae500a4f898b3a871","datavalue":{"value":{"entity-type":"item","numeric-id":4044555,"id":"Q4044555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802550$A0E884A3-5467-46D4-9B70-87A5828719A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c00f0d4bc8c67f968307c543499c0bb39a943e","datavalue":{"value":{"entity-type":"item","numeric-id":5570929,"id":"Q5570929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802550$563E4E0A-AB08-4344-AFBF-0D0C81753CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8827bb25975fd126f345bc5a9b6c2a45f53f8adf","datavalue":{"value":{"entity-type":"item","numeric-id":5519131,"id":"Q5519131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802550$BA4AD4FD-10C2-4079-85AD-F9183FDF69AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50ef08035d9441745685a34ded10875e3cc80e10","datavalue":{"value":{"entity-type":"item","numeric-id":4205431,"id":"Q4205431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04711934c07120726b65c86dd4b20dd70e5773e8","datavalue":{"value":{"amount":"+0.7937623262405396","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":"Q802550$552B4EEA-0D60-42B2-AEBE-D6388A4BB460","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":"e6f404803e9e6ab107a440a6e4a4f05ad6f50899","datavalue":{"value":{"amount":"+0.793050229549408","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":"Q802550$4EA0F4B7-2FBA-4D97-877D-D0E2E59F22F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5045f654be472f29e03fe9c332e8e0d0b15991d8","datavalue":{"value":{"entity-type":"item","numeric-id":688787,"id":"Q688787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a049678d06ddd901d49d5efe85c78fb329490258","datavalue":{"value":{"amount":"+0.7925607562065125","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":"Q802550$E5A713FA-B52B-4427-A07E-2C6F9E15E8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ab7b6ec0cae8768fa95704dbd74a97df79959d","datavalue":{"value":{"entity-type":"item","numeric-id":4764099,"id":"Q4764099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d52e95046898d74c339af0091eb8a8d763bd941","datavalue":{"value":{"amount":"+0.7924773097038269","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":"Q802550$137F3C8D-AF97-49D3-9E3E-7C07626588D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615803992e1dadd50bd920a7d5394e5b9d5056ef","datavalue":{"value":{"entity-type":"item","numeric-id":3712325,"id":"Q3712325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fffdb242715493705d7b9698b77a4d10f400b51","datavalue":{"value":{"amount":"+0.791925311088562","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":"Q802550$684F8544-8B64-4D03-8376-CFA5D75DA48A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The elementary theory of the recursively enumerable degrees is not \\(\\aleph 0\\)-categorical","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_elementary_theory_of_the_recursively_enumerable_degrees_is_not_%5C(%5Caleph_0%5C)-categorical"}}}}}