The Härtig quantifier: a survey

DOI10.2307/2275466MaRDI QIDQ3984397zbMATH OpenOpenAlexFDO

Authors Heinrich Herre, Michał Krynicki, Jouko Väänänen, A. G. 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 problemsHanf numbermodel-theoretic propertiesgame-theoretic characterizationLöwenheim numberHärtig quantifierspectra 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)

Recommendations

• On Some Applications of Games for Härtig Quantifier
• Calculus with the quantifier of elementary equivalence
• Closed and unbounded classes and the Härtig quantifier model
• Hierarchies of monadic generalized quantifiers
• Definability hierarchies of generalized quantifiers

Cites work

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

Cited in

(17)

• Calculus with the quantifier of elementary equivalence
• Quantifier elimination for counting extensions of Presburger arithmetic
• Undecidability results on two-variable logics
• Generalized quantifiers and pebble games on finite structures
• Closed and unbounded classes and the Härtig quantifier model
• The Craig interpolation theorem in abstract model theory
• LOGICALITY AND MODEL CLASSES
• On Some Applications of Games for Härtig Quantifier
• Decidability problems in languages with Henkin quantifiers
• INTERLEAVING LOGIC AND COUNTING
• On two-variable guarded fragment logic with expressive local Presburger constraints
• Lindström theorems in graded model theory
• Dynamic modal logic with counting: when reduction axioms work and fail
• An investigation of the negationless fragment of the Rescher-Härtig quantifier
• On Presburger arithmetic extended with non-unary counting quantifiers
• MAXIMALITY OF LOGIC WITHOUT IDENTITY
• Syllogistic logic with cardinality comparisons

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

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