๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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

No coin nor oath required. For personal study only.

โœฆ 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,


๐Ÿ“œ SIMILAR VOLUMES