Description
Beyond First Order Model Theory, Volume I
Coordinator: Iovino Jose
Language: EnglishSubjects for Beyond First Order Model Theory, Volume I:
Keywords
Generalised Analytic Sets; Forgetful Functor; Order Model Theory; Infinitary Logic; Model Theoretic Properties; Scott Sentences; Baire Class; Presentation Theorem; Irreducible Components; Large Cardinal; Ben Yaacov; Strongly Compact; Uncountable Cardinality; Continuous Logic; Closed Subsets; Continuous Fragment; Metric Space; Borel Functions; Exact Negation; Constant Symbols; Uniformly Continuous; Unique Trace; Countable Signature; Cardinal Parameters; Analytic Subset
Publication date: 09-2020
· 15.6x23.4 cm · Paperback
Publication date: 08-2017
· 15.6x23.4 cm · Hardback
Description
/li>Contents
/li>Readership
/li>Biography
/li>
Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains a collection of articles authored by top researchers in the field. It is intended as a reference for students as well as senior researchers.
Abstract elementary classes. Generalized logics in set theory. Topological methods in abstract model theory. Randomizations of structures. First Order logics with dependent sorts. Applications of infinitary logics.
Jose Iovino is a professor at The University of Texas at San Antonio. His research is in model-theoretic analysis. He is the author of the monograph Applications of Model Theory to Functional Analysis (Dover Publications, 2014) and a coauthor of Analysis and Logic (Cambridge University Press, 2003)