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

More on monadic logic part D: A note on addition of theories

โœ Scribed by Saharon Shelah

Book ID
112887018
Publisher
The Hebrew University Magnes Press
Year
1989
Tongue
English
Weight
212 KB
Volume
68
Category
Article
ISSN
0021-2172

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A note on the interpretability logic of
A note on the interpretability logic of finitely axiomatized theories
โœ Maarten Rijke ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 481 KB

Ill [6] Albert Visser shows that ILP completely axiomatizes all schemata about provabihty and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called ILP ~ that completely axiomatizes the arithmetically valid principles of provability