Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/192200
Title: | Ultraprodiucts and their application to non-standard analysis |
Author: | Pérez López-Serrano, Miriam |
Director/Tutor: | Casanovas Ruiz-Fornells, Enrique |
Keywords: | Teoria de models Treballs de fi de grau Lògica de primer ordre Anàlisi matemàtica no-estàndard Model theory Bachelor's theses First-order logic Nonstandard mathematical analysis |
Issue Date: | 13-Jun-2022 |
Abstract: | [en] The intuitive notion of infinitesimals has been used in mathematical arguments for many years. However, they are still seen as controversial. The aim of this work is to give an introduction to ultraproducts, bring the reader closer to non-standard analysis and to prove that it is rigorously defined. In order to do that, we introduce the concept of reduced product of structures, as well as we give an ultraproduct version of the compactness theorem of first-order logic. We also build the set of hyperreal numbers and give some known results of calculus using infinitesimals. |
Note: | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2022, Director: Enrique Casanovas Ruiz-Fornells |
URI: | http://hdl.handle.net/2445/192200 |
Appears in Collections: | Treballs Finals de Grau (TFG) - Matemàtiques |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
tfg_perez_lopez_serrano_miriam.pdf | Memòria | 708.29 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License