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

DOI10.2307/2274570MaRDI QIDQ3820583zbMATH OpenOpenAlexFDO

Authors 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

expressive powerhigher-order logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Recommendations

• Cardinality logics. I: Inclusions between languages based on ``exactly
• scientific article; zbMATH DE number 554987
• Compactness in logic with cardinality quantifiers
• scientific article; zbMATH DE number 2038747
• Expressing cardinality quantifiers in monadic second-order logic over chains
• Weak cardinality theorems for first-order logic (extended abstract)
• scientific article; zbMATH DE number 4170882
• Enhancing fixed point logic with cardinality quantifiers
• The cardinality of parametric bases in chain logics
• Expressing cardinality quantifiers in monadic second-order logic over trees

Cites work

• Semigroups, Presburger formulas, and languages

Cited in

(9)

• Cardinality logics. I: Inclusions between languages based on ``exactly
• Where do the natural numbers come from?
• Exclusion problems and the cardinality of logical space
• Expansions of MSO by cardinality relations
• Regular tree languages, cardinality predicates, and addition-invariant FO
• scientific article; zbMATH DE number 3963824 (Why is no real title available?)
• scientific article; zbMATH DE number 2038747 (Why is no real title available?)
• Weak cardinality theorems for first-order logic (extended abstract)
• Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3820583)