Generic generalized Rosser fixed points

✍ Scribed by Dick H. J. Jongh; Franco Montagna

• Publisher: Springer Netherlands
• Year: 1987
• Tongue: English
• Weight: 682 KB
• Volume: 46
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/bf00370381

✦ Synopsis

To the standard propositional modal system of provability logic constants arc added to account for the arithmetical fixed points introduced by Bernardi.

-Montagna in [5]. With that interpretation in mind, a system LR of modal propositional logic is axiomatized, a modal completeness theorem is established for LR and, after that, a uniform arithmetical (Solovay-type) completeness theorem with respect to PA is obtained for LR. w * This paper supersedes: Franco 1Kontagna, .Extremely undeeidable sentences and generiv generalized Bosser's fixed ~oints, Rappo~to Matematieo,