The formalization of interpretability
Publication date
1989-08
Authors
Visser, A.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of ΙΔ0+Ω₁.
Keywords
probability logic, interpretability, fragments of arithmetic