An example of two cardinals that are equivalent in the \(n\)-order logic and not equivalent in the \((n + 1)\)-order logic (Q2258885)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An example of two cardinals that are equivalent in the \(n\)-order logic and not equivalent in the \((n + 1)\)-order logic |
scientific article |
Statements
An example of two cardinals that are equivalent in the \(n\)-order logic and not equivalent in the \((n + 1)\)-order logic (English)
0 references
27 February 2015
0 references
equivalence of cardinals
0 references
higher-order logic
0 references
