- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On Rosser's Provability Predicate
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (19-22):317-330 (1991)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
On Rosser's Provability Predicate.V. Yu Shavrukov - 1991 - Mathematical Logic Quarterly 37 (19‐22):317-330.
On Rosser's Provability Predicate.V. Shavrukov - 1991 - Mathematical Logic Quarterly 37 (19-22):317-330.
A probabilistic machine for the estimation of provability in the first order predicate calculus.S. C. van Westrhenen - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (19):291-297.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
Gödelizing the Yablo Sequence.Cezary Cieśliński & Rafal Urbaniak - 2013 - Journal of Philosophical Logic 42 (5):679-695.
Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras.Franco Montagna - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):293-303.
Provability in Elementary Type Theory.Peter B. Andrews - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):411-418.
Provability logic in the Gentzen formulation of arithmetic.Paolo Gentilini & P. Gentilini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):535-550.
A theorem on labelled trees and the limits of its provability.Helmut Pfeiffer - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (2):107-122.
A generalization of lindenbaum's theorem for predicate calculi.Konrad Schultz - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (9-11):165-168.
Analytics
Added to PP
2016-02-04
Downloads
26 (#631,133)
6 months
3 (#1,045,901)
2016-02-04
Downloads
26 (#631,133)
6 months
3 (#1,045,901)
Historical graph of downloads
Citations of this work
Henkin sentences and local reflection principles for Rosser provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.
Bimodal logics for extensions of arithmetical theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.
Arithmetical completeness theorems for monotonic modal logics.Haruka Kogure & Taishi Kurahashi - 2023 - Annals of Pure and Applied Logic 174 (7):103271.
References found in this work
Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
Generic Generalized Rosser Fixed Points.Dick H. J. de Jongh & Franco Montagna - 1987 - Studia Logica 46 (2):193-203.
A Simplification of a Completeness Proof of Guaspari and Solovay.Dick H. J. de Jongh - 1987 - Studia Logica 46 (2):187-192.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-hhxx8 uwo