BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Mohsen Khani appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We have considered a Fraisse class of finitely generated ordered real fields with a colour predicate. A predimension map is defined on finite sets and the Fraisse limit of the class is axiomatized by a theory $T$, which is proved to be dependent. The theory is proved to be non-distal with $dp-rank=\aleph_0$.
This paper concerns the study of Bi-colored expansions of geometric theories in the light of the Fraïssé-Hrushovski construction method. Substructures of models of a geometric theory $T$ are expanded by a color predicate $p$, and the dimension function associated with the pre-geometry of the $T$-algebraic closure operator together with a real number $0<α\leqslant 1$ is used to define a pre-dimension function $δ_α$. The pair $(\mathcal{K}_α^{+},\leqslant_α)$ consisting of all such expansions with a hereditary positive pre-dimension along with the notion of substructure $\leqslant_α$ associated to $δ_α$ is then used as a natural setting for the study of generic bi-colored expansions in the style of Fraïssé-Hrushovski construction. Imposing certain natural conditions on $T$, enables us to introduce a complete axiomatization $\mathbb{T}_α$ for the class of rich structures in this class. We will show that if $T$ is a dependent theory (NIP) then so is $\mathbb{T}_α$. We further prove that whenever $α$ is rational the strong dependence transfers to $\mathbb{T}_α$. We conclude by showing that if $T$ defines a linear order and $α$ is irrational then $\mathbb{T}_α$ is not strongly dependent.