Translator Disclaimer
2018 Coding and Definability in Computable Structures
Antonio Montalbán
Notre Dame J. Formal Logic 59(3): 285-306 (2018). DOI: 10.1215/00294527-2017-0032

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

Download 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

Received: 12 June 2015; Accepted: 12 October 2015; Published: 2018
First available in Project Euclid: 1 May 2018

zbMATH: 06939321
MathSciNet: MR3832082
Digital Object Identifier: 10.1215/00294527-2017-0032

Subjects:
Primary: 03D45
Secondary: 03D60

Rights: Copyright © 2018 University of Notre Dame

JOURNAL ARTICLE
22 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.59 • No. 3 • 2018
Back to Top