Congruencias factor definibles /

dc.contributorVaggione, Diego J.
dc.creatorSánchez Terraf, Pedro Octavio
dc.date.accessioned2011-09-06T15:27:09Z
dc.date.available2011-09-06T15:27:09Z
dc.date.created2011-09-06T15:27:09Z
dc.date.issued2007
dc.identifierBibliografía : h.68-69.
dc.identifierhttp://hdl.handle.net/11086/104
dc.description.abstractUna 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.
dc.languagespa
dc.relationDisponible también en línea.
dc.rightshttp://creativecommons.org/licenses/by-nc-nd/2.5/ar/
dc.rightsAtribución-NoComercial-SinDerivadas 2.5 Argentina
dc.subjectEquational logic, Malʹcev conditions
dc.subjectInterpolation, preservation, definability
dc.subjectGeneral algebraic systems
dc.subjectMathematical logic
dc.titleCongruencias factor definibles /
dc.typedoctoralThesis


Este ítem pertenece a la siguiente institución