×

A note on orthogonality and stable embeddedness. (English) Zbl 1100.03022

Let \(T\) be a first-order theory with variables \(x\) and \(y\) ranging over distinguished sorts \(P\) and \(Q\), respectively. \(P\) and \(Q\) are orthogonal if any formula \(\phi(x,y)\) is equivalent to a Boolean combination of formulas \(\psi_ i(x)\), \(\theta_ j(y)\), with the possible involvement of parameters. A collection \(\mathfrak P\) of sorts is stably embedded if every relation on sorts \(P_ 1,\dots, P_ m\in\mathfrak P\) with parameters in a model \(M\) of \(T\) can also be defined with parameters from elements of the sorts in \(\mathfrak P\).
The authors show that if \(P\) and \(Q\) are orthogonal and stably embedded, then \(P\cup Q \) is also stably embedded. As a corollary, if \(Q\) is orthogonal to \(P_ 1\) and to \(P_ 2\) and all three are stably embedded, then \(Q\) is orthogonal to \(P_ 1\cup P_ 2\). The proof of the main theorem uses the theory of locally finite groups and requires the classification of the finite simple groups.

MSC:

03C45 Classification theory, stability, and related concepts in model theory
PDF BibTeX XML Cite
Full Text: DOI

References:

[1] Proceedings of the NATO Advanced Study Institute on ”Finite and infinite Combinatorics in Sets and Logic”, (Banff’91) 411 pp 117– (1993)
[2] Finite Structures with Few Types 152 (2003) · Zbl 1024.03001
[3] DOI: 10.1090/S0002-9947-99-02498-8 · Zbl 0922.03054
[4] DOI: 10.1007/BF01196865 · Zbl 0518.20039
[5] Differential Galois Theory 58 pp 97– (2002)
[6] Une théorie de Galois imaginaire 48 pp 1151– (1983)
[7] Model Theory: An Introduction 217 pp 342– (2002) · Zbl 1003.03034
[8] Comptes Rendus Mathématiques de l’ Académie des Sciences, La Société Royale du Canada 13 pp 253– (1991)
[9] Classification theory and the number of nonisomorphic models 92 (1990)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.