Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Fitxers

677361.pdf (174.96 KB)

Tipus de document

Article

Versió

Versió publicada

Data de publicació

2017

Llicència de publicació

cc-by-nc-nd (c) Casanovas Ruiz-Fornells, Enrique, 2017
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/135564

Definibilitat en estructures matemàtiques

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

https://doi.org/10.2436/20.2002.01.76

Resum

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.

Matèries

Teoria de models, Lògica matemàtica

Matèries (anglès)

Model theory, Mathematical logic

Citació

Col·leccions

Articles publicats en revistes (Matemàtiques i Informàtica)

Citació

CASANOVAS RUIZ-FORNELLS, Enrique. Definibilitat en estructures matemàtiques. Butlletí de la Societat Catalana de Matemàtiques. 2017. Vol. 32, num. 2, pags. 133-153. ISSN 0214-316X. [consulted: 19 of August of 2026]. Available at: https://hdl.handle.net/2445/135564

Exportar metadades

JSON - METS

Compartir registre