Abstract
These are the lecture notes from a 10-hour course that the author gave at the University of Notre Dame in September 2010. The objective of the course was to introduce some basic concepts in computable structure theory and develop the background needed to understand the author’s research on back-and-forth relations.
Citation
Antonio Montalbán. "Coding and Definability in Computable Structures." Notre Dame J. Formal Logic 59 (3) 285 - 306, 2018. https://doi.org/10.1215/00294527-2017-0032
Information