Generalizes the finite length property to structures with few-orbit finite approximations (char 0) and to Fraïssé limits with free amalgamation in unary/binary vocabularies, including the Rado graph.
Model Theory , year =
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative citing papers
An expansion of abelian ℓ-groups with a spectral subspace map admits a model companion that is complete and has quantifier elimination.
Adapts Mourgues-Ressayre constructions to show T0-reducts of T-λ-spherical completions are truncation-closed when the power series family is closed under truncations and derivatives, yielding initial embeddings of models into surreals for exponentiation-defining theories.
citing papers explorer
-
The Finite Length Property of the Rado Graph and Friends
Generalizes the finite length property to structures with few-orbit finite approximations (char 0) and to Fraïssé limits with free amalgamation in unary/binary vocabularies, including the Rado graph.
-
A Model Companion for Abelian Lattice-Ordered Groups with a Valuation
An expansion of abelian ℓ-groups with a spectral subspace map admits a model companion that is complete and has quantifier elimination.
-
Truncations in languages of generalized power series and the structure of $T$-$\lambda$-spherical completions of o-minimal fields
Adapts Mourgues-Ressayre constructions to show T0-reducts of T-λ-spherical completions are truncation-closed when the power series family is closed under truncations and derivatives, yielding initial embeddings of models into surreals for exponentiation-defining theories.