Notes on monadic logic. Part B: Complexity of linear orders in ZFC (Q912091)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Notes on monadic logic. Part B: Complexity of linear orders in ZFC |
scientific article |
Statements
Notes on monadic logic. Part B: Complexity of linear orders in ZFC (English)
0 references
1990
0 references
[For Part A see ibid 63, No.3, 335-352 (1988; Zbl 0664.03034).] From the author's abstract: ``We prove in ZFC: (a) that the monadic theory of linear order (syntactically) interprets and has the same L wenheim number as second order logic (the interpretation is semantical but not in the ``classical'' way), (b) a parallel (weaker) result for monadic logic for completely metrizable spaces.''
0 references
monadic theory of linear order
0 references
monadic logic for completely metrizable spaces
0 references
