Amalgamations preserving ℵ1-categoricity
From MaRDI portal
Publication:4382460
DOI10.2307/2275627zbMath0899.03025MaRDI QIDQ4382460
Publication date: 2 November 1998
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275627
03C10: Quantifier elimination, model completeness, and related topics
03C35: Categoricity and completeness of theories
Related Items
Reducible Theories and Amalgamations of Models, Unions of non-disjoint theories and combinations of satisfiability procedures
Cites Work