2016/06/18 by Ali N. Valizadeh, Valizadeh, Ali N., Massoud Pourmahdian +1
Computer Science · Mathematics · #03C10 (Secondary) #03C30 (Primary) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1606.05750
openalex publication_date 2016/06/18 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In the context of Hrushovski constructions we take a language L with a ternary relation R and consider the theory of the generic models M*α, of the class of finite L-structures equipped with predimension functions δα, for α∈(0,1]∩ℚ . 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 α∈(0,1], first we prove that the theory of M*α admits a quantifier elimination down to a meaningful class of formulas, called closure formulas; and on the other hand we prove that Th(M*α) does not have the finite model property.