{"entities":{"Q1075320":{"pageid":1086072,"ns":120,"title":"Item:Q1075320","lastrevid":66088884,"modified":"2026-04-12T07:28:36Z","type":"item","id":"Q1075320","labels":{"en":{"language":"en","value":"Definability in the Turing degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3950507"}},"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":"Q1075320$13647671-7E61-442B-9D54-C4F196E14406","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18427c575028c5fd3b9c67abb552152e175f0020","datavalue":{"value":{"text":"Definability in the Turing degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1075320$6F383981-7D1B-426D-939A-61670ECF239E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"275c2a1147d778dc1e869c59558c217c1381d471","datavalue":{"value":"0592.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075320$F5BA9693-BC2C-4624-873F-6E8C9DB79DAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075320$8E3F01AE-4DFC-463E-8CED-B4941C4B115D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aa73e14157c558b4cd52b4dcdb69d55d5554707","datavalue":{"value":{"entity-type":"item","numeric-id":251404,"id":"Q251404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075320$CFA673DA-3780-4550-8BB5-5CCD40C7A8F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075320$E4886FA7-1D31-44AC-B44C-C64841FF0AD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1075320$CD243577-F134-408A-AD32-C943B6857BD9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0689363b271b583e0010c943685b5a4082e4ec21","datavalue":{"value":"Suppose that \\({\\mathcal R}\\) is a countable relation on the Turing degrees. Then \\({\\mathcal R}\\) can be defined in \\({\\mathcal D}\\), the Turing degrees with \\(\\leq_ T\\), by a first order formula with finitely many parameters. The parameters are built by means of a notion of forcing in which the conditions are essentially finite. The conditions in the forcing partial specify finite initial segments of the generic reals and impose an infinite constraint on further extensions. This result is applied to show that any elementary function from \\({\\mathcal D}\\) to \\({\\mathcal D}\\) is an automorphism. Other applications are given toward the rigidity question for: By observing that a single jump is all that is needed to meet the relevant dense sets, it is also shown that the recursively enumerable degrees can be defined from finitely many parameters in the structure consisting of the degrees below O' with \\(\\leq_ T\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075320$22047D84-2973-4728-8EFC-459DA1721363","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075320$4755F15C-3CE3-4FBC-8C94-8B0F30EB0C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075320$8818F5E5-B184-4A6A-9B8A-9371B31FD3D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1db92baba3981d7aadd4ab0899bb4b616893a790","datavalue":{"value":"3950507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075320$3A748191-EF7D-43B9-AB0A-AC33FBE4BC67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075320$71B790E7-EC4C-45D7-9810-37B6D7FC25FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075320$E7C6245A-12DF-45C1-AA38-F2A71C2B5927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67d02a1f917109fb39b6d4dd829abea31e85c320","datavalue":{"value":"rigidity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075320$B16718B2-87CE-4F4B-9390-AC9327A68E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c86270e2052af073ed93b4b537376e78238196","datavalue":{"value":"jump","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075320$9BD4BB11-C050-4CAB-8B9F-5E5EF7D22F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50019eaff869d05eee5ca71292ad7aeb5c989ac2","datavalue":{"value":"recursively enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075320$2D785499-3784-40B8-8BD3-C25BC3D13F4A","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":"Q1075320$3D746F1F-E6C4-486D-A02E-C75413E66871","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a1ff24c76441b93813cd15790a73251bce0d45","datavalue":{"value":{"entity-type":"item","numeric-id":4408481,"id":"Q4408481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e855c7af7cb0411fccc70851b94abc55cd2d0957","datavalue":{"value":{"amount":"+0.8527511954307556","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":"Q1075320$ED91D069-02EE-4FE8-B813-84014547B3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27dc0c84a9f871a6d6edd82b17d760599927b281","datavalue":{"value":{"entity-type":"item","numeric-id":3839947,"id":"Q3839947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03eb7b76c0dac48e0b4b4c06b661870623b5e88","datavalue":{"value":{"amount":"+0.8525255918502808","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":"Q1075320$7C3FA601-6F84-4213-AFB9-71BA30FA8348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11df3696bceb15b1241a073d67629ed74c8ead70","datavalue":{"value":{"entity-type":"item","numeric-id":3128481,"id":"Q3128481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07c396fa700180ccac51ab2e1e1f68c962d196f","datavalue":{"value":{"amount":"+0.8320367336273193","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":"Q1075320$65235E4C-91A9-48A3-883C-1A44BF0AC7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b0c08a25e5d1b9e4cc107549cefe0edab9cff7","datavalue":{"value":{"entity-type":"item","numeric-id":4011117,"id":"Q4011117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07c396fa700180ccac51ab2e1e1f68c962d196f","datavalue":{"value":{"amount":"+0.8320367336273193","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":"Q1075320$5A60A89C-A8B1-4C33-B0FE-823681292708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7105f10a640f2d91800f00b89cb3b20412c473f5","datavalue":{"value":{"entity-type":"item","numeric-id":4513973,"id":"Q4513973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd6d12c98df644a82432053b76638ad111199cdd","datavalue":{"value":{"amount":"+0.8259207010269165","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":"Q1075320$322A353E-66CD-4621-B351-59D80028822A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definability in the Turing degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definability_in_the_Turing_degrees"}}}}}