An Unfinitizability Proof by Means of Restricted Reduced Power

Journal of Symbolic Logic 38 (1):159-161 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271760

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Review: Andrzej Grzegorczyk, An Unfinitizability Proof by Means of Restricted Reduced Power. [REVIEW]C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):159-161.
Epistemology of visual thinking in elementary real analysis.Marcus Giaquinto - 1994 - British Journal for the Philosophy of Science 45 (3):789-813.
Intuitionistic Choice and Restricted Classical Logic.Ulrich Kohlenbach - 2001 - Mathematical Logic Quarterly 47 (4):455-460.
Lambek calculus with restricted contraction and expansion.Andreja Prijatelj - 1992 - Studia Logica 51 (1):125 - 143.
Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.
Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
A unified approach to restricted games.E. Algaba, J. M. Bilbao & J. J. López - 2001 - Theory and Decision 50 (4):333-345.
Argumentative aspects of indirect proof.James Gasser - 1992 - Argumentation 6 (1):41-49.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
Proof-theoretic investigations on Kruskal's theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.
Full abstraction for Reduced ML.Andrzej S. Murawski & Nikos Tzevelekos - 2013 - Annals of Pure and Applied Logic 164 (11):1118-1143.
About the proof-theoretic ordinals of weak fixed point theories.Gerhard Jäger & Barbara Primo - 1992 - Journal of Symbolic Logic 57 (3):1108-1119.
Spinoza on power.R. J. McShea - 1969 - Inquiry: An Interdisciplinary Journal of Philosophy 12 (1-4):133 – 143.
Decidability without mathematics.Andrzej Grzegorczyk - 2004 - Annals of Pure and Applied Logic 126 (1-3):309-312.
Power over power: what power means in ordinary life, how it is related to acting freely, and what it can contribute to a renovated ethics of education.David Nyberg - 1981 - Ithaca: Cornell University Press.

Analytics

Added to PP
2015-02-05

Downloads
11 (#1,105,752)

6 months
1 (#1,533,009)

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

No references found.

Add more references