scientific article; zbMATH DE number 1163948

MaRDI QIDQ4395572zbMATH OpenFDO

Authors Žarko Mijajlović

Publication date 4 August 1998

zbMATH Keywords

definabilityeliminabilitygeneralized quantifiermodels of Peano arithmeticthere exist uncountably manyVaught's two-cardinal theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Quantifier elimination, model completeness, and related topics (03C10) Models of arithmetic and set theory (03C62) Logic with extra quantifiers and operators (03C80)

Recommendations

• On the definability of the quantifier there exist uncountably many
• Algebraic analysis of the logic with the quantifier there exist uncountably many
• scientific article; zbMATH DE number 45180
• scientific article; zbMATH DE number 4043829
• Expressing cardinality quantifiers in monadic second-order logic over chains

Cited in

(10)

• On the definability of the quantifier there exist uncountably many
• Algebraic analysis of the logic with the quantifier there exist uncountably many
• A model and its subset: The uncountable case
• Characterizing all models in infinite cardinalities
• Quantifiers in limits
• scientific article; zbMATH DE number 4043829 (Why is no real title available?)
• scientific article; zbMATH DE number 45180 (Why is no real title available?)
• Sur l'existence de modèles du second ordre non dénombrables avec domaine du premier ordre dénombrable
• On the elimination of Malitz quantifiers over Archimedian real closed fields
• Languages with finite string of quantifiers on uncountable structures

This page was built for publication:

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