Análisis de la definibilidad de relaciones en estructuras de primer orden
Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019.
Main Author: | |
---|---|
Other Authors: | |
Format: | bachelorThesis |
Language: | spa |
Published: |
2022
|
Subjects: | |
Online Access: | http://hdl.handle.net/11086/28609 |
_version_ | 1801216137542762496 |
---|---|
author | Incatasciato, Guillermo Luis |
author2 | Vaggione, Diego José |
author_facet | Vaggione, Diego José Incatasciato, Guillermo Luis |
author_sort | Incatasciato, Guillermo Luis |
collection | Repositorio Digital Universitario |
description | Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019. |
format | bachelorThesis |
id | rdu-unc.28609 |
institution | Universidad Nacional de Cordoba |
language | spa |
publishDate | 2022 |
record_format | dspace |
spelling | rdu-unc.286092023-08-31T13:19:23Z Análisis de la definibilidad de relaciones en estructuras de primer orden Incatasciato, Guillermo Luis Vaggione, Diego José Teoría de la computación Lógica Teoría de modelos Definibilidad Relaciones Morfismos Theory of computation Logic Model theory Definability Relations Morphisms Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019. Fil: Incatasciato, Guillermo Luis. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. En el artículo "Semantical conditions for the definability of functions and relations" [1], se presentan condiciones semánticas que caracterizan cuando una función o una relación es definible por fórmulas de distintos formatos en un lenguaje de primer orden. En este trabajo se generalizan las ideas de [1] para el caso de lenguajes de primer orden sin igualdad y se darán caracterizaciones para la definibilidad de relaciones para los formatos disyunción de fórmulas atómicas relacionales y atómica relacional, no estudiados en [1]. Para el entendimiento de los resultados, es necesaria la comprensión y el estudio de conceptos fundamentales de teoría de modelos que son presentados en este trabajo y se desarrollan nuevos conceptos relacionados con los lenguajes de primer orden sin igualdad necesarios para las nuevas caracterizaciones semánticas. Además, se estudian algunas aplicaciones de los resultados para la definibilidad de funciones por términos de primer orden. n the paper "Semantical conditions for the definability of functions and relations" [1], semantic conditions are presented that characterize when a function or a relation is definable by formulas of different formats in a first-order language. In this work, the ideas of [1] are generalized for the case of first-order languages without equality and characterizations will be given for the definability of relations for the new formats, disjunction of atomic equality free formulas and atomic equality free formulas, not studied in [1]. For the understanding of the results, it is necessary to understand and study the fundamental concepts of model theory that are presented in this work and new concepts related to the first-order languages without equality necessary for the new semantic characterizations are developed. In addition, some applications of the results for the definability of functions by first-order terms are studied. Fil: Incatasciato, Guillermo Luis. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. 2022-09-26T13:44:16Z 2019-03 bachelorThesis http://hdl.handle.net/11086/28609 spa Attribution-NonCommercial-NoDerivatives 4.0 Internacional http://creativecommons.org/licenses/by-nc-nd/4.0/ |
spellingShingle | Teoría de la computación Lógica Teoría de modelos Definibilidad Relaciones Morfismos Theory of computation Logic Model theory Definability Relations Morphisms Incatasciato, Guillermo Luis Análisis de la definibilidad de relaciones en estructuras de primer orden |
title | Análisis de la definibilidad de relaciones en estructuras de primer orden |
title_full | Análisis de la definibilidad de relaciones en estructuras de primer orden |
title_fullStr | Análisis de la definibilidad de relaciones en estructuras de primer orden |
title_full_unstemmed | Análisis de la definibilidad de relaciones en estructuras de primer orden |
title_short | Análisis de la definibilidad de relaciones en estructuras de primer orden |
title_sort | analisis de la definibilidad de relaciones en estructuras de primer orden |
topic | Teoría de la computación Lógica Teoría de modelos Definibilidad Relaciones Morfismos Theory of computation Logic Model theory Definability Relations Morphisms |
url | http://hdl.handle.net/11086/28609 |
work_keys_str_mv | AT incatasciatoguillermoluis analisisdeladefinibilidadderelacionesenestructurasdeprimerorden |