Definibilitat en estructures matemàtiques

Autores/as

  • Enrique Casanovas Ruiz-Fornells

Resumen

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.

Publicado

2018-02-12

Cómo citar

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

Número

Sección

Artículos