Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/135564| Title: | Definibilitat en estructures matemàtiques |
| Author: | Casanovas Ruiz-Fornells, Enrique |
| Keywords: | Teoria de models Lògica matemàtica Model theory Mathematical logic |
| Issue Date: | 2017 |
| Publisher: | IEC |
| 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. |
| Note: | Reproducció del document publicat a: https://doi.org/10.2436/20.2002.01.76 |
| It is part of: | Butlletí de la Societat Catalana de Matemàtiques, 2017, vol. 32, num. 2, p. 133-153 |
| URI: | http://hdl.handle.net/2445/135564 |
| Related resource: | https://doi.org/10.2436/20.2002.01.76 |
| ISSN: | 0214-316X |
| 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
