Cardinality logics. I: Inclusions between languages based on ``exactly

DOI10.1016/0168-0072(88)90010-3zbMath0653.03023OpenAlexW1975412541MaRDI QIDQ1107521

Harold T. Hodes

Publication date: 1988

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(88)90010-3

zbMATH Keywords

cardinalityhigher order logicEhrenfeucht-gamesScott-cardinals

Mathematics Subject Classification ID

Descriptive set theory (03E15) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85)

Related Items (1)

Where do the natural numbers come from?

Cites Work

• Unnamed Item
• Unnamed Item
• Where do the natural numbers come from?
• Cardinality logics. Part II: Definability in languages based on ‘exactly’

This page was built for publication: Cardinality logics. I: Inclusions between languages based on ``exactly