THE TREE OF TUPLES OF A STRUCTURE

Matthew Harrison‐Trainor, Antonio Montalbán · Journal of Symbolic Logic · 2020

Abstract 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.

Read the paper · More papers on PaperTik