Pseudofiniteness in Hrushovski constructions

DOI10.1215/00294527-2019-0038MaRDI QIDQ2176403zbMATH OpenOpenAlexFDO

Authors Ali N. Valizadeh, M. Pourmahdian

Publication date 4 May 2020

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1811.04692, https://projecteuclid.org/euclid.ndjfl/1574996411

zbMATH Keywords

predimensionHrushovski constructionsgeneric structurespseudofinite structuresEhrenfeucht-Fraïssé games

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Infinite graphs (05C63) Hypergraphs (05C65) Model theory of denumerable and separable structures (03C15)

Abstract: In a relational language consisting of a single relation $R,$ we investigate pseudofiniteness of certain Hrushovski constructions obtained via predimension functions. It is notable that the arity of the relation $R$ plays a crucial role in this context. When $R$ is ternary, by extending the methods developed in [BL12], we interpret $langlemathbb{Q}^{+},<angle$ in the $langlemathcal{K}_0^{+},le{q}^{\ast }angle$-generic and prove that this structure is not pseudofinite. This provides a negative answer to the question posed in [EW09] (Question 2.6). This result, in fact, unfolds another aspect of complexity of this structure, along with undecidability and strict order property proved in [EW09] and [Bl12]. On the other hand, when $R$ is binary, it can be shown that the $langlemathcal{K}_0^{+},le{q}^{\ast }angle$-generic is decidable and pseudofinite.

Recommendations

• Reducts of Hrushovski's constructions of a higher geometrical arity
• Indifference to symmetry in Hrushovski's ab initio construction
• Some remarks on generic structures
• Pseudodimension of relational structures
• Pseudofinite \(H\)-structures and groups definable in supersimple \(H\)-structures

Cites work

• scientific article; zbMATH DE number 554978 (Why is no real title available?)
• scientific article; zbMATH DE number 663787 (Why is no real title available?)
• On generic structures
• On rational limits of Shelah-Spencer graphs
• On superstable generic structures
• Randomness and semigenericity
• Simple generic structures
• Smooth classes without AC and Robinson theories
• Some remarks on generic structures
• Stable generic structures
• Strict superstablity and decidability of certain generic graphs
• Superstable graphs
• The strange logic of random graphs

Cited in

(4)

• Pseudofinite structures and simplicity
• Strict superstablity and decidability of certain generic graphs
• A note on pseudofinite acyclic graphs
• Some questions concerning Hrushovski's amalgamation constructions

This page was built for publication: Pseudofiniteness in Hrushovski constructions

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