Injecting inconsistencies into models of pa

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

Authors
Robert Solovay
University of California, Berkeley
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/0168-0072(89)90048-1
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 41,481
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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 BETA

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.
Duality, Non-Standard Elements, and Dynamic Properties of R.E. Sets.V. Yu Shavrukov - 2016 - Annals of Pure and Applied Logic 167 (10):939-981.

View all 6 citations / Add more citations

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.

Analytics

Added to PP index
2014-01-16

Total views
5 ( #989,802 of 2,247,893 )

Recent downloads (6 months)
1 ( #1,031,786 of 2,247,893 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature