Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/135564
Full metadata record
DC Field | Value | Language |
---|---|---|
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.identifier.issn | 0214-316X | - |
dc.identifier.uri | http://hdl.handle.net/2445/135564 | - |
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.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.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 | - |
dc.identifier.idgrec | 677361 | - |
dc.date.updated | 2019-06-20T08:30:52Z | - |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
Appears in Collections: | Articles publicats en revistes (Matemàtiques i Informàtica) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
677361.pdf | 174.96 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License