Log in :: RSS/Atom Feeds
Perspectives in Logic

Computability in Analysis and Physics

Marian B. Pour-El and J. Ian Richards

Perspectives in Mathematical Logic, Volume 1
Berlin: Springer-Verlag, 1989.
206 pp.

Subjects:

03D80 (primary)
03F60 (primary)
46N05 (primary)
Permanent link to this monograph: http://projecteuclid.org/euclid.pl/1235422916
Mathmatical Reviews number (MathSciNet): MR1005942
ISBN:3-540-50035-9
ISBN:0-387-50035-9

Copyright © 1989, Association for Symbolic Logic.

Miscellaneous Frontmatter

Introduction

1-5

Prerequisites from Logic and Analysis

6-8

Part I: Computability in Classical Analysis

Chapter 0: An Introduction to Computable Analysis

11-49

Chapter 1: Further Topics in Computable Analysis

50-73

Part II: The Computability Theory of Banach Spaces

Chapter 2: Computability Structures on a Banach Space

77-92

Chapter 3: The First Main Theorem and Its Applications

93-120

Part III: The Computability Theory of Eigenvalues and Eigenvectors

Chapter 4: The Second Main Theorem, the Eigenvector Theorem, and Related Results

123-148

Chapter 5: Proof of the Second Main Theorem

149-191

Addendum: Open Problems

192-194

Bibliography

195-200

Subject Index

201-206

Miscellaneous Backmatter

Perspectives in Logic

Perspectives in Logic