Infinite games and transfinite recursion of multiple inductive definitions

In S. Barry Cooper (ed.), How the World Computes. pp. 374--383 (2012)
  Copy   BIBTEX


This article has no associated abstract. (fix it)



    Upload a copy of this work     Papers currently archived: 93,745

External links

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

Through your library

Similar books and articles

Functional interpretation and inductive definitions.Jeremy Avigad & Henry Towsner - 2009 - Journal of Symbolic Logic 74 (4):1100-1120.
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.
Quantifiers, games and inductive definitions.Peter Aczel - 1975 - Journal of Symbolic Logic 82 (2):1--14.
What is effective transfinite recursion in reverse mathematics?Anton Freund - 2020 - Mathematical Logic Quarterly 66 (4):479-483.


Added to PP

20 (#181,865)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Weak axioms of determinacy and subsystems of analysis I: δ20 games.Kazuyuki Tanaka - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):481-491.

Add more references