The classical and the ω-complete arithmetic

, &
Journal of Symbolic Logic 23 (2):188-206 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964398

Links

PhilArchive



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

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

Grzegorczyk A., Mostowski A., and Ryll-Nardzewski C.. The classical and the ω-complete arithmetic. [REVIEW]Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (1):80-81.
Review: A. Grzegorczyk, A. Mostowski, C. Ryll-Nardzewski, Definability of Sets in Models of Axiomatic Theories. [REVIEW]Azriel Levy - 1969 - Journal of Symbolic Logic 34 (1):126-126.
A. Grzegorczyk, A. Mostowski, and C. Ryll-Nardzewski. Definability of sets in models of axiomatic theories. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 , pp. 163–167. [REVIEW]Azriel Lévy - 1969 - Journal of Symbolic Logic 34 (1):126-126.
Review: C. Ryll-Nardzewski, The Role of the Axiom of Induction in Elementary Arithmetic. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (4):287-288.
Review: Andrzej Mostowski, Sentences Undecidable in Formalized Arithmetic. An Exposition of the Theory of Kurt Godel. [REVIEW]G. Hasenjaeger - 1954 - Journal of Symbolic Logic 19 (2):119-121.
Ryll-Nardzewski C.. The role of the axiom of induction in elementary arithmetic. Fundamenta mathematicae, vol. 39 , pp. 239–263. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (4):287-288.
Review: Andrzej Grzegorczyk, On the Concept of Categoricity; A. Grzegorczyk, A Kind of Categoricity. [REVIEW]Gunter Asser - 1965 - Journal of Symbolic Logic 30 (3):387-388.
Review: Ulrich Felgner, Comparison of the Axioms of Local and Universal Choice; Andrzej Mostowski, Models of Second Order Arithmetic with Definable Skolem Functions. [REVIEW]S. G. Simpson - 1973 - Journal of Symbolic Logic 38 (4):652-653.
Review: Andrzej Grzegorczyk, Fonctions Recursives. [REVIEW]Rozsa Peter - 1966 - Journal of Symbolic Logic 31 (3):481-483.
Review: Andrzej Mostowski, Imre Lakatos, Recent Results in Set Theory; G. Kreisel, A. Robinson, L. Kalmar, A. Mostowski, Discussion; Andrzej Mostowski, On Some New Metamathematical Results Concerning Set Theory. [REVIEW]T. Jech - 1972 - Journal of Symbolic Logic 37 (4):765-766.

Analytics

Added to PP
2009-01-28

Downloads
29 (#569,467)

6 months
259 (#9,527)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 16 citations / Add more citations

References found in this work

Solvable Cases of the Decision Problem.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (1):68-72.

Add more references