Elementary equivalence of partition lattices (Q920980)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Elementary equivalence of partition lattices |
scientific article |
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