<--- Back to Details
First PageDocument Content
Real algebraic geometry / Order theory / Functions and mappings / Field theory / Construction of the real numbers / Equivalence relation / Cardinal number / Continuous function / Total order / Mathematics / Abstract algebra / Elementary mathematics
Date: 2002-01-09 19:42:00
Real algebraic geometry
Order theory
Functions and mappings
Field theory
Construction of the real numbers
Equivalence relation
Cardinal number
Continuous function
Total order
Mathematics
Abstract algebra
Elementary mathematics

Notes on Calculus by Dinakar Ramakrishnan[removed]Caltech Pasadena, CA[removed]Fall 2001

Add to Reading List

Source URL: www.math.caltech.edu

Download Document from Source Website

File Size: 819,99 KB

Share Document on Facebook

Similar Documents

Construction / Real estate / Concrete / Structural engineering / Building materials / Pavements / Environmental engineering / Masonry / Pervious concrete / Types of concrete / Reinforced concrete / Road surface

Celebrating 25 Years of Investment in Industry Research & Education RMC Research & Education Foundation By the Numbers As of JulyProject Funding: $15,149,220

DocID: 1pMoX - View Document

Elementary mathematics / Metric geometry / Order theory / Real numbers / Real algebraic geometry / Complete metric space / Cauchy sequence / Construction of the real numbers / Augustin-Louis Cauchy / Sequence / Least-upper-bound property / Completeness

1. Thank you for the invitation. 2. I gave an invited talk at CCA in Hagen, I think it was in 2008, where I spoke about real numbers. Today I am speaking about real numbers again. You know what to expect the next time.

DocID: 1pvWm - View Document

Proof assistants / Real numbers / Automated theorem proving / Elementary mathematics / Type theory / First-order logic / Construction of the real numbers / Constructivism / Mathematical logic / Isabelle / Axiom / Setoid

Under consideration for publication in Math. Struct. in Comp. Science Formalization of Real Analysis: A Survey of Proof Assistants and Librariesāˆ— SYLVIE BOLDO CATHERINE LELAY

DocID: 1nsYS - View Document

Mathematics / Valuation / Dedekind cut / Continuous function / Construction of the real numbers / Algebraic number field / Abstract algebra / Field theory / Algebra

A localic theory of lower and upper integrals Steven Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK March 30, 2009

DocID: 1aD29 - View Document

Field theory / Elementary mathematics / Real algebraic geometry / Algebraic structures / Ring theory / Construction of the real numbers / Archimedean property / Real number / Field / Abstract algebra / Mathematics / Algebra

An Irrational Construction of R from Z R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UK RG1 2HX

DocID: 116wr - View Document