In the early 1960s, by using techniques from the model theory of first-order logic, Robinson gave a rigorous formulation and extension of Leibniz' infinitesimal calculus. Since then, the methodology has found applications in a wide spectrum of areas in mathematics, with particular success in the pro
Lecture notes on nonstandard analysis. UCLA summer school in logic
โ Scribed by Goldbring I.
- Year
- 2014
- Tongue
- English
- Leaves
- 110
- Category
- Library
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
In the early 1960s, by using techniques from the model theory of first-order logic, Robinson gave a rigorous formulation and extension of Leibniz' infinitesimal calculus. Since then, the methodology has found applications in a wide spectrum of areas in mathematics, with particular success in the pro
<p>Multiresolution methods in geometric modelling are concerned with the generation, representation, and manipulation of geometric objects at several levels of detail. Applications include fast visualization and rendering as well as coding, compression and digital transmission of 3D geometric object
In fall 2000, the Notre Dame logic community hosted Greg Hjorth, Rodney G. Downey, Zoรฉ Chatzidakis, and Paola D'Aquino as visiting lecturers. Each of them presented a month long series of expository lectures at the graduate level. The articles in this volume are refinements of these excellent lectur
In fall 2000, the Notre Dame logic community hosted Greg Hjorth, Rodney G. Downey, Zoรฉ Chatzidakis, and Paola D'Aquino as visiting lecturers. Each of them presented a month long series of expository lectures at the graduate level. The articles in this volume are refinements of these excellent lectur