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
surveyindependencedecidabilityexpressive poweropen problemsHanf numbermodel-theoretic propertiesgame-theoretic characterizationLöwenheim numberHärtig quantifierspectra of sentences
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)