Some Model Theoretic Properties of Non-AC Generic Structures

MaRDI QIDQ6274745zbMATH OpenFDO

Authors Ali N. Valizadeh, M. Pourmahdian

Publication date 18 June 2016

Mathematics Subject Classification ID

Other model constructions (03C30) Quantifier elimination, model completeness, and related topics (03C10)

Abstract: In the context of Hrushovski constructions we take a language $mathcalL$ with a ternary relation $R$ and consider the theory of the generic models $M_{alpha}^{\ast },$ of the class of finite $mathcalL$-structures equipped with predimension functions $delt{a}_{alpha},$ for $alphain(0,1]capmathbbQ$. The theory of generic structures of non-AC smooth classes have been investigated from different points of view, including decidability and their power in interpreting known structures and theories. For a rational $alphain(0,1],$ first we prove that the theory of $M_{alpha}^{\ast }$ admits a quantifier elimination down to a meaningful class of formulas, called extit{closure formulas}; and on the other hand we prove that $Th(M_{alpha}^{\ast })$ does not have the finite model property.

This page was built for publication: Some Model Theoretic Properties of Non-AC Generic Structures

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