On Some Applications of Games for Härtig Quantifier

Mathematical Logic Quarterly 33 (4):359-370 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19870330411

Other Versions

reprint Krynicki, Michal (1987) "On Some Applications of Games for Härtig Quantifier". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33(4):359-370

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,173

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Remark On The Härtig Quantifier.Gebhard Fuhrken - 1972 - Mathematical Logic Quarterly 18 (13‐15):227-228.
When cardinals determine the power set: inner models and Härtig quantifier logic.Jouko Väänänen & Philip D. Welch - forthcoming - Mathematical Logic Quarterly.
Decidability of Some Logics with Free Quantifier Variables.D. A. Anapolitanos & J. A. Väänänen - 1981 - Mathematical Logic Quarterly 27 (2-6):17-22.
Consequences of neocompact quantifier elimination.Stefano Baratella & Siu-Ah Ng - 2003 - Mathematical Logic Quarterly 49 (2):150-162.
Equivalence and quantifier rules for logic with imperfect information.Xavier Caicedo, Francien Dechesne & Theo Janssen - 2008 - Logic Journal of the IGPL 17 (1):91-129.
A Quantifier for Isomorphisms.J. Ouko Väänänen - 1980 - Mathematical Logic Quarterly 26 (7-9):123-130.
The U‐Quantifier.A. H. Lachlan - 1961 - Mathematical Logic Quarterly 7 (11-14):171-174.
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.
Definability on Formulas With Single Quantifier.Shih-Ping Tung - 1988 - Mathematical Logic Quarterly 34 (2):105-108.

Analytics

Added to PP
2013-12-01

Downloads
18 (#1,110,421)

6 months
5 (#1,037,427)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Henkin and function quantifiers.Michael Krynicki & Jouko Väänänen - 1989 - Annals of Pure and Applied Logic 43 (3):273-292.

Add more citations

References found in this work

No references found.

Add more references