Lecture Notes in Logic

Incompleteness theorems and ${\rm S}\sb 2\sp i$ versus ${\rm S}\sb 2\sp {i+1}$

Gaisi Takeuti

Full-text: Open access

Chapter information

Source
J. M. Larrazabal, D. Lascar, G. Mints, eds., Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 (Berlin: Springer-Verlag, 1998), 247-261

Dates
First available in Project Euclid: 23 February 2009

Permanent link to this document
https://projecteuclid.org/euclid.lnl/1235413600

Rights
Copyright © 1998, Association for Symbolic Logic

Citation

Takeuti, Gaisi. Incompleteness theorems and ${\rm S}\sb 2\sp i$ versus ${\rm S}\sb 2\sp {i+1}$. Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996, 247--261, Springer-Verlag, Berlin, 1998. https://projecteuclid.org/euclid.lnl/1235413600


Export citation