On a Problem by D. Guaspari

, , &
Journal of Symbolic Logic 54 (2):630-630 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274885

Links

PhilArchive



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

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

Review: Christian Bennet, Mats Furberg, Thomas Wetterstrom, Claes Aberg, On a Problem by D. Guaspari. [REVIEW]Juha Oikkonen - 1989 - Journal of Symbolic Logic 54 (2):630-630.
Logic and Abstraction: Essays Dedicated to Per Lindström on His Fiftieth Birthday.Mats Furberg, Thomas Wetterström & Claes Åberg (eds.) - 1986 - Göteborg, Sweden and Atlantic Highlands, NJ: Acta Universitatis Gothoburgensis.
A simplification of a completeness proof of Guaspari and Solovay.Dick H. J. Jongh - 1987 - Studia Logica 46 (2):187 - 192.
Modal analysis of generalized Rosser sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.
Sentences implying their own provability.David Guaspari - 1983 - Journal of Symbolic Logic 48 (3):777-789.
Definability in models of set theory.David Guaspari - 1980 - Journal of Symbolic Logic 45 (1):9-19.
A note on the Kondo-Addison theorem.David Guaspari - 1974 - Journal of Symbolic Logic 39 (3):567-570.
Calculating self-referential statements: Guaspari sentences of the first kind.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):329-344.
A simplification of the completeness proofs for Guaspari and Solovay's ${\rm R}$.Frans Voorbraak - 1989 - Notre Dame Journal of Formal Logic 31 (1):44-63.
A Simplification of the Completeness Proofs for Guaspari and Solovay's R.Frans Voorbraak - 1989 - Notre Dame Journal of Formal Logic 31 (1):44-63.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
Sagt Och Menat 17 Uppsatser Tillägnade Mats Furberg På Hans50-Årsdag. --.Mats Furberg - 1983 - Institutionen För Filosofi, Göteborgs Universitet.
Report on Analysis Problem no. 14.D. J. O'Connor, Joseph Margolis, Mats Furberg & Tore Nordenstam - 1958 - Analysis 19 (5):97 - 100.
The Problem of the Problem of Akrasia.Stephen Cohen - 1986 - Pacific Philosophical Quarterly 67 (1):62.
A Short Note on Essentially Σ1 Sentences.Franco Montagna & Duccio Pianigiani - 2013 - Logica Universalis 7 (1):103-111.

Analytics

Added to PP
2015-02-05

Downloads
12 (#1,025,624)

6 months
3 (#902,269)

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