The Härtig quantifier: a survey

DOI10.2307/2275466zbMath0737.03013OpenAlexW2087142904MaRDI QIDQ3984397

H.Herre, Jouko Väänänen, Michał Krynicki, Aleksandr Georgievich Pinus

Publication date: 27 June 1992

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

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

zbMATH Keywords

surveyindependencedecidabilityexpressive poweropen problemsHärtig quantifierLöwenheim numberHanf numbermodel-theoretic propertiesgame-theoretic characterizationspectra of sentences

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic with extra quantifiers and operators (03C80)

Related Items (13)

LOGICALITY AND MODEL CLASSES ⋮ Generalized quantifiers and pebble games on finite structures ⋮ CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL ⋮ MAXIMALITY OF LOGIC WITHOUT IDENTITY ⋮ On Presburger arithmetic extended with non-unary counting quantifiers ⋮ Dynamic modal logic with counting: when reduction axioms work and fail ⋮ Quantifier elimination for counting extensions of Presburger arithmetic ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ Lindström theorems in graded model theory ⋮ Syllogistic Logic with Cardinality Comparisons ⋮ Decidability problems in languages with Henkin quantifiers ⋮ Undecidability results on two-variable logics ⋮ The Craig interpolation theorem in abstract model theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hanf number for the calculus with the Härtig quantifier
• Large infinitary languages. Model theory
• Beth's theorem in cardinality logics
• On the role of supercompact and extendible cardinals in logic
• Abstract logic and set theory. II. Large cardinals
• On Some Applications of Games for Härtig Quantifier
• A Quantifier for Isomorphisms
• The Theory of Abelian Groups With the Quantifier (≦ x)
• Decidability and Definability Results Concerning Well‐Orderings and Some Extensions of First Order Logic
• Boolean valued models and generalized quantifiers
• Elimination of Cardinality Quantifiers
• ZUM VERGLEICH VON HÄRTIGQUANTOR UND RESCHERQUANTOR
• Decidability with Respect to Härtig Quantifier and Rescher Quantifier
• ÜBER DIE KATEGORISIERBARKEIT GEWISSER KÖRPER IN NICHT‐ELEMENTAREN LOGIKEN
• Axioms for abstract model theory
• δ-Logics and generalized quantifiers
• Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren
• The Henkin Quantifier and Real Closed Fields
• Axiomatische Untersuchungen über Einige mit der Presburgerschen Arithmetik Verwandte Systeme
• SEMANTISCHE UNTERSUCHUNGEN ÜBER QUANTOREN I
• Semantische Untersuchungen Über Quantoren II
• Semantische Untersuchungen Über Quantoren III
• Some applications of model theory in set theory
• Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie I
• A Remark On The Härtig Quantifier

This page was built for publication: The Härtig quantifier: a survey