@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''.},
}

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