The formalization of interpretability

DSpace/Manakin Repository

The formalization of interpretability
 
Visser, A.
(1989) Logic Group Preprint Series, volume 47
(Preprint)
Abstract
This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of ΙΔ0+Ω₁.
Download/Full Text
Open Access version via Utrecht University Repository
 
Keywords: probability logic, interpretability, fragments of arithmetic
 
 
See more statistics about this item