Model companions of theories with an automorphism
From MaRDI portal
Publication:4527921
DOI10.2307/2586697zbMath0967.03031arXivmath/9809191MaRDI QIDQ4527921
Publication date: 28 August 2001
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9809191
model complete theory; independence property; amalgamation property; model companion; finite cover property; theories with an automorphism
03C45: Classification theory, stability, and related concepts in model theory
Related Items
Model companions of theories of graphs, Generic expansions of countable models, Model companions of \(T_{\Aut}\) for stable \(T\), The definable multiplicity property and generic automorphisms, Model theoretic dynamics in Galois fashion, Model-theoretic properties of dynamics on the Cantor set, Fields with automorphism and valuation, Model companion of ordered theories with an automorphism, 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10