More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\) (Q916645)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\) |
scientific article |
Statements
More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\) (English)
0 references
1990
0 references
[For Parts A and B see ibid. 63, No. 3, 335--352 (1988; Zbl 0664.03034) and ibid. 69, No. 1, 94--116 (1990; Zbl 0698.03034), respectively.] This paper contributes to the classification of pairs (\(\mathcal T,Q)\) where \(\mathcal T\) is a first order theory and \(Q\) is a quantifier. The main result concerns \(\mathcal T\) in a finite language which are stable but not superstable. For such \(\mathcal T\) ``one can, in monadic logic, interpret in it essentially trees \((^{\omega \geq}\lambda,<)\) with quantification \((Q^{pd}f)\) (on pressing down functions)''. Knowledge of earlier papers is required of the reader.
0 references
first order theory
0 references
quantifier
0 references
monadic logic
0 references
trees
0 references
pressing down functions
0 references