The Unprovability of the Consistency

Studia Logica 41 (1):83-84 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

  • This entry has no external links. Add one.
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

Unprovability and Proving Unprovability.Mingzhong Cai - 2015 - Studia Logica 103 (3):559-578.
The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.
Review: George Boolos, The Unprovability of Consistency. An Essay in Modal Logic. [REVIEW]C. Smorynski - 1981 - Journal of Symbolic Logic 46 (4):871-873.
Unprovability of consistency statements in fragments of bounded arithmetic.Samuel R. Buss & Aleksandar Ignjatović - 1995 - Annals of Pure and Applied Logic 74 (3):221-244.
Shocking(?) Unprovability.Harvey M. Friedman - unknown
A philosophical remark on Gödel's unprovability of consistency proof.Francesca Rivetti Barbò - 1968 - Notre Dame Journal of Formal Logic 9 (1):67-74.
Exact unprovability results for compound well-quasi-ordered combinatorial classes.Andrey Bovykin - 2009 - Annals of Pure and Applied Logic 157 (2-3):77-84.
Herbrand consistency of some arithmetical theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
The Independence of the Parallel Postulate and Development of Rigorous Consistency Proofs.David J. Stump - 2007 - History and Philosophy of Logic 28 (1):19-30.
The consistency of arithmetic.Storrs McCall - manuscript
Fictional propositions and the unprovability of consistency.Enrico Martino - 2006 - Grazer Philosophische Studien 72 (1):201-210.
Unprovability threshold for the planar graph minor theorem.Andrey Bovykin - 2010 - Annals of Pure and Applied Logic 162 (3):175-181.
The consistency strength of an infinitary Ramsey property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2):153-207.
The Single-minded Pursuit of Consistency and its Weakness.Walter Carnielli - 2011 - Studia Logica 97 (1):81 - 100.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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