Amalgamations preserving ℵ1-categoricity
From MaRDI portal
Publication:4382460
DOI10.2307/2275627zbMath0899.03025OpenAlexW1508928625MaRDI 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
Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35)
Related Items (2)
Unions of non-disjoint theories and combinations of satisfiability procedures ⋮ Reducible Theories and Amalgamations of Models
Cites Work
This page was built for publication: Amalgamations preserving ℵ1-categoricity