The theories of Baldwin-Shi hypergraphs and their atomic models

DOI10.1007/s00153-021-00765-8OpenAlexW3140484208MaRDI QIDQ2238143

Danul K. Gunatilleka

Publication date: 29 October 2021

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

Full work available at URL: https://arxiv.org/abs/1803.01831

zbMATH Keywords

quantifier eliminationgeneric structuresatomic models

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Unnamed Item
• Unnamed Item
• CM-triviality and relational structures
• Stable generic structures
• A simpler axiomatization of the Shelah-Spencer almost sure theories
• A remark on the stability of saturated generic graphs
• Randomness and semigenericity
• On generic structures with a strong amalgamation property
• Zero-One Laws for Sparse Random Graphs
• DOP and FCP in generic structures
• COUNTABLE MODELS OF THE THEORIES OF BALDWIN–SHI HYPERGRAPHS AND THEIR REGULAR TYPES

This page was built for publication: The theories of Baldwin-Shi hypergraphs and their atomic models