@Article{sat12,
  Author =	 {Sato, Kentaro},
  title =	 {Relative predicativity and dependent recursion in
                  second-order set theory and higher-order theories},
  journal =	 {The Journal of Symbolic Logic},
  volume =	 79,
  issue =	 03,
  month =	 9,
  year =	 2014,
  issn =	 {1943-5886},
  pages =	 {712--732},
  doi =		 {10.1017/jsl.2014.28},
  url =		 {2012/sat12.pdf},
}

{"_id":"Hug8DHatMoEQXFyPH","bibbaseid":"sato-relativepredicativityanddependentrecursioninsecondordersettheoryandhigherordertheories-2014","authorIDs":[],"author_short":["Sato, K."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Sato"],"firstnames":["Kentaro"],"suffixes":[]}],"title":"Relative predicativity and dependent recursion in second-order set theory and higher-order theories","journal":"The Journal of Symbolic Logic","volume":"79","issue":"03","month":"9","year":"2014","issn":"1943-5886","pages":"712–732","doi":"10.1017/jsl.2014.28","url":"2012/sat12.pdf","bibtex":"@Article{sat12,\n Author =\t {Sato, Kentaro},\n title =\t {Relative predicativity and dependent recursion in\n second-order set theory and higher-order theories},\n journal =\t {The Journal of Symbolic Logic},\n volume =\t 79,\n issue =\t 03,\n month =\t 9,\n year =\t 2014,\n issn =\t {1943-5886},\n pages =\t {712--732},\n doi =\t\t {10.1017/jsl.2014.28},\n url =\t\t {2012/sat12.pdf},\n}\n\n","author_short":["Sato, K."],"key":"sat12","id":"sat12","bibbaseid":"sato-relativepredicativityanddependentrecursioninsecondordersettheoryandhigherordertheories-2014","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2012/sat12.pdf"},"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.023Z","downloads":0,"keywords":[],"search_terms":["relative","predicativity","dependent","recursion","second","order","set","theory","higher","order","theories","sato"],"title":"Relative predicativity and dependent recursion in second-order set theory and higher-order theories","year":2014,"dataSources":["jFQMeatnEb8qn3qdH"]}