Expansions of geometries
\textit{S. Shelah} and \textit{J. Spencer} [J. Am. Math. Soc. 1, 97--115 (1988; Zbl 0647.05051)] proved a 0-1 law for random graphs with edge probability \(n^{-\alpha}\) for irrational \(\alpha\); \textit{J. T. Baldwin} and \textit{S. Shelah} [Trans. Am. Math. Soc. 349, 1359--1376 (1997; Zbl 0952.03029)] showed that the almost sure theory was precisely that of the corresponding generic structure. In this paper, the author extends the analysis -- and the result -- to random graphs over \({\mathbb F}_q\)-vector spaces, or over a successor function. In particular, he proves that in those cases there is a strictly stable, complete and nearly model-complete theory axiomatizing the generic structure, which in the case of successor is the almost sure theory of random expansions of successor with edge probability \(n^{-\alpha}\). In order to deal with closure under the vector space or successor structure, the author considers extensions \(B\supset A\) with \(\delta(B/A)=0\) to be intrinsic (i.e.\ algebraic). This does not matter since \(1\) and the weights \(\alpha\) of the random relations are supposed to be linearly independent over \(\mathbb Q\), but may confuse the reader familiar with the usual Hrushovski amalgamation. The bibliography is selective.
- Almost sure theories
- Canonical Finite Diagrams and Quantifier Elimination
- Classification of δ-invariant amalgamation classes
- Counting extensions
- scientific article; zbMATH DE number 3961650 (Why is no real title available?)
- scientific article; zbMATH DE number 1072411 (Why is no real title available?)
- scientific article; zbMATH DE number 1072415 (Why is no real title available?)
- Randomness and semigenericity
- Stable generic structures
- Zero-One Laws for Sparse Random Graphs
- The theories of Baldwin-Shi hypergraphs and their atomic models
- The finite submodel property and \(\omega\)-categorical expansions of pregeometries
- The metamathematics of random graphs
- A simpler axiomatization of the Shelah-Spencer almost sure theories
- Determined theories and limit laws
- On rational limits of Shelah-Spencer graphs
- Randomness and semigenericity
- Dimensional expansions
- Convergence laws for expansions of linear preorders
- Random expansions of finite structures with bounded degree
- Random expansions of trees with bounded height
- A convergence law for continuous logic and continuous structures with finite domains
This page was built for publication: Expansions of geometries
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3160571)
