scientific article; zbMATH DE number 176207

MaRDI QIDQ4035311zbMATH OpenFDO

Authors Yuri Gurevich

Publication date 18 May 1993

zbMATH Keywords

compactness theoremfinite structuresfirst-order logicHorn sentencesLyndon's theorempreservation theorem

Mathematics Subject Classification ID

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

Recommendations

• Some Aspects of Model Theory and Finite Structures
• scientific article; zbMATH DE number 803291
• Finite and infinite model theory - a historical perspective
• scientific article; zbMATH DE number 1086487
• Finite-model theory -- A personal perspective

Cited in

(16)

• On cofinal extensions of models of fragments of arithmetic
• The theory of finite models without equal sign
• scientific article; zbMATH DE number 5852773 (Why is no real title available?)
• On cofinal extensions of models of arithmetic
• scientific article; zbMATH DE number 4012586 (Why is no real title available?)
• Extendability of Functions on Models of ZFFin
• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 1086487 (Why is no real title available?)
• Action of endomorphism semigroups on definable sets
• Some Aspects of Model Theory and Finite Structures
• scientific article; zbMATH DE number 5038454 (Why is no real title available?)
• Some elementary results in intuitionistic model theory
• scientific article; zbMATH DE number 2208072 (Why is no real title available?)
• Preservation theorems in finite model theory
• The umbilical cord of finite model theory
• Finite model theory and its applications.

This page was built for publication:

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