Derivability conditions on Rosser's provability predicates
From MaRDI portal
Publication:2641298
DOI10.1305/ndjfl/1093635585zbMath0722.03041OpenAlexW2167226116MaRDI QIDQ2641298
Publication date: 1990
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093635585
open inductionprimitive recursive arithmeticPRAprovability predicateRosser sentencesRosser predicate
Related Items (10)
Passive induction and a solution to a Paris-Wilkie open question ⋮ Rosser provability and normal modal logics ⋮ Arithmetical completeness theorems for monotonic modal logics ⋮ Henkin sentences and local reflection principles for Rosser provability ⋮ What’s so Special About the Gödel Sentence $$\mathcal {G}$$ ? ⋮ UNIVERSAL ROSSER PREDICATES ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency ⋮ A NOTE ON DERIVABILITY CONDITIONS ⋮ Rosser provability and the second incompleteness theorem
This page was built for publication: Derivability conditions on Rosser's provability predicates