Cardinality logics. Part II: Definability in languages based on ‘exactly’

DOI10.2307/2274570zbMath0668.03003OpenAlexW2088068767MaRDI QIDQ3820583

Harold T. Hodes

Publication date: 1988

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274570

zbMATH Keywords

higher-order logicexpressive power

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items (2)

Cardinality logics. I: Inclusions between languages based on ``exactly ⋮ Where do the natural numbers come from?

Cites Work

• Semigroups, Presburger formulas, and languages

This page was built for publication: Cardinality logics. Part II: Definability in languages based on ‘exactly’