Congruencias factor definibles
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.
Álgebras y variedades -- Productos directos -- Expansiones de semi-reticulados --Una jerarquía de definibilidad.
Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba, 2007.
Pedro Octavio Sánchez Terraf.
- Ofician Conocimento Abierto UNC Argentina
- National University of Córdoba Argentina
preservation, General algebraic systems, Equational logic, Malʹcev conditions, Interpolation, preservation, definability, Elemento central, Definibilidad, Interpolation, definability, Preservación, Malʹcev conditions, Central element, Mathematical logic, Factor congruences, Equational logic
preservation, General algebraic systems, Equational logic, Malʹcev conditions, Interpolation, preservation, definability, Elemento central, Definibilidad, Interpolation, definability, Preservación, Malʹcev conditions, Central element, Mathematical logic, Factor congruences, Equational logic
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).0 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!