Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Two Applications of Logic to Mathematics by Gaisi Takeuti (Paperback, 2015)
rarewaves-united (411152)
98.8% positive feedback
Price:
AU $93.62
Free postage
Returns:
30-day returns. Buyer pays for return postage. If you use an eBay postage label, it will be deducted from your refund amount.
Condition:
In doing so, the author applies Gentzen's cut elimination theorem. Although the results of Part One may be regarded as straightforward consequences of the spectral theorem in function analysis, the use of Boolean- valued models makes explicit and precise analogies used by analysts to lift results from ordinary analysis to operators on a Hilbert space.
- Buy It NowGaisi Takeuti Two Applications of Logic to Mathematics (Paperback) (US IMPORT)
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Information
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 toProduct Identifiers
PublisherPrinceton University Press
ISBN-139780691610221
eBay Product ID (ePID)212185614
Product Key Features
Publication NameTwo Applications of Logic to Mathematics
SubjectMathematics
Publication Year2015
TypeTextbook
FormatPaperback
LanguageEnglish
AuthorGaisi Takeuti
Number of Pages148 Pages
Dimensions
Item Height235 mm
Item Weight198 g
Item Width152 mm
Additional Product Features
Country/Region of ManufactureUnited States
Title_AuthorGaisi Takeuti
Series TitlePublications of the Mathematical Society of Japan
