The theory of finite models

MaRDI QIDQ2784784zbMATH OpenFDO

Authors Libo Luo

Publication date 24 April 2002

zbMATH Keywords

finite modelsfirst-order logic without equalitypreservation theorems

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40)

Review text

For finite models the author studies some model-theoretic concepts for first-order logic without equality (elementary equivalence, completeness,\dots) and derives some preservation theorems.NEWLINENEWLINEFor the entire collection see [Zbl 0970.00012].

Cited in

(5)

• On representing concepts in finite models
• scientific article; zbMATH DE number 4012586 (Why is no real title available?)
• Nearly Model Complete Theories
• scientific article; zbMATH DE number 2167511 (Why is no real title available?)
• Some Aspects of Model Theory and Finite Structures

This page was built for publication: The theory of finite models

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