Model completeness and direct power

DOI10.1002/MALQ.19900360102MaRDI QIDQ3824399zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cited in

(3)

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

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)