skip to content
Non-standard analysis. Preview this item
ClosePreview this item
Checking...

Non-standard analysis.

Author: Abraham Robinson
Publisher: Burlington : Elsevier, 2000.
Series: Studies in logic and the foundations of mathematics.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Provability, Computability and Reflection.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Robinson, Abraham.
Non-standard analysis.
Burlington : Elsevier, ©2000
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Abraham Robinson
ISBN: 9780080957623 0080957625
OCLC Number: 813300493
Notes: Index of authorssubject index.
Description: 1 online resource (307 pages).
Contents: Front Cover; Non-Standard Analysis; Copyright Page; LIST OF CONTENTS; CHAPTER I. GENERAL INTRODUCTION; 1.1 Purpose of this book; 1.2 Summary of contents; CHAPTER II. TOOLS FROM LOGIC; 2.1 The Lower Predicate Calculus; 2.2 Interpretation; 2.3 Ultraproducts; 2.4 Prenex normal form; 2.5 The finiteness principle; 2.6 Higher order structures and corresponding languages; 2.7 Type symbols; 2.8 Finiteness principle for higher order theories; 2.9 Enlargements; 2.10 Examples of enlargements; 2.11 General properties of enlargements; 2.12 Remarks and references. CHAPTER III. DIFFERENTIAL AND INTEGRAL CALCULUS3.1 Non-standard Arithmetic; 3.2 Non-standard Analysis; 3.3 Convergence; 3.4 Continuity and differentiation; 3.5 Integration; 3.6 Differentials; 3.7 Total differentials; 3.8 Elementary Differential Geometry; 3.9 Remarks and references; CHAPTER IV. GENERAL TOPOLOGY; 4.1 Topological spaces; 4.2 Sequences, nets, mappings; 4.3 Metric spaces; 4.4 Topologies in *T; 4.5 Functions, limits, continuity in metric spaces; 4.6 Sequences of functions, Compact mappings; 4.7 Euclidean space; 4.8 Remarks and references; CHAPTER V. FUNCTIONS OF A REAL VARlABLE. 5.1 Measure and integration5.2 Sequences of functions; 5.3 Distributions; 5.4 Remarks and references; CHAPTER VI. FUNCTIONS OF A COMPLEX VARIABLE; 6.1 Analytic theory of polynomials; 6.2 Analytic functions; 6.3 Picard's theorems and Julia's directions; 6.4 Compactness arguments in classical Function Theory; 6.5 Remarks and references; CHAPTER VII. LINEAR SPACES; 7.1 Normed spaces; 7.2 Hilbert space; 7.3 Spectral theory of compact operators; 7.4 An invariant subspace problem; 7.5 Remarks and references; CHAPTER VIIl. TOPOLOGICAL GROUPS AND LIE GROUPS; 8.1 Topological groups; 8.2 Metric groups. 8.3 One-parametric subgroups8.4 The Lie algebra of a group; 8.5 Remarks and references; CHAPTER IX. SELECTED TOPICS; 9.1 Variations; 9.2 Riemann's mapping theorem; 9.3 Dirichlet's principle; 9.4 Sources and doublets; 9.5 Local perturbations; 9.6 Boundary layer theory; 9.7 Saint-Venant's principle; 9.8 Remarks and references; CHAPTER X. CONCERNING THE HISTORY OF THE CALCULUS; 10.1 Introduction; 10.2 Leibniz; 10.3 De I'Hospital; 10.4 Lagrange and d'Alembert; 10.5 Cauchy; 10.6 Bolzano, Weierstrass. and after; 10.7 Infinitely small and large numbers and the infinite; BIBLIOGRAPHY.
Series Title: Studies in logic and the foundations of mathematics.

Abstract:

Provability, Computability and Reflection.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/813300493> # Non-standard analysis.
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "813300493" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vtu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/892112#Place/burlington> ; # Burlington
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/892112#Topic/mathematics_general> ; # MATHEMATICS--General
    schema:about <http://id.worldcat.org/fast/1039000> ; # Nonstandard mathematical analysis
    schema:about <http://id.loc.gov/authorities/classification/BC135> ;
    schema:about <http://dewey.info/class/511.3/> ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/59260725> ; # Abraham Robinson
    schema:datePublished "2000" ;
    schema:description "Front Cover; Non-Standard Analysis; Copyright Page; LIST OF CONTENTS; CHAPTER I. GENERAL INTRODUCTION; 1.1 Purpose of this book; 1.2 Summary of contents; CHAPTER II. TOOLS FROM LOGIC; 2.1 The Lower Predicate Calculus; 2.2 Interpretation; 2.3 Ultraproducts; 2.4 Prenex normal form; 2.5 The finiteness principle; 2.6 Higher order structures and corresponding languages; 2.7 Type symbols; 2.8 Finiteness principle for higher order theories; 2.9 Enlargements; 2.10 Examples of enlargements; 2.11 General properties of enlargements; 2.12 Remarks and references."@en ;
    schema:description "Provability, Computability and Reflection."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/892112> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/892112#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/892112#CreativeWork/non_standard_analysis> ;
    schema:name "Non-standard analysis."@en ;
    schema:productID "813300493" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/813300493#PublicationEvent/burlington_elsevier_2000> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/892112#Agent/elsevier> ; # Elsevier
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=648819> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=408018> ;
    schema:workExample <http://worldcat.org/isbn/9780080957623> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/813300493> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/892112#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/813300493> ; # Non-standard analysis.
    schema:name "Studies in logic and the foundations of mathematics." ;
    schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/892112#Topic/mathematics_general> # MATHEMATICS--General
    a schema:Intangible ;
    schema:name "MATHEMATICS--General"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1039000> # Nonstandard mathematical analysis
    a schema:Intangible ;
    schema:name "Nonstandard mathematical analysis"@en ;
    .

<http://viaf.org/viaf/59260725> # Abraham Robinson
    a schema:Person ;
    schema:familyName "Robinson" ;
    schema:givenName "Abraham" ;
    schema:name "Abraham Robinson" ;
    .

<http://worldcat.org/entity/work/data/892112#CreativeWork/non_standard_analysis>
    a schema:CreativeWork ;
    rdfs:label "Non-standard analysis." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/813300493> ; # Non-standard analysis.
    .

<http://worldcat.org/isbn/9780080957623>
    a schema:ProductModel ;
    schema:isbn "0080957625" ;
    schema:isbn "9780080957623" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.