Journal of Philosophical Logic 13 (1):97 - 113 (1984)

Authors
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00297579
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,046
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

Provability Interpretations of Modal Logic.Robert M. Solovay - 1981 - Journal of Symbolic Logic 46 (3):661-662.
Relatively Precomplete Numerations and Arithmetic.Franco Montagna - 1982 - Journal of Philosophical Logic 11 (4):419 - 430.
Extremely Undecidable Sentences.George Boolos - 1982 - Journal of Symbolic Logic 47 (1):191-196.

Add more references

Citations of this work BETA

The Formalization of Interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.
Undecidability in Diagonalizable Algebras.V. Yu Shavrukov - 1997 - Journal of Symbolic Logic 62 (1):79-116.

View all 14 citations / Add more citations

Similar books and articles

On First-Order Theories with Provability Operator.Sergei Artëmov & Franco Montagna - 1994 - Journal of Symbolic Logic 59 (4):1139-1153.
Bimodal Logics for Extensions of Arithmetical Theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.
On the Complexity of Models of Arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
Models Without Indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
String Theory.John Corcoran, William Frank & Michael Maloney - 1974 - Journal of Symbolic Logic 39 (4):625-637.

Analytics

Added to PP index
2009-01-28

Total views
30 ( #366,258 of 2,454,489 )

Recent downloads (6 months)
1 ( #449,269 of 2,454,489 )

How can I increase my downloads?

Downloads

My notes