Carregant...
Miniatura

Tipus de document

Article

Versió

Versió publicada

Data de publicació

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

Director/Tutor

ISSN de la revista

Títol del volum

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 (anglès)

Citació

Citació

CASANOVAS RUIZ-FORNELLS, Enrique. Definibilitat en estructures matemàtiques. _Butlletí de la Societat Catalana de Matemàtiques_. 2017. Vol. 32, núm. 2, pàgs. 133-153. [consulta: 6 de febrer de 2026]. ISSN: 0214-316X. [Disponible a: https://hdl.handle.net/2445/135564]

Exportar metadades

JSON - METS

Compartir registre