Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/192200
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Casanovas Ruiz-Fornells, Enrique | - |
dc.contributor.author | Pérez López-Serrano, Miriam | - |
dc.date.accessioned | 2023-01-16T09:24:35Z | - |
dc.date.available | 2023-01-16T09:24:35Z | - |
dc.date.issued | 2022-06-13 | - |
dc.identifier.uri | http://hdl.handle.net/2445/192200 | - |
dc.description | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2022, Director: Enrique Casanovas Ruiz-Fornells | ca |
dc.description.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. | ca |
dc.format.extent | 60 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | ca |
dc.rights | cc-by-nc-nd (c) Miriam Pérez López-Serrano, 2022 | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
dc.source | Treballs Finals de Grau (TFG) - Matemàtiques | - |
dc.subject.classification | Teoria de models | ca |
dc.subject.classification | Treballs de fi de grau | - |
dc.subject.classification | Lògica de primer ordre | ca |
dc.subject.classification | Anàlisi matemàtica no-estàndard | ca |
dc.subject.other | Model theory | en |
dc.subject.other | Bachelor's theses | - |
dc.subject.other | First-order logic | en |
dc.subject.other | Nonstandard mathematical analysis | en |
dc.title | Ultraprodiucts and their application to non-standard analysis | ca |
dc.type | info:eu-repo/semantics/bachelorThesis | ca |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
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