Forcing for Hat Inductive Definitions in Arithmetic – One of the Simplest Applications of Forcing –. Sato, K. *Mathematical Logic Quarterly*, 60(4-5):314–318, 2014.

Paper doi abstract bibtex

Paper doi abstract bibtex

By 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''.

@Article{sat14, Author = {Sato, Kentaro}, Title = {{Forcing for Hat Inductive Definitions in Arithmetic -- One of the Simplest Applications of Forcing --}}, Journal = {Mathematical Logic Quarterly}, volume = 60, number = {4-5}, issn = {1521-3870}, doi = {10.1002/malq.201300044}, pages = {314--318}, year = 2014, url = {2014/sat14.pdf}, abstract = {By 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''.}, }

Downloads: 0

{"_id":"X76P7LiYxQnbDHzJ2","bibbaseid":"sato-forcingforhatinductivedefinitionsinarithmeticoneofthesimplestapplicationsofforcing-2014","authorIDs":[],"author_short":["Sato, K."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Sato"],"firstnames":["Kentaro"],"suffixes":[]}],"title":"Forcing for Hat Inductive Definitions in Arithmetic – One of the Simplest Applications of Forcing –","journal":"Mathematical Logic Quarterly","volume":"60","number":"4-5","issn":"1521-3870","doi":"10.1002/malq.201300044","pages":"314–318","year":"2014","url":"2014/sat14.pdf","abstract":"By 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''.","bibtex":"@Article{sat14,\n Author =\t {Sato, Kentaro},\n Title =\t {{Forcing for Hat Inductive Definitions in Arithmetic\n -- One of the Simplest Applications of Forcing --}},\n Journal =\t {Mathematical Logic Quarterly},\n volume =\t 60,\n number =\t {4-5},\n issn =\t {1521-3870},\n doi =\t\t {10.1002/malq.201300044},\n pages =\t {314--318},\n year =\t 2014,\n url =\t\t {2014/sat14.pdf},\n abstract =\t {By forcing, we give a direct interpretation of\n $\\widehat{\\mathsf{ID}}_\\omega$ into Avigad's\n $\\mathsf{FP}$. To the best of the author's\n knowledge, this is one of the simplest applications\n of forcing to ``real problems''.},\n}\n\n","author_short":["Sato, K."],"key":"sat14","id":"sat14","bibbaseid":"sato-forcingforhatinductivedefinitionsinarithmeticoneofthesimplestapplicationsofforcing-2014","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2014/sat14.pdf"},"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.025Z","downloads":0,"keywords":[],"search_terms":["forcing","hat","inductive","definitions","arithmetic","one","simplest","applications","forcing","sato"],"title":"Forcing for Hat Inductive Definitions in Arithmetic – One of the Simplest Applications of Forcing –","year":2014,"dataSources":["jFQMeatnEb8qn3qdH"]}