Journal of Symbolic Logic 87 (1):21-46 (2022)

Our main result is that there exist structures which cannot be computably recovered from their tree of tuples. This implies that there are structures with no computable copies which nevertheless cannot code any information in a natural/functorial way.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/jsl.2019.92
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,265
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Definability and Computability.Yuri L. Ershov - 1998 - Studia Logica 61 (3):439-441.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Set Mappings on $4$ -Tuples. [REVIEW]Shahram Mohsenipour & Saharon Shelah - 2018 - Notre Dame Journal of Formal Logic 59 (3):405-416.
Structure with Fast Elimination of Quantifiers.Mihai Prunescu - 2006 - Journal of Symbolic Logic 71 (1):321 - 328.
Propositions as Interpreted Abstracta.Thomas Hodgson - forthcoming - In Chris Tillman & Adam R. Murray (eds.), The Routledge Handbook of Propositions. Routledge.
Gap Structure After Forcing with a Coherent Souslin Tree.Carlos Martinez-Ranero - 2013 - Archive for Mathematical Logic 52 (3-4):435-447.
On the Existence of Indiscernible Trees.Kota Takeuchi & Akito Tsuboi - 2012 - Annals of Pure and Applied Logic 163 (12):1891-1902.
Fragility and Indestructibility of the Tree Property.Spencer Unger - 2012 - Archive for Mathematical Logic 51 (5-6):635-645.


Added to PP index

Total views
11 ( #852,621 of 2,507,664 )

Recent downloads (6 months)
2 ( #277,140 of 2,507,664 )

How can I increase my downloads?


My notes