Elementary equivalence of partition lattices (Q920980): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q307878 |
Changed an Item |
||
| Property / author | |||
| Property / author: Aleksandr Georgievich Pinus / rank | |||
Normal rank | |||
Revision as of 19:58, 12 February 2024
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
