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: 91,219

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 strength of nonstandard methods in arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
Equivalence of F with a sub-theory of peano arithmetic.Andrew Boucher - manuscript
Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap.Michael Potter - 2000 - Oxford and New York: Oxford University Press.
Models of arithmetic and upper Bounds for arithmetic sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
Model-theoretic properties characterizing peano arithmetic.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (3):949-963.
In defense of epistemic arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.
General arithmetic.Andrew Boucher - manuscript
Flipping and ex post aggregation.Matthias Hild, Mathias Risse & Richard Je¤rey - unknown
Arithmetic on a parallel computer: Perception versus logic. [REVIEW]James A. Anderson - 2003 - Brain and Mind 4 (2):169-188.
Classical arithmetic as part of intuitionistic arithmetic.Michael Potter - 1998 - Grazer Philosophische Studien 55 (1):127-41.

Analytics

Added to PP
2009-01-28

Downloads
20 (#723,940)

6 months
1 (#1,459,555)

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