Congruencias factor definibles

Mostrar todas las versiones(2)

Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba, 2007.

Guardado en:
Detalles Bibliográficos
Autor principal: Sánchez Terraf, Pedro Octavio
Otros Autores: Vaggione, Diego J.
Formato: doctoralThesis
Lenguaje:Español
Publicado: 2011
Materias:
Equational logic, Malʹcev conditions
Interpolation, preservation, definability
General algebraic systems
Mathematical logic
Factor congruences
Central element
Preservación
Definibilidad
Elemento central
Acceso en línea:http://hdl.handle.net/11086/104
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-104
record_format dspace
spelling I10-R141-11086-1042023-08-31T18:53:18Z Congruencias factor definibles Sánchez Terraf, Pedro Octavio Vaggione, Diego J. Equational logic, Malʹcev conditions Interpolation, preservation, definability General algebraic systems Mathematical logic Factor congruences Central element Preservación Definibilidad Elemento central Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba, 2007. Una variedad tiene congruencias Factor Definibles (DFC) si los núcleos de las proyecciones canónicas en productos directos son definibles por una formula de primer orden \Phi cuyos parámetros son elementos centrales. Los principales resultados son que DFC es una propiedad de Malcev que V tiene DFC si y sólo si V tiene 0 ;::; 1 y Congruencias Factor Booleanas (BFC). Se obtiene una definición explicita \Phi vía los términos asociados a la condición de Mmalcev para DFC. Pedro Octavio Sánchez Terraf. Álgebras y variedades -- Productos directos -- Expansiones de semi-reticulados --Una jerarquía de definibilidad. 2011-09-06T15:27:09Z 2011-09-06T15:27:09Z 2007 doctoralThesis Bibliografía : h.68-69. http://hdl.handle.net/11086/104 spa Disponible también en línea. Atribución-NoComercial-SinDerivadas 2.5 Argentina http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ 71 h. :
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Equational logic, Malʹcev conditions
Interpolation, preservation, definability
General algebraic systems
Mathematical logic
Factor congruences
Central element
Preservación
Definibilidad
Elemento central
spellingShingle Equational logic, Malʹcev conditions
Interpolation, preservation, definability
General algebraic systems
Mathematical logic
Factor congruences
Central element
Preservación
Definibilidad
Elemento central
Sánchez Terraf, Pedro Octavio
Congruencias factor definibles
topic_facet Equational logic, Malʹcev conditions
Interpolation, preservation, definability
General algebraic systems
Mathematical logic
Factor congruences
Central element
Preservación
Definibilidad
Elemento central
description Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba, 2007.
author2 Vaggione, Diego J.
author_facet Vaggione, Diego J.
Sánchez Terraf, Pedro Octavio
format doctoralThesis
author Sánchez Terraf, Pedro Octavio
author_sort Sánchez Terraf, Pedro Octavio
title Congruencias factor definibles
title_short Congruencias factor definibles
title_full Congruencias factor definibles
title_fullStr Congruencias factor definibles
title_full_unstemmed Congruencias factor definibles
title_sort congruencias factor definibles
publishDate 2011
url http://hdl.handle.net/11086/104
work_keys_str_mv AT sanchezterrafpedrooctavio congruenciasfactordefinibles
_version_ 1782014690400927744

Ejemplares similares