An example of two cardinals that are equivalent in the \(n\)-order logic and not equivalent in the \((n + 1)\)-order logic

DOI10.1007/S10958-014-2002-0zbMath1323.03052OpenAlexW2079755737MaRDI QIDQ2258885

V. A. Bragin, E. I. Bunina

Publication date: 27 February 2015

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-014-2002-0

zbMATH Keywords

higher-order logicequivalence of cardinals

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85) Ordinal and cardinal numbers (03E10)

Cites Work

• Model theory
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Unnamed Item

This page was built for publication: An example of two cardinals that are equivalent in the \(n\)-order logic and not equivalent in the \((n + 1)\)-order logic