Congruencias factor definibles
Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba, 2007.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | doctoralThesis |
| Language: | spa |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/104 |
| _version_ | 1801215016751333376 |
|---|---|
| author | Sánchez Terraf, Pedro Octavio |
| author2 | Vaggione, Diego J. |
| author_facet | Vaggione, Diego J. Sánchez Terraf, Pedro Octavio |
| author_sort | Sánchez Terraf, Pedro Octavio |
| collection | Repositorio Digital Universitario |
| description | Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba, 2007. |
| format | doctoralThesis |
| id | rdu-unc.104 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2011 |
| record_format | dspace |
| spelling | rdu-unc.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. : |
| 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 |
| title | Congruencias factor definibles |
| title_full | Congruencias factor definibles |
| title_fullStr | Congruencias factor definibles |
| title_full_unstemmed | Congruencias factor definibles |
| title_short | Congruencias factor definibles |
| title_sort | congruencias factor definibles |
| topic | Equational logic, Malʹcev conditions Interpolation, preservation, definability General algebraic systems Mathematical logic Factor congruences Central element Preservación Definibilidad Elemento central |
| url | http://hdl.handle.net/11086/104 |
| work_keys_str_mv | AT sanchezterrafpedrooctavio congruenciasfactordefinibles |