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 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"]}