𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Interpretability Logic of all Reasonable Arithmetical Theories

✍ Scribed by Joost J. Joosten; Albert Visser

Book ID
110226907
Publisher
Springer
Year
2000
Tongue
English
Weight
135 KB
Volume
53
Category
Article
ISSN
1876-2514

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Preservativity logic: An analogue of int
Preservativity logic: An analogue of interpretability logic for constructive theories
✍ Rosalie Iemhoff πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 305 KB

## Abstract In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disj

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

Arithmetic complexity of the predicate l
Arithmetic complexity of the predicate logics of certain complete arithmetic theories
✍ Valery Plisko πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 137 KB

It is proved in this paper that the predicate logic of each complete constructive arithmetic theory T having the existential property is T 1 -complete. In this connection, the techniques of a uniform partial truth deΓΏnition for intuitionistic arithmetic theories is used. The main theorem is applied