Concerning some cylindric algebra versions of the downward Löwenheim- Skolem theorem (Q1109770)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Concerning some cylindric algebra versions of the downward Löwenheim- Skolem theorem |
scientific article; zbMATH DE number 4070897
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Concerning some cylindric algebra versions of the downward Löwenheim- Skolem theorem |
scientific article; zbMATH DE number 4070897 |
Statements
Concerning some cylindric algebra versions of the downward Löwenheim- Skolem theorem (English)
0 references
1988
0 references
The cylindric-algebra version of the downward Löwenheim-Skolem theorem found in the book of \textit{L. Henkin}, \textit{J. D. Monk}, \textit{A. Tarski}, \textit{H. Andréka}, and \textit{I. Németi} [Cylindric set algebras (1981; Zbl 0497.03025)] left several questions open. The author answers most of these questions, either by extending that theorem, or providing counterexamples to possible extensions.
0 references
cylindric algebra
0 references
downward Löwenheim-Skolem theorem
0 references
0 references
0.8497212
0 references
0.8467583
0 references
0.84646404
0 references
0 references
0 references
