An Invitation to Model Theory

DOI10.1017/9781316683002MaRDI QIDQ3120214zbMATH OpenOpenAlexFDO

Authors Jonathan Kirby

Publication date 1 March 2019

Full work available at URL https://semanticscholar.org/paper/61fea33c26f6497d63266f8658de3353b76d054c

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Model theory (03Cxx) Logic (educational aspects) (97E30)

Recommendations

• Model theory for beginners. 15 lectures
• A Course on Basic Model Theory
• Mathematical logic. On numbers, sets, structures, and symmetry
• Model theory without pain
• A course in model theory

Cited in

(9)

• A guide to classical and modern model theory
• Expansions of the group of integers by Beatty sequences
• Permutability of matrices over bipotent semirings
• AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS
• Model theory for beginners. 15 lectures
• Jewels of Institution-Independent Model Theory
• Some definable types that cannot be amalgamated
• The model theory of commutative near-vector spaces
• An introduction to the theory of linear integer arithmetic (invited paper)

This page was built for publication: An Invitation to Model Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3120214)