Notre Dame Journal of Formal Logic 31 (4):487-497 (1990)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1093635585
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: 60,795
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

A Note on Derivability Conditions.Taishi Kurahashi - 2020 - Journal of Symbolic Logic 85 (3):1224-1253.
Hilbert's Program Then and Now.Richard Zach - 2007 - In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: North Holland. pp. 411–447.
Universal Rosser Predicates.Makoto Kikuchi & Taishi Kurahashi - 2017 - Journal of Symbolic Logic 82 (1):292-302.

View all 9 citations / Add more citations

Similar books and articles

Gödelizing the Yablo Sequence.Cezary Cieśliński & Rafal Urbaniak - 2013 - Journal of Philosophical Logic 42 (5):679-695.
Giving an Account of Provability Within a Theory.Peter Roeper - 2003 - Philosophia Mathematica 11 (3):332-340.
Incompleteness in a General Setting (Vol 13, Pg 21, 2007).John Bell - 2008 - Bulletin of Symbolic Logic 14 (1):21 - 30.
Rosser Orderings and Free Variables.Dick Jongh & Franco Montagna - 1991 - Studia Logica 50 (1):71 - 80.
Confirmation Theory, Order, and Periodicity.Peter Achinstein - 1963 - Philosophy of Science 30 (1):17-35.
Vague Predicates and Language Games.Rohit Parikh - 1996 - Theoria 11 (3):97-107.

Analytics

Added to PP index
2010-08-24

Total views
40 ( #262,072 of 2,438,794 )

Recent downloads (6 months)
1 ( #436,491 of 2,438,794 )

How can I increase my downloads?

Downloads

My notes