UID:
almafu_9958087975102883
Umfang:
1 online resource (299 p.)
ISBN:
1-283-52530-5
,
9786613837752
,
0-08-095480-4
Serie:
Studies in logic and the foundations of mathematics ; v. 69
Inhalt:
Provability, Computability and Reflection
Anmerkung:
Description based upon print version of record.
,
Front Cover; Contributions to Non-Standard Analysis; Copyright Page; Contents; Chapter 1. Algebraic function fields and non-standard arithmetic; Chapter 2. A non-standard analysis approach to Fourier analysis; Chapter 3. A remark on the Cantor-Lebesgue lemma; Chapter 4. Uniform continuity and rates of growth of meromorphic functions; Chapter 5. A non-standard representation of measurable spaces, L8, and L*8; Chapter 6. Ein nicht-standard-Beweis fur die Existenz eines starken Liftungs in i 8〈0,1]; Chapter 7. On some concurrent binary relations occurring in analysis
,
Chapter 8. Restricted ultraproducts of finite von Neumann algebrasChapter 9. Almost perpendicular vectors; Chapter 10. Functional analysis - A non-standard treatment with semifields; Chapter 11. Non-standard notes on the hyperspace; Chapter 12. Non-standard-Komplettierung von Cauchy-Algebren; Chapter 13. Skies, constellations and monads; Chapter 14. Additional remarks on the theory of monads; Chapter 15. Ultrafilters and ultraproducts in non-standard analysis; Chapter 16. A computer oriented version of "non-standard analysis"
,
English
Weitere Ausg.:
ISBN 0-7204-2065-2
Sprache:
Englisch
