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.

Guardado en:
Detalles Bibliográficos
Autor principal: Incatasciato, Guillermo Luis
Otros Autores: Vaggione, Diego José
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2022
Materias:
Teoría de la computación
Lógica
Teoría de modelos
Definibilidad
Relaciones
Morfismos
Theory of computation
Logic
Model theory
Definability
Relations
Morphisms
Acceso en línea:http://hdl.handle.net/11086/28609
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-28609
record_format dspace
spelling I10-R141-11086-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/
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
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
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
topic_facet Teoría de la computación
Lógica
Teoría de modelos
Definibilidad
Relaciones
Morfismos
Theory of computation
Logic
Model theory
Definability
Relations
Morphisms
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.
author2 Vaggione, Diego José
author_facet Vaggione, Diego José
Incatasciato, Guillermo Luis
format bachelorThesis
author Incatasciato, Guillermo Luis
author_sort Incatasciato, Guillermo Luis
title 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_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_sort análisis de la definibilidad de relaciones en estructuras de primer orden
publishDate 2022
url http://hdl.handle.net/11086/28609
work_keys_str_mv AT incatasciatoguillermoluis analisisdeladefinibilidadderelacionesenestructurasdeprimerorden
_version_ 1782014953708847104

Ejemplares similares