ITTMs with Feedback

In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 341-354 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1515/9783110324907.341

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,169

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

The Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 – 2008.Solomon Feferman - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 7-30.
Towards a Formal Theory of Computability.Simon Huber, Basil A. Karádais & Helmut Schwichtenberg - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 257-282.
Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations.Arnold Beckmann & Samuel R. Buss - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 65-134.
Contents.[author unknown] - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter.
Σ11 Choice in a Theory of Sets and Classes.Gerhard Jäger & Jürg Krähenbühl - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 283-314.
Sandra B. Lubarsky and David Ray Griffin, eds., Jewish Theology and Process Thought Reviewed by.M. S. Lane - 1996 - Philosophy in Review 16 (5):360-362.
Preface.[author unknown] - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter.
What is Formal Axiology?Rem B. Edwards - 2008 - Journal of Formal Axiology: Theory and Practice 1:1-2.
Logspace without Bounds.Isabel Oitavem - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 355-362.
On Topological Models of GLP.Lev Beklemishev, Guram Bezhanishvili & Thomas Icard - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 135-156.

Analytics

Added to PP
2023-07-03

Downloads
6 (#1,722,136)

6 months
4 (#864,415)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references