Open Access
Translator Disclaimer
2015 Characterizing Model Completeness Among Mutually Algebraic Structures
Michael C. Laskowski
Notre Dame J. Formal Logic 56(3): 463-470 (2015). DOI: 10.1215/00294527-3132815

Abstract

We characterize when the elementary diagram of a mutually algebraic structure has a model complete theory, and give an explicit description of a set of existential formulas to which every formula is equivalent. This characterization yields a new, more constructive proof that the elementary diagram of any model of a strongly minimal, trivial theory is model complete.

Citation

Download Citation

Michael C. Laskowski. "Characterizing Model Completeness Among Mutually Algebraic Structures." Notre Dame J. Formal Logic 56 (3) 463 - 470, 2015. https://doi.org/10.1215/00294527-3132815

Information

Received: 31 May 2012; Accepted: 1 July 2013; Published: 2015
First available in Project Euclid: 22 July 2015

zbMATH: 1334.03033
MathSciNet: MR3373614
Digital Object Identifier: 10.1215/00294527-3132815

Subjects:
Primary: 03C10
Secondary: 03C45

Keywords: model complete , mutually algebraic , strongly minimal , trivial

Rights: Copyright © 2015 University of Notre Dame

JOURNAL ARTICLE
8 PAGES


SHARE
Vol.56 • No. 3 • 2015
Back to Top