Model completeness of generic graphs in rational cases

DOI10.1007/s00153-017-0601-4OpenAlexW2773588219MaRDI QIDQ1756487

Hirotaka Kikyo

Publication date: 14 January 2019

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-017-0601-4

zbMATH Keywords

model completenessHrushovski's amalgamation construction

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic forcing (03C25) Other model constructions (03C30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new strongly minimal set
• Constructing \(\omega\)-stable structures: Model completeness.
• Stable generic structures
• Model Complete Generic Structures
• Randomness and semigenericity
• Model completeness of the new strongly minimal sets

This page was built for publication: Model completeness of generic graphs in rational cases