Cargando…

Foundational aspects of "non"standard mathematics /

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 reformu...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Ballard, David, 1941-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Providence, R.I. : American Mathematical Society, ©1994.
Colección:Contemporary mathematics (American Mathematical Society) ; v. 176.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ma 4500
001 EBOOKCENTRAL_ocn774694817
003 OCoLC
005 20240329122006.0
006 m o d
007 cr c||---|||||
008 940721s1994 riu ob 001 0 eng d
010 |a  94030811  
040 |a COO  |b eng  |e pn  |c COO  |d OTZ  |d OCLCF  |d OCLCO  |d UIU  |d OCLCQ  |d YDXCP  |d OCLCQ  |d LIP  |d OCLCQ  |d YOU  |d EBLCP  |d OCLCQ  |d LEAUB  |d OCLCQ  |d K6U  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
019 |a 990679783  |a 1037816316  |a 1120898225  |a 1241840663  |a 1259259487  |a 1290096836  |a 1296540829 
020 |a 9780821877678  |q (online) 
020 |a 0821877674  |q (online) 
020 |a 9780821855133  |q (google) 
020 |a 0821855131  |q (google) 
020 |z 0821802933  |q (acid-free paper) 
020 |z 9780821802939  |q (acid-free paper) 
029 1 |a AU@  |b 000069468708 
035 |a (OCoLC)774694817  |z (OCoLC)990679783  |z (OCoLC)1037816316  |z (OCoLC)1120898225  |z (OCoLC)1241840663  |z (OCoLC)1259259487  |z (OCoLC)1290096836  |z (OCoLC)1296540829 
050 4 |a QA299.82  |b .B35 1994 
082 0 4 |a 511/.2  |2 20 
049 |a UAMI 
100 1 |a Ballard, David,  |d 1941-  |1 https://id.oclc.org/worldcat/entity/E39PCjGRPvwXKpRFXVyvKVpr7b 
245 1 0 |a Foundational aspects of "non"standard mathematics /  |c David Ballard. 
260 |a Providence, R.I. :  |b American Mathematical Society,  |c ©1994. 
300 |a 1 online resource (viii, 135 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Contemporary mathematics,  |x 0271-4132 ;  |v 176 
504 |a Includes bibliographical references (pages 129-130) and index. 
505 0 0 |t Introduction /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/00  |t Chapter 1. Point Set Topology /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/01  |t Chapter 2. Model Theory /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/02  |t Chapter 3. "Non" standard Analysis /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/03  |t Chapter 4. Introduction /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/04  |t Chapter 5. Theory of CL Spaces /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/05  |t Chapter 6. Topological Determinacy of Local Internal Domains /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/06  |t Chapter 7. Topological Determinacy of Internal Domains /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/07  |t Chapter 8. Introduction /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/08  |t Chapter 9. Standard Set Theory /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/09  |t Chapter 10. Current "Non" standard Set Theories /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/10  |t Chapter 11. Proofs Of Conservativity /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/11  |t Chapter 12. Critical Review With Proposal: EST /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/12  |t Chapter 13. Conservativity of EST /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/13  |t Chapter 14. Concluding Remarks /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/14  |t References /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/15  |t Index /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/16  |t Symbols /  |r David Ballard --  |u http://www.ams.org/conm/176/  |u http://dx.doi.org/10.1090/conm/176/17 
546 |a English. 
520 |a 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. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Nonstandard mathematical analysis. 
650 6 |a Analyse mathématique non standard. 
650 7 |a Nonstandard mathematical analysis  |2 fast 
740 0 |a Foundational aspects of nonstandard mathematics. 
758 |i has work:  |a Foundational aspects of "non"standard mathematics (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCGvgdmx7tRp6V4fwMDxbh3  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Ballard, David.  |t Foundational Aspects of Non Standard Mathematics.  |d Providence : American Mathematical Society, ©1994  |z 9780821802939 
830 0 |a Contemporary mathematics (American Mathematical Society) ;  |v v. 176. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=5295213  |z Texto completo 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL5295213 
938 |a YBP Library Services  |b YANK  |n 12367092 
994 |a 92  |b IZTAP