Some connections between finite and infinite model theory

MaRDI QIDQ3172383zbMATHFDO

Authors Vera Koponen

Publication date 5 October 2011

zbMATH Keywords

finite modelsfinite variable logicamalgamation classessmoothly approximable structures

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Basic properties of first-order languages and structures (03C07)

Recommendations

• Finite and infinite model theory - a historical perspective
• Elementary approximation theory
• Finite-model theory -- A personal perspective
• scientific article; zbMATH DE number 803291
• scientific article; zbMATH DE number 1302669

Cited in

(10)

• Theories with finitely many models
• There is no recursive link between the \(k\)-size of a model and its cardinality
• Elementary approximation theory
• Amalgamation properties and finite models in \(L^n\)-theories
• scientific article; zbMATH DE number 69316 (Why is no real title available?)
• scientific article; zbMATH DE number 4142002 (Why is no real title available?)
• A few remarks on n-infinite forcing companions
• A general condition for collapse results
• Lectures on Infinitary Model Theory
• Some Aspects of Model Theory and Finite Structures

This page was built for publication: Some connections between finite and infinite model theory

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