References in:

The härtig quantifier: A survey

Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen

Journal of Symbolic Logic 56 (4):1153-1183 (1991)

Add references

You must login to add references.

Über Einen Quantifikator Mit Zwei Wirk Ungsbereichen.Klaus Härtig - 1962 - In Colloquium on the Foundations of Mathematics, Mathematical Machines and their Applications.details No categories Direct download Export citation Bookmark 2 citations
Decidability with Respect to Härtig Quantifier and Rescher Quantifier.Martin Weese - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (36):569-576.details Logical Expressions in Logic and Philosophy of Logic Direct download Export citation Bookmark 1 citation
Boolean valued models and generalized quantifiers.Jouko Väänänen - 1980 - Annals of Mathematical Logic 18 (3):193-225.details Generalized Quantifiers in Philosophy of Language Direct download (3 more) Export citation Bookmark 4 citations
Elimination of Cardinality Quantifiers.H. P. Tuschik - 1982 - Mathematical Logic Quarterly 28 (4‐7):75-81.details Generalized Quantifiers in Philosophy of Language Direct download Export citation Bookmark 1 citation
Elimination of Cardinality Quantifiers.H. P. Tuschik - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (4-7):75-81.details Model Theory in Logic and Philosophy of Logic Direct download Export citation Bookmark 1 citation
Logic, Semantics, Metamathematics: Papers from 1923 to 1938.I. Grattan-Guinness - 1956 - Journal of Symbolic Logic 54 (1):281-282.details Logic and Philosophy of Logic Direct download Export citation Bookmark 42 citations
Some applications of model theory in set theory.Jack H. Silver - 1971 - Annals of Mathematical Logic 3 (1):45.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 54 citations
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie I.Wolfgang Rautenberg & Kurt Hauschild - 1971 - Mathematical Logic Quarterly 17 (1):47-55.details No categories Direct download (2 more) Export citation Bookmark 1 citation
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie I.Wolfgang Rautenberg & Kurt Hauschild - 1971 - Mathematical Logic Quarterly 17 (1):47-55.details No categories Direct download (2 more) Export citation Bookmark 1 citation
A Quantifier for Isomorphisms.J. Ouko Väänänen - 1980 - Mathematical Logic Quarterly 26 (7‐9):123-130.details Areas of Mathematics in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 1 citation
A Quantifier for Isomorphisms.J. Ouko Väänänen - 1980 - Mathematical Logic Quarterly 26 (7-9):123-130.details Areas of Mathematics in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 1 citation
δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.details Generalized Quantifiers in Philosophy of Language Direct download (3 more) Export citation Bookmark 32 citations
First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.details Generalized Quantifiers in Philosophy of Language Model Theory in Logic and Philosophy of Logic Direct download Export citation Bookmark 176 citations
On Some Applications of Games for Härtig Quantifier.Michal Krynicki - 1987 - Mathematical Logic Quarterly 33 (4):359-370.details Logic and Philosophy of Logic Logical Expressions in Logic and Philosophy of Logic Direct download Export citation Bookmark 2 citations
On Some Applications of Games for Härtig Quantifier.Michal Krynicki - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):359-370.details Logic and Philosophy of Logic Logical Expressions in Logic and Philosophy of Logic Direct download Export citation Bookmark 2 citations
Axioms for abstract model theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.details Mathematical Logic in Philosophy of Mathematics Direct download (3 more) Export citation Bookmark 48 citations
Semantische Untersuchungen Über Quantoren III.Walter Issel - 1970 - Mathematical Logic Quarterly 16 (8):421-438.details German Philosophy in European Philosophy Direct download Export citation Bookmark 2 citations
Semantische Untersuchungen Über Quantoren II.Walter Issel - 1970 - Mathematical Logic Quarterly 16 (5):281-296.details German Philosophy in European Philosophy Direct download Export citation Bookmark 2 citations
Semantische Untersuchungen Über Quantoren I.Walter Issel - 1969 - Mathematical Logic Quarterly 15 (23-24):353-358.details German Philosophy in European Philosophy Direct download (2 more) Export citation Bookmark 4 citations
Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren.H. Herre & A. G. Pinus - 1978 - Mathematical Logic Quarterly 24 (19-24):375-384.details No categories Direct download (2 more) Export citation Bookmark 1 citation
Zum vergleich Von härtigquantor und rescherquantor.Kurt Hauschild - 1981 - Mathematical Logic Quarterly 27 (16‐17):255-264.details No categories Direct download Export citation Bookmark 1 citation
Zum vergleich Von härtigquantor und rescherquantor.Kurt Hauschild - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (16-17):255-264.details No categories Direct download Export citation Bookmark 2 citations
Über die kategorisierbarkeit gewisser körper in nicht‐elementaren logiken.Kurt Hauschild & Helmut Wolter - 1969 - Mathematical Logic Quarterly 15 (7‐12):157-162.details No categories Direct download Export citation Bookmark 2 citations
Über die kategorisierbarkeit gewisser körper in nicht-elementaren logiken.Kurt Hauschild & Helmut Wolter - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):157-162.details No categories Direct download Export citation Bookmark 1 citation
A Remark On The Härtig Quantifier.Gebhard Fuhrken - 1972 - Mathematical Logic Quarterly 18 (13‐15):227-228.details Logic and Philosophy of Logic Logical Expressions in Logic and Philosophy of Logic Direct download Export citation Bookmark 6 citations
A Remark On The Härtig Quantifier.Gebhard Fuhrken - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (13-15):227-228.details Logic and Philosophy of Logic Logical Expressions in Logic and Philosophy of Logic Direct download Export citation Bookmark 6 citations
Large Infinitary Languages. Model Theory.Michael Makkai - 1978 - Journal of Symbolic Logic 43 (1):144-145.details Logic and Philosophy of Logic Direct download Export citation Bookmark 7 citations
Review: Alfred Tarski, Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.details Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 68 citations
The Henkin Quantifier and Real Closed Fields.John R. Cowles - 1981 - Mathematical Logic Quarterly 27 (31‐35):549-555.details Model Theory in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 2 citations
The Henkin Quantifier and Real Closed Fields.John R. Cowles - 1981 - Mathematical Logic Quarterly 27 (31-35):549-555.details Model Theory in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 2 citations
Decidability and Definability Results Concerning Well‐Orderings and Some Extensions of First Order Logic.Bogdan Stanislaw Chlebus - 1980 - Mathematical Logic Quarterly 26 (34‐35):529-536.details Logics in Logic and Philosophy of Logic Modal and Intensional Logic in Logic and Philosophy of Logic Direct download Export citation Bookmark 1 citation
Decidability and Definability Results Concerning Well-Orderings and Some Extensions of First Order Logic.Bogdan Stanislaw Chlebus - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (34-35):529-536.details Areas of Mathematics in Philosophy of Mathematics Direct download Export citation Bookmark 1 citation
The Theory of Abelian Groups With the Quantifier (≦ x).Andreas Baudisch - 1976 - Mathematical Logic Quarterly 23 (27‐30):447-462.details Model Theory in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 1 citation
The Theory of Abelian Groups With the Quantifier (≦ x).Andreas Baudisch - 1977 - Mathematical Logic Quarterly 23 (27-30):447-462.details Model Theory in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 1 citation
Decidability and Generalized Quantifiers.John Cowles - 1982 - Journal of Symbolic Logic 47 (4):907-908.details Logic and Philosophy of Logic Direct download Export citation Bookmark 2 citations
Axioms for abstract model theory.K. J. Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.details Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 57 citations
Axiomatische Untersuchungen über Einige mit der Presburgerschen Arithmetik Verwandte Systeme.Harry Apelt - 1966 - Mathematical Logic Quarterly 12 (1):131-168.details No categories Direct download Export citation Bookmark 3 citations
Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.details Logic and Philosophy of Logic Export citation Bookmark 322 citations

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...