Forcing for Hat Inductive Definitions in Arithmetic – One of the Simplest Applications of Forcing –

TitleForcing for Hat Inductive Definitions in Arithmetic – One of the Simplest Applications of Forcing –
Publication TypeJournal Article
Year of Publication2014
AuthorsSato, K
JournalMathematical Logic Quarterly
Volume60
Pagination314-318
ISSN1521-3870
AbstractBy forcing, we give a direct interpretation of $\widehat{\mathsf{ID}}_\omega$ into Avigad's $\mathsf{FP}$. To the best of the author's knowledge, this is one of the simplest applications of forcing to ``real problems''.
URLhttp://www.iam.unibe.ch/ltgpub/2014/sat14.pdf
DOI10.1002/malq.201300044