Definibilitat en estructures matemàtiques
| dc.contributor.author | Casanovas Ruiz-Fornells, Enrique | |
| dc.date.accessioned | 2019-06-20T08:30:52Z | |
| dc.date.available | 2019-06-20T08:30:52Z | |
| dc.date.issued | 2017 | |
| dc.date.updated | 2019-06-20T08:30:52Z | |
| dc.description.abstract | Discutim la noció de definibilitat de relacions, funcions i elements d'una estructura matemàtica mitjançant el llenguatge formal de la lògica de primer ordre en el context de la teoria de models. A través de l'exposició d'una sèrie d'exemples de problemes de definibilitat basats en sistemes numèrics familiars per a tot matemàtic, mostrem que l'anàlisi de la complexitat de les relacions definibles en una estructura aporta informació valuosa sobre qüestions de decidibilitat i categoricitat de la seva teoria. | |
| dc.format.extent | 21 p. | |
| dc.format.mimetype | application/pdf | |
| dc.identifier.idgrec | 677361 | |
| dc.identifier.issn | 0214-316X | |
| dc.identifier.uri | https://hdl.handle.net/2445/135564 | |
| dc.language.iso | cat | |
| dc.publisher | IEC | |
| dc.relation.isformatof | Reproducció del document publicat a: https://doi.org/10.2436/20.2002.01.76 | |
| dc.relation.ispartof | Butlletí de la Societat Catalana de Matemàtiques, 2017, vol. 32, num. 2, p. 133-153 | |
| dc.relation.uri | https://doi.org/10.2436/20.2002.01.76 | |
| dc.rights | cc-by-nc-nd (c) Casanovas Ruiz-Fornells, Enrique, 2017 | |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es | |
| dc.source | Articles publicats en revistes (Matemàtiques i Informàtica) | |
| dc.subject.classification | Teoria de models | |
| dc.subject.classification | Lògica matemàtica | |
| dc.subject.other | Model theory | |
| dc.subject.other | Mathematical logic | |
| dc.title | Definibilitat en estructures matemàtiques | |
| dc.type | info:eu-repo/semantics/article | |
| dc.type | info:eu-repo/semantics/publishedVersion |
Fitxers
Paquet original
1 - 1 de 1