Abstract
For n < ω, expand the structure (n,S,I,F) (with S the successor relation, I, F as the initial and final element) by forming graphs with edge probability n-α for irrational α, with 0< α < 1. The sentences in the expanded language, which have limit probability 1, form a complete and stable theory.
Citation
John T. Baldwin. "Expansions of geometries." J. Symbolic Logic 68 (3) 803 - 827, September 2003. https://doi.org/10.2178/jsl/1058448440
Information
