dc.contributor.advisor | Vaggione, Diego J. | es |
dc.contributor.author | Sánchez Terraf, Pedro Octavio | es |
dc.date.accessioned | 2011-09-06T15:27:09Z | |
dc.date.available | 2011-09-06T15:27:09Z | |
dc.date.issued | 2007 | es |
dc.identifier.citation | Bibliografía : h.68-69. | es |
dc.identifier.uri | http://hdl.handle.net/11086/104 | |
dc.description | Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba, 2007. | es |
dc.description.abstract | 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. | es |
dc.description.statementofresponsibility | Pedro Octavio Sánchez Terraf. | es |
dc.description.tableofcontents | Álgebras y variedades -- Productos directos -- Expansiones de semi-reticulados --Una jerarquía de definibilidad. | es |
dc.format.extent | 71 h. : | es |
dc.language.iso | spa | es |
dc.relation | Disponible también en línea. | es |
dc.rights | Atribución-NoComercial-SinDerivadas 2.5 Argentina | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ | * |
dc.subject | Equational logic, Malʹcev conditions | es |
dc.subject | Interpolation, preservation, definability | es |
dc.subject | General algebraic systems | es |
dc.subject | Mathematical logic | es |
dc.subject.other | Factor congruences | es |
dc.subject.other | Central element | es |
dc.subject.other | Preservación | es |
dc.subject.other | Definibilidad | es |
dc.subject.other | Elemento central | es |
dc.title | Congruencias factor definibles | es |
dc.type | doctoralThesis | es |