Bernays's Non-Circular Proof of the Non-Independence of the Fourth Axiom of Principia Mathematica

Analysis 36 (4):207 - 208 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/analys/36.4.207

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

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 Circularity of the Proof of the Non-Independence of the Fourth Axiom of Principia Mathematica.Joseph Danquah - 1976 - Analysis 36 (2):110 - 111.
The definability of the set of natural numbers in the 1925 principia mathematica.Gregory Landini - 1996 - Journal of Philosophical Logic 25 (6):597 - 615.
A note on the redundant axiom of principia mathematica.Peter Nidditch - 1960 - Mind 69 (274):251-252.
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.
Independence results for class forms of the axiom of choice.Paul E. Howard, Arthur L. Rubin & Jean E. Rubin - 1978 - Journal of Symbolic Logic 43 (4):673-684.
Russell's substitutional theory of classes and relations.Gregory Landini - 1987 - History and Philosophy of Logic 8 (2):171-200.
Using mathematica to understand the computer proof of the Robbins conjecture.Branden Fitelson - manuscript
The independence of peano's fourth axiom from Martin-löf's type theory without universes.Jan M. Smith - 1988 - Journal of Symbolic Logic 53 (3):840-845.
E pluribus unum: Plural logic and set theory.John P. Burgess - 2004 - Philosophia Mathematica 12 (3):193-221.
The Triumph of Types: Principia Mathematica's Impact on Computer Science.Robert L. Constable - unknown
Quantification Theory in *9 of Principia Mathematica.Gregory Landini - 2000 - History and Philosophy of Logic 21 (1):57-77.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
Cut-elimination for simple type theory with an axiom of choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
Critical studies/book reviews 319.Jody Azzouni & Otavio Bueno - unknown
Critical studies/book reviews 319.Otavio Bueno & Jour AZZOUNI - unknown

Analytics

Added to PP
2011-05-29

Downloads
29 (#554,418)

6 months
3 (#984,214)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references