Quantifiers, games and inductive definitions

Journal of Symbolic Logic 82 (2):1--14 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272835

Other Versions

edition Aczel, Peter; Kanger, Stig; Fine, Kit; Hansson, Bengt; Hintikka, Jaakko (1978) "Quantifiers, Games and Inductive Definitions". Journal of Symbolic Logic 43(2):373-376

Links

PhilArchive



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

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

Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 15–31. - Bengt Hansson and Peter Gärdenfors. Filtations and the finite frame property in Boolean semantics. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Compa. [REVIEW]S. K. Thomason - 1978 - Journal of Symbolic Logic 43 (2):373-376.
Comparing inductive and circular definitions: Parameters, complexity and games.Kai-Uwe Küdhnberger, Benedikt Löwe, Michael Möllerfeld & Philip Welch - 2005 - Studia Logica 81 (1):79 - 98.
Infinite games and transfinite recursion of multiple inductive definitions.Keisuke Yoshii & Kazuyuki Tanaka - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 374--383.
Abstract inductive and co-inductive definitions.Giovanni Curi - 2018 - Journal of Symbolic Logic 83 (2):598-616.
Review: Gaisi Takeuti, On the Inductive Definition with Quantifiers of Second Order. [REVIEW]Kurt Schutte - 1964 - Journal of Symbolic Logic 29 (3):147-147.
A Survey of Determinacy of Infinite Games in Second Order Arithmetic.Keisuke Yoshii - 2017 - Annals of the Japan Association for Philosophy of Science 25:35-44.
Analytic inductive definitions.Douglas Cenzer - 1974 - Journal of Symbolic Logic 39 (2):310-312.
Monotone inductive definitions over the continuum.Douglas Cenzer - 1976 - Journal of Symbolic Logic 41 (1):188-198.

Analytics

Added to PP
2012-03-18

Downloads
33 (#690,648)

6 months
3 (#1,480,774)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On branching quantifiers in English.Jon Barwise - 1979 - Journal of Philosophical Logic 8 (1):47 - 80.
Selective ultrafilters and homogeneity.Andreas Blass - 1988 - Annals of Pure and Applied Logic 38 (3):215-255.
Guarded quantification in least fixed point logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.

Add more citations

References found in this work

No references found.

Add more references