Definibilitat en estructures matemàtiques

Autors/ores

  • Enrique Casanovas Ruiz-Fornells

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.

Descàrregues

Publicat

2018-02-12

Com citar

Casanovas Ruiz-Fornells, E. (2018). Definibilitat en estructures matemàtiques. Butlletí De La Societat Catalana De Matemàtiques, 32(2), 133–153. Retrieved from https://revistes.iec.cat/index.php/BSCM/article/view/97989.003

Número

Secció

Articles