An infinitistic rule of proof

Journal of Symbolic Logic 32 (4):447-451 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1968

DOI

10.2307/2270173

Other Versions

No versions found

Links

PhilArchive



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

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

Mostowski A.. A class of models for second order arithmetic. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 , pp. 401–404.Mostowski A.. Formal system of analysis based on an infinitistic rule of proof. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 141–166. [REVIEW]H. B. Enderton - 1969 - Journal of Symbolic Logic 34 (1):128-129.
H. B. Enderton. On provable recursive functions. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 86–88.Hartley Rogers - 1973 - Journal of Symbolic Logic 38 (3):526-527.
Enderton H. B.. The unique existential quantifier. Archiv für mathematische Logik und Grundlagenforschung, vol. 13 , pp. 52–54. [REVIEW]Donald A. Martin - 1975 - Journal of Symbolic Logic 40 (4):627-627.
Enderton H. B.. Hierarchies in recursive function theory. Transactions of the American Mathematical Society, vol. III , pp. 457–471. [REVIEW]Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (2):262-263.
H. B. Enderton and Harvey Friedman. Approximating the standard model of analysis. Fundamenta mathematicae, vol. 72 no. 2 , pp. 175–188. [REVIEW]Andrzej Mostowski - 1974 - Journal of Symbolic Logic 39 (3):600-601.
Semantics of the infinitistic rules of proof.Krzysztof Rafal Apt - 1976 - Journal of Symbolic Logic 41 (1):121-138.

Analytics

Added to PP
2009-01-28

Downloads
59 (#363,761)

6 months
22 (#137,212)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Second order arithmetic and related topics.K. R. Apt & W. Marek - 1974 - Annals of Mathematical Logic 6 (3):177.

Add more citations

References found in this work

No references found.

Add more references