Preface

Abstract

Logic. This special issue consists of selected papers from the conference. The workshop brought researchers in classical model theory and its applications together with researchers in computable model theory. Tutorials were given in these respective areas by Thomas Scanlon (Model Theory and Connections To Algebra) and Julia Knight (Computable Model Theory).Model theory studies the relationship between structures and their first order properties, including the study of definable subsets of their universes. An introduction to the subject is given by Marker [21]. Several topics in model theory were presented, including three areas represented in this volume: abstract model theory with links to computable model theory (Laskowski), model theory of fields (Martin-Pizarro and Wagner), and definability in number fields (Shlapentokh). The remaining papers come from within computable model theory.By effectivizing Henkin's construction, one shows that every consistent decidable theory has a decidable model. For a decidable uncountably categorical theory T , Harrington and Khisamiev (independently) showed that every countable model of T