Available Formats
Two Applications of Logic to Mathematics
By (Author) Gaisi Takeuti
Princeton University Press
Princeton University Press
19th May 2015
United States
Tertiary Education
Non Fiction
511.3
Paperback
148
Width 152mm, Height 235mm
198g
Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to