{"entities":{"Q790103":{"pageid":791951,"ns":120,"title":"Item:Q790103","lastrevid":64493616,"modified":"2026-04-11T20:14:58Z","type":"item","id":"Q790103","labels":{"en":{"language":"en","value":"Invariance of properties under automorphisms of the lattice of recursively enumerable sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3847371"}},"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":"Q790103$5D4BC0F3-25A7-4E39-9B6B-7D2F8C240711","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2b2b213c71b7ac68d58b4025b94946afaa688ef","datavalue":{"value":{"text":"Invariance of properties under automorphisms of the lattice of recursively enumerable sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790103$213EAD84-AB47-4149-A709-1EA81C5DCA6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02fb42a6409746eef7977e93d7c46f4ea7dbac38","datavalue":{"value":"0534.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790103$F81A8439-D5B7-49EF-927E-E9EF4E90E54B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4761e83e89cc17291485567599a5ae1ee159d81b","datavalue":{"value":{"entity-type":"item","numeric-id":685056,"id":"Q685056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790103$DA5A77A1-97B4-42C9-AE17-FBFF4F4E9905","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790103$DC970A85-1CE4-4C33-B8C4-30C63BF7C554","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q790103$EED91827-BFCF-4B4C-96DF-8A83B5D8402D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32715fbd1c8bcda9c4df2a7da25445f735ae63cc","datavalue":{"value":"A coinfinite r.e. set A of integers is dense simple (D. A. Martin) if the principal function enumerating the complement \\(\\bar A\\) of A in increasing order, \\(p_{\\bar A}\\), dominates every total recursive function. The author proves that the property of an r.e. set being dense simple is not invariant under automorphism of the collection \\({\\mathcal E}\\) of r.e. sets. This extends the result of D. A. Martin that hypersimplicity is not invariant under automorphisms of \\({\\mathcal E}\\). The argument involves an infinite injury ''pinball machine'' construction and uses the automorphism machinery of R. I. Soare.","type":"string"},"datatype":"string"},"type":"statement","id":"Q790103$9D811961-CC72-4069-B8EB-52E6611BF31D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790103$E0CEE492-C33A-4335-88A8-47D8BF9C9532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790103$683CD306-FF5A-43CA-825C-8B36819F40A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eeffc7c871b05e90f19d49affb2b78ba29418be0","datavalue":{"value":"3847371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790103$20909702-0D55-487B-9FC3-C381BD998326","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c7031418e51cc601e012608d4b8d0d0c53a567","datavalue":{"value":"recursively enumerable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q790103$C1591687-3CB1-4385-99E2-D4B3049D750F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b040fa7bae7d6dbc91102d64ea1ab92d29e490","datavalue":{"value":"hypersimple","type":"string"},"datatype":"string"},"type":"statement","id":"Q790103$97A73AB1-107B-4B5F-A8F2-3570642D0D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa4b0a633bddc606ded42beb75873f97cb5090b","datavalue":{"value":"dense simple","type":"string"},"datatype":"string"},"type":"statement","id":"Q790103$4A2C0AF2-169D-4A38-A6C0-5C0DD270664B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da4d3238d9f3885b98f18f5b397b9c9f8b4a2166","datavalue":{"value":"infinite injury priority","type":"string"},"datatype":"string"},"type":"statement","id":"Q790103$34BAEC16-F992-4F64-A8CE-E331D7341E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q790103$51F44E58-B7F7-40FE-AA7A-37256BA4DF77","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af7a6817238379ba945f4c57a8ee8caebc5f2605","datavalue":{"value":{"entity-type":"item","numeric-id":455764,"id":"Q455764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790103$0777EF0D-E934-4AA8-8C01-EEA093698D7B","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":"Q790103$F1AE1268-F9AE-47C4-B226-A29EEBB3C687","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"796bcd7d9fc8244894082a56ffc35e6a4facdaed","datavalue":{"value":"https://doi.org/10.2140/pjm.1982.100.445","type":"string"},"datatype":"url"},"type":"statement","id":"Q790103$CF61DB26-87A8-4643-A426-17E681E180AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c628d51ab9f449c4778be9e7fc8d6a666f1f2384","datavalue":{"value":"W1997375978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790103$7BA09988-DEC1-4453-B6F2-591BBDB0F015","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca5f6694ef4bf4e08deeea9592e4e2dcf457f85c","datavalue":{"value":"10.2140/PJM.1982.100.445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790103$5F860265-310A-4CEE-AFBC-B0FAA204A386","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c8ea94e22259e48a152b35f4f0c1a6e3e5b26a","datavalue":{"value":{"entity-type":"item","numeric-id":3773863,"id":"Q3773863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c77033863c711d98f2eb22c98645e43b87ccce4","datavalue":{"value":{"amount":"+0.7982991933822632","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":"Q790103$159AE1DB-62C6-495E-9F09-99F2E282EC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb571c01cc322d7e83c2ee6e8e658b3eeda71ee","datavalue":{"value":{"entity-type":"item","numeric-id":912844,"id":"Q912844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4197da481e6f84a2f26972ff1a547d73a2edde43","datavalue":{"value":{"amount":"+0.7927711606025696","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":"Q790103$6F546300-3EFC-498D-826A-9B7F54FCE9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"442e7dbb54affecbf724cfe0ee9a0d1eeba698e9","datavalue":{"value":{"entity-type":"item","numeric-id":4018916,"id":"Q4018916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd08241586407290c6e0226e21fd06ff308e3c9","datavalue":{"value":{"amount":"+0.7891664505004883","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":"Q790103$867F4111-2D27-4771-825C-A8D24BF4106D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d072e34487f9aa231d0f95effa6661effe12798","datavalue":{"value":{"entity-type":"item","numeric-id":4731178,"id":"Q4731178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c332b9307aa19ca0cbc9b84cb5d5cd2da38cc6","datavalue":{"value":{"amount":"+0.7841203212738037","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":"Q790103$9249B66E-D469-467B-AC85-C1786EA689F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67a81f76dcf78626ce7bbe0936f96a474c0a1c4","datavalue":{"value":{"entity-type":"item","numeric-id":4326223,"id":"Q4326223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70e4f4f1c2d91e5c6a10920f189d724dbd24becc","datavalue":{"value":{"amount":"+0.782742977142334","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":"Q790103$C0AD22EE-0C45-4118-B194-CE6692D87A9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariance of properties under automorphisms of the lattice of recursively enumerable sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invariance_of_properties_under_automorphisms_of_the_lattice_of_recursively_enumerable_sets"}}}}}