Flipping properties in arithmetic

Journal of Symbolic Logic 47 (2):416-422 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273151

Links

PhilArchive



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

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: L. A. S. Kirby, J. B. Paris, A. Lachlan, M. Srebrny, A. Zarach, Initial Segments of Models of Peano's Axioms; J. B. Paris, Some Independence Results for Peano Arithmetic. [REVIEW]Stephen G. Simpson - 1983 - Journal of Symbolic Logic 48 (2):482-483.
Kirby L. A. S. and Paris J. B.. Initial segments of models of Peano's axioms. Set theory and hierarchy theory V, Bierutowice, Poland 1976, edited by Lachlan A., Srebrny M., and Zarach A., Lecture notes in mathematics, vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, pp. 211–226.Paris J. B.. Some independence results for Peano arithmetic. [REVIEW]Stephen G. Simpson - 1983 - Journal of Symbolic Logic 48 (2):482-483.
Goodstein R. L.. Logic-free formalisations of recursive arithmetic. Mathematica Scandinavica, Bd. 2 , S. 247–261.Rózsa Péter - 1959 - Journal of Symbolic Logic 24 (3):245-246.
Review: S. U. Maslov, Some Properties of E. L. Post's Apparatus of Canonical Systems. [REVIEW]E. M. Fels - 1967 - Journal of Symbolic Logic 32 (4):524-526.
Review: S. Feferman, R. L. Vaught, The First Order Properties of Products of Algebraic Systems. [REVIEW]Carol Karp - 1967 - Journal of Symbolic Logic 32 (2):276-276.
[Omnibus Review].Julius B. Barbanel - 1991 - Journal of Symbolic Logic 56 (3):1097-1098.
The equivalence of the disjunction and existence properties for modal arithmetic.Harvey Friedman & Michael Sheard - 1989 - Journal of Symbolic Logic 54 (4):1456-1459.
Review: R. L. Goodstein, Logic-free Formalisations of Recursive Arithmetic. [REVIEW]Rózsa Péter - 1959 - Journal of Symbolic Logic 24 (3):245-246.
omnibus Review. [REVIEW]Julius Barbanel - 1991 - Journal of Symbolic Logic 56 (3):1097-1098.
Decision problems concerning s-arithmetic groups.Fritz Grunewald & Daniel Segal - 1985 - Journal of Symbolic Logic 50 (3):743-772.

Analytics

Added to PP
2009-01-28

Downloads
29 (#135,560)

6 months
9 (#1,260,759)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.
Ultrafilters and types on models of arithmetic.L. A. S. Kirby - 1984 - Annals of Pure and Applied Logic 27 (3):215-252.
On the Depth of Gödel’s Incompleteness Theorems.Yong Cheng - forthcoming - Philosophia Mathematica.

Add more citations

References found in this work

Add more references