Title Foundational aspects of "non"standard mathematics / David Ballard

Published Providence, R.I. : American Mathematical Society, ©1994

Click on the following:
ProQuest Ebook Central

Copies

Description 1 online resource (viii, 135 pages) Series Contemporary mathematics, 0271-4132 ; 176 Contemporary mathematics (American Mathematical Society) ; v. 176. Contents Introduction / David Ballard -- http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/'>http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/00 Chapter 1. Point Set Topology / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/01 Chapter 2. Model Theory / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/02 Chapter 3. "Non" standard Analysis / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/03 Chapter 4. Introduction / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/04 Chapter 5. Theory of CL Spaces / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/05 Chapter 6. Topological Determinacy of Local Internal Domains / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/06 Chapter 7. Topological Determinacy of Internal Domains / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/07 Chapter 8. Introduction / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/08 Chapter 9. Standard Set Theory / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/09 Chapter 10. Current "Non" standard Set Theories / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/10 Chapter 11. Proofs Of Conservativity / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/11 Chapter 12. Critical Review With Proposal: EST / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/12 Chapter 13. Conservativity of EST / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/13 Chapter 14. Concluding Remarks / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/14 References / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/15 Index / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/16 Symbols / David Ballard -- http://www.ams.org/conm/176/ http://dx.doi.org/10.1090/conm/176/17 Summary This work proposes a major new extension of ""non""standard mathematics. Addressed to a general mathematical audience, the book is intended to be philosophically provocative. The model theory on which ""non""standard mathematics has been based is first reformulated within point set topology, which facilitates proofs and adds perspective. These topological techniques are then used to give new, uniform conservativity proofs for the various versions of ""non""standard mathematics proposed by Nelson, Hrbáček, and Kawai. The proofs allow for sharp comparison. Addressing broader issues, Ballard then Bibliography Includes bibliographical references (pages 129-130) and index Notes English Subject Nonstandard mathematical analysis. Nonstandard mathematical analysis Form Electronic book LC no. 94030811 ISBN 9780821877678 0821877674 9780821855133 0821855131

Other Titles Foundational aspects of nonstandard mathematics Foundational aspects of nonstandard mathematics Foundational aspects of nonstandard mathematics Foundational aspects of nonstandard mathematics

  Permalink