# metadata.dc.description.abstract[].value
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.

# metadata.dc.relation.ispartof[].value
Butlletí de la Societat Catalana de Matemàtiques, 2017, vol. 32, num. 2, p. 133-153

# metadata.dc.rights[].value
cc-by-nc-nd (c) Casanovas Ruiz-Fornells, Enrique, 2017

# metadata.dc.source[].value
Articles publicats en revistes (Matemàtiques i Informàtica)