Derivability conditions on Rosser's provability predicates

DOI10.1305/ndjfl/1093635585zbMath0722.03041OpenAlexW2167226116MaRDI QIDQ2641298

Toshiyasu Arai

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

zbMATH Keywords

open inductionprimitive recursive arithmeticPRAprovability predicateRosser sentencesRosser predicate

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

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