A formalization of essenin-volpin's proof theoretical studies by means of nonstandard analysis

Journal of Symbolic Logic 39 (1):81-87 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272346

Links

PhilArchive



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

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 set theoretical foundations of nonstandard analysis.N. C. K. Phillips - 1973 - Journal of Symbolic Logic 38 (2):189-192.
Review: Ernest Nagel, James R. Newman, Godel's Proof. [REVIEW]Th Skolem - 1959 - Journal of Symbolic Logic 24 (3):222-222.
Fragment of nonstandard analysis with a finitary consistency proof.Michal Rössler & Emil Jeřábek - 2007 - Bulletin of Symbolic Logic 13 (1):54-70.
Review: Ernest Nagel, James R. Newman, Godel's Proof. [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (4):374-374.
Review: Michael Detlefsen, Proof, Logic and Formalization. [REVIEW]Mark Steiner - 1993 - Journal of Symbolic Logic 58 (4):1459-1462.
Review: Michael Detlefsen, Proof, Logic and Formalization. [REVIEW]Mark Steiner - 1994 - Journal of Symbolic Logic 59 (4):1459-1462.
Nagel Ernest and Newman James R.. Gödel's proof. Scientific American, vol. 194 no. 6 , pp. 71–84, 86.Alonzo Church - 1956 - Journal of Symbolic Logic 21 (4):374-374.
A Model of $\widehat{R}^2_3$ inside a Subexponential Time Resource.Eugenio Chinchilla - 1998 - Notre Dame Journal of Formal Logic 39 (3):307-324.
Improved Definition of NonStandard Neutrosophic Logic and Introduction to Neutrosophic Hyperreals (Fifth version).Florentin Smarandache - 2022 - Neutrosophic Sets and Systems 51 (1):1-20.
Nagel Ernest and Newman James R.. Gödei's proof. New York University Press, New York 1958, ix + 118 pp. [REVIEW]Th Skolem - 1959 - Journal of Symbolic Logic 24 (3):222-222.

Analytics

Added to PP
2009-01-28

Downloads
221 (#93,233)

6 months
13 (#278,026)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Strict finitism, feasibility, and the sorites.Walter Dean - 2018 - Review of Symbolic Logic 11 (2):295-346.
Is there a nonrecursive decidable equational theory?Benjamin Wells - 2002 - Minds and Machines 12 (2):301-324.

Add more citations

References found in this work

No references found.

Add more references