Congruencias factor definibles

Autores
Sánchez Terraf, Pedro Octavio
Año de publicación
2007
Idioma
español castellano
Tipo de recurso
tesis doctoral
Estado
versión publicada
Colaborador/a o director/a de tesis
Vaggione, Diego J.
Descripción
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.
Materia
Equational logic, Malʹcev conditions
Interpolation, preservation, definability
General algebraic systems
Mathematical logic
Factor congruences
Central element
Preservación
Definibilidad
Elemento central
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/104
Acceder
id RDUUNC_8156f8f37ec7b2b461d7db546518fe39
oai_identifier_str oai:rdu.unc.edu.ar:11086/104
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Congruencias factor definiblesSánchez Terraf, Pedro OctavioEquational logic, Malʹcev conditionsInterpolation, preservation, definabilityGeneral algebraic systemsMathematical logicFactor congruencesCentral elementPreservaciónDefinibilidadElemento centralTesis (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.Vaggione, Diego J.2007info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_db06info:ar-repo/semantics/tesisDoctoralapplication/pdfBibliografía : h.68-69.http://hdl.handle.net/11086/104spaDisponible también en línea.info:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-10-16T09:31:09Zoai:rdu.unc.edu.ar:11086/104Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-10-16 09:31:10.176Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Congruencias factor definibles
title Congruencias factor definibles
spellingShingle Congruencias factor definibles
Sánchez Terraf, Pedro Octavio
Equational logic, Malʹcev conditions
Interpolation, preservation, definability
General algebraic systems
Mathematical logic
Factor congruences
Central element
Preservación
Definibilidad
Elemento central
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
dc.creator.none.fl_str_mv Sánchez Terraf, Pedro Octavio
author Sánchez Terraf, Pedro Octavio
author_facet Sánchez Terraf, Pedro Octavio
author_role author
dc.contributor.none.fl_str_mv Vaggione, Diego J.
dc.subject.none.fl_str_mv Equational logic, Malʹcev conditions
Interpolation, preservation, definability
General algebraic systems
Mathematical logic
Factor congruences
Central element
Preservación
Definibilidad
Elemento central
topic Equational logic, Malʹcev conditions
Interpolation, preservation, definability
General algebraic systems
Mathematical logic
Factor congruences
Central element
Preservación
Definibilidad
Elemento central
dc.description.none.fl_txt_mv 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.
description Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba, 2007.
publishDate 2007
dc.date.none.fl_str_mv 2007
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_db06
info:ar-repo/semantics/tesisDoctoral
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv Bibliografía : h.68-69.
http://hdl.handle.net/11086/104
identifier_str_mv Bibliografía : h.68-69.
url http://hdl.handle.net/11086/104
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv Disponible también en línea.
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1846143393314373632
score 12.712165

Publicaciones similares