On the ∑₁°–conservativity of ∑₁°-completeness
Publication date
1989-10
Authors
Visser, A.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
Keywords
Provability Logic, ∑₁, fragments of arithmetic