Finding model-companions via the skeleton

DOI10.1007/BF01182455zbMath0756.03017MaRDI QIDQ1813662

Gerd Bürger

Publication date: 25 June 1992

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

atomic structureskeletonexistentially closed structuresmodel- companionfinitely generated universal Horn classjoint- embedding property

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Models with special properties (saturated, rigid, etc.) (03C50) Properties of classes of models (03C52) Model theory of denumerable and separable structures (03C15)

Cites Work

• Unnamed Item
• On countable locally described structures
• Large and small existentially closed structures
• A note on ℵ0-categorical model-companions
• Sheaf Constructions and Their Elementary Properties

This page was built for publication: Finding model-companions via the skeleton