Interpreting Weak König’s Lemma using the Arithmetized Completeness Theorem
Interpreting Weak König’s Lemma using the Arithmetized Completeness Theorem
About this item
Full title
Author / Creator
Publisher
Providence, Rhode Island: American Mathematical Society
Journal title
Language
English
Formats
Publication information
Publisher
Providence, Rhode Island: American Mathematical Society
Subjects
More information
Scope and Contents
Contents
We present a previously unpublished proof of the conservativity of WKL0\mathrm {WKL}_0 over IΣ1\mathrm I\Sigma _1 using the Arithmetized Completeness Theorem, which, in particular, constitutes an ω\omega-interpretation of WKL0\mathrm {WKL}_0 in IΣ1\mathrm I\Sigma _1. We also show that WKL0∗\mathrm {WKL}_0^* is interpretable in IΔ0+exp\mathrm I\Delt...
Alternative Titles
Full title
Interpreting Weak König’s Lemma using the Arithmetized Completeness Theorem
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_crossref_citationtrail_10_1090_proc_13125
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_crossref_citationtrail_10_1090_proc_13125
Other Identifiers
ISSN
0002-9939
E-ISSN
1088-6826
DOI
10.1090/proc/13125
