Last update: Sat Mar 2 02:18:53 MST 2019
@Article{Takeuti:1968:CSR, author = "Gaisi Takeuti", title = "The {$ \Pi_1^1 $}-comprehension schema and $ \omega $-rules", journal = j-LECT-NOTES-MATH, volume = "70", pages = "303--331", year = "1968", CODEN = "LNMAA2", DOI = "https://doi.org/10.1007/BFb0079103", ISBN = "3-540-04240-7 (print), 3-540-35886-2 (e-book)", ISBN-13 = "978-3-540-04240-2 (print), 978-3-540-35886-2 (e-book)", ISSN = "0075-8434 (print), 1617-9692 (electronic)", ISSN-L = "0075-8434", bibdate = "Thu May 8 17:39:14 MDT 2014", bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1960.bib", URL = "http://link.springer.com/chapter/10.1007/BFb0079103/", acknowledgement = ack-nhfb, book-DOI = "https://doi.org/10.1007/BFb0079093", book-URL = "http://www.springerlink.com/content/978-3-540-35886-2", fjournal = "Lecture Notes in Mathematics", journal-URL = "http://link.springer.com/bookseries/304", }