Notes on monadic logic. A: Monadic theory of the real line (Q1115431): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q590477 |
||
| Property / reviewed by | |||
| Property / reviewed by: J. M. Plotkin / rank | |||
Revision as of 22:40, 19 February 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Notes on monadic logic. A: Monadic theory of the real line |
scientific article |
Statements
Notes on monadic logic. A: Monadic theory of the real line (English)
0 references
1988
0 references
In an earlier paper with \textit{Yu. Gurevich} [ibid. 49, 55-68 (1984; Zbl 0575.03028)] the author showed that (assuming CH) the second-order theory of the continuum in the Cohen extension of the universe has an interpretation in the monadic theory of the real line as well as in the monadic theory of any non-modest short chain. In this paper the author shows how this result can be obtained without CH.
0 references
monadic theory of non-modest short chain
0 references
second-order theory of the continuum
0 references
Cohen extension of the universe
0 references
monadic theory of the real line
0 references
