A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes

DOI10.1007/BF02584060zbMath0482.03013OpenAlexW2095236207MaRDI QIDQ1162504

Daniele Mundici

Publication date: 1981

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02584060

zbMATH Keywords

local automorphismback-and-forth systemsFraisse characterization theorem

Mathematics Subject Classification ID

Classical first-order logic (03B10) Properties of classes of models (03C52) Other model constructions (03C30)

Cites Work

• Unnamed Item
• Unnamed Item
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
• Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable

This page was built for publication: A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes