Lecture Notes in Logic

Forcing on bounded arithmetic

Gaisi Takeuti and Masahiro Yasumoto

Full-text: Open access

Chapter information

Source
Petr Hájek, ed., Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings (Berlin: Springer-Verlag, 1996), 120-138

Dates
First available in Project Euclid: 23 February 2009

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

Mathematical Reviews number (MathSciNet)
MR1441106

Zentralblatt MATH identifier
0864.03038

Rights
Copyright © 1996, Association for Symbolic Logic

Citation

Takeuti, Gaisi; Yasumoto, Masahiro. Forcing on bounded arithmetic. Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings, 120--138, Springer-Verlag, Berlin, 1996. https://projecteuclid.org/euclid.lnl/1235417018


Export citation