Two Applications of Logic to Mathematics / / Gaisi Takeuti.
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-...
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter Princeton Legacy Lib. eBook Package 1931-1979 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2015] ©1978 |
| Year of Publication: | 2015 |
| Language: | English |
| Series: | Publications of the Mathematical Society of Japan ;
1576 |
| Online Access: | |
| Physical Description: | 1 online resource (148 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Frontmatter
- Preface
- Contents
- Introduction
- Part I. Boolean Valued Analysis
- Introduction
- Chapter 1. Boolean Valued Analysis Using Projection Algebras
- Chapter 2. Boolean Valued Analysis Using Measure Algebras
- References
- Part II. A Conservative Extension of Peano Arithmetic
- Introduction
- Chapter 1. Real Analysis
- Chapter 2. Complex Analysis
- References
- Index
- Backmatter