Homogenizable structures and model completeness

DOI10.1007/S00153-016-0507-6zbMath1358.03040arXiv1601.07304OpenAlexW3105869962WikidataQ59358287 ScholiaQ59358287MaRDI QIDQ334999

Ove Ahlman

Publication date: 1 November 2016

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

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

zbMATH Keywords

quantifier eliminationamalgamation classhomogenizabilitymodel completeness

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Properties of classes of models (03C52) Quantifier elimination, model completeness, and related topics (03C10) Model theory of denumerable and separable structures (03C15) Other model constructions (03C30)

Related Items (4)

Remarks on weak amalgamation and large conjugacy classes in non-Archimedean groups ⋮ \(>k\)-homogeneous infinite graphs ⋮ Examples of weak amalgamation classes ⋮ Solving infinite-domain CSPs using the patchwork property

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the relational complexity of a finite permutation group
• Homogenizable relational structures
• \(>k\)-homogeneous infinite graphs
• A survey of homogeneous structures
• A Universal Structure for N -Free Graphs
• Model Companions for ℵ 0 -Categorical Theories
• K l+1 -Free Graphs: Asymptotic Structure and a 0-1 Law
• The universal homogeneous binary tree
• Limit laws and automorphism groups of random nonrigid structures
• Complexities of Relational Structures

This page was built for publication: Homogenizable structures and model completeness