Interpreting Weak König’s Lemma using the Arithmetized Completeness Theorem
From MaRDI portal
Publication:2814420
DOI10.1090/proc/13125OpenAlexW2338484241WikidataQ124951439 ScholiaQ124951439MaRDI QIDQ2814420
Publication date: 22 June 2016
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/961c28420de8e6738f271d1bbb9c51ed0c3b7d4b
Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Relative consistency and interpretations (03F25)
Related Items
Cites Work