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