The Härtig quantifier: a survey

DOI10.2307/2275466zbMATH Open0737.03013OpenAlexW2087142904MaRDI QIDQ3984397FDOQ3984397

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

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

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)

Cites Work

• Title not available (Why is that?)
• Large infinitary languages. Model theory
• Title not available (Why is that?)
• On the role of supercompact and extendible cardinals in logic
• δ-Logics and generalized quantifiers
• The Theory of Abelian Groups With the Quantifier (≦ x)
• Some applications of model theory in set theory
• Axioms for abstract model theory
• A Quantifier for Isomorphisms
• Boolean valued models and generalized quantifiers
• Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren
• Beth's theorem in cardinality logics
• Title not available (Why is that?)
• On Some Applications of Games for Härtig Quantifier
• The Henkin Quantifier and Real Closed Fields
• A Remark On The Härtig Quantifier
• Hanf number for the calculus with the Härtig quantifier
• SEMANTISCHE UNTERSUCHUNGEN ÜBER QUANTOREN I
• Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie I
• Abstract logic and set theory. II. Large cardinals
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decidability and Definability Results Concerning Well‐Orderings and Some Extensions of First Order Logic
• 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
• Axiomatische Untersuchungen über Einige mit der Presburgerschen Arithmetik Verwandte Systeme
• Semantische Untersuchungen Über Quantoren II
• Semantische Untersuchungen Über Quantoren III

Cited In (17)

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

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)