Model completeness and direct power

DOI10.1002/MALQ.19900360102zbMATH Open0671.03026OpenAlexW2031807716MaRDI QIDQ3824399FDOQ3824399

Authors: Kazem Taghva 

Publication date: 1990

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19900360102

Recommendations

• Categoricity and generalized model completeness
• Constructing \(\omega\)-stable structures: Model completeness.
• Omega-categoricity, relative categoricity and coordinatisation
• Theories categorical in power \(n+2\)
• On models of finite direct products of theories

zbMATH Keywords

preservation of omega-categoricity under direct powerssublanguage of generalized product of Feferman-Vaught

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35)

Cited In (3)

• The property of being a model complete theory is preserved by Cartesian extensions
• Omega-categoricity, relative categoricity and coordinatisation
• On models of finite direct products of theories

This page was built for publication: Model completeness and direct power

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3824399)