Interpreting Weak König’s Lemma using the Arithmetized Completeness Theorem

DOI10.1090/proc/13125OpenAlexW2338484241WikidataQ124951439 ScholiaQ124951439MaRDI QIDQ2814420

Tin Lok Wong

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

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Relative consistency and interpretations (03F25)

Related Items

End extensions of models of fragments of \(\mathrm{PA}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categorical characterizations of the natural numbers require primitive recursion
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
• Formalizing forcing arguments in subsystems of second-order arithmetic