Elementary equivalence of partition lattices (Q920980): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf00969667 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2089201013 / rank | |||
Normal rank | |||
Latest revision as of 11:37, 30 July 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
