A Dependent Bi-Coloured Field
Abstract
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=0.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.