Relative predicativity and dependent recursion in second-order set theory and higher-order theories. Sato, K. The Journal of Symbolic Logic, 79:712–732, 9, 2014.
Paper doi bibtex @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},
}
Downloads: 0
{"_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"]}