Injecting inconsistencies into models of pa

Annals of Pure and Applied Logic 44 (1-2):101-132 (1989)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,660

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2014-01-16

Downloads
7 (#1,075,219)

6 months
1 (#388,784)

Historical graph of downloads
How can I increase my downloads?

Similar books and articles

World Models and Inconsistencies.Erik Weber & Wim Christiaens - 1998 - Foundations of Science 3 (2):285-311.
An Economist's Glance at Goldman's Economics.Esther-Mirjam Sent - 1997 - Philosophy of Science 64 (4):148.
Complementary Explanations.Max Urchs - 1999 - Synthese 120 (1):137-149.
Injecting Uniformities Into Peano Arithmetic.Fernando Ferreira - 2009 - Annals of Pure and Applied Logic 157 (2-3):122-129.

Author's Profile

Robert Solovay
University of California, Berkeley

References found in this work

Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.
¹1-Formulae on Finite Structures.M. Ajtai - 1983 - Annals of Pure and Applied Logic 24 (1):1.

Add more references

Citations of this work

Slow Consistency.Sy-David Friedman, Michael Rathjen & Andreas Weiermann - 2013 - Annals of Pure and Applied Logic 164 (3):382-393.
A Small Reflection Principle for Bounded Arithmetic.Rineke Verbrugge & Albert Visser - 1994 - Journal of Symbolic Logic 59 (3):785-812.
An Addition to Rosser's Theorem.Henryk Kotlarski - 1996 - Journal of Symbolic Logic 61 (1):285-292.
Illusory Models of Peano Arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Symbolic Logic 81 (3):1163-1175.
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.

View all 7 citations / Add more citations