Elementary equivalence of partition lattices (Q920980)
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: Elementary equivalence of partition lattices |
scientific article; zbMATH DE number 4164822
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Elementary equivalence of partition lattices |
scientific article; zbMATH DE number 4164822 |
Statements
Elementary equivalence of partition lattices (English)
0 references
1988
0 references
It is shown that the expressive power of partition lattices of infinite sets in first order logic is the same as the expressive power of the sets in full second order logic.
0 references
elementary equivalence
0 references
expressive power
0 references
partition lattices of infinite sets
0 references
first order logic
0 references
second order logic
0 references
