Álgebras booleanas super-magras y algunas aplicaciones a la Teoría de modelos
Fuente:
Redalyc
Saved in:
| Main Author: | |
|---|---|
| Format: | Artículo científico |
| Language: | es |
| Published: |
Politécnico Grancolombiano
2008
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1876483168325861376 |
|---|---|
| author | Jaime Posada |
| author_facet | Jaime Posada |
| contents | Álgebras booleanas super-magras y algunas aplicaciones a la Teoría de modelos Jaime Posada Derecho Teoría de Modelos Algebras Booleanas En este trabajo es un acercamiento a las álgebras booleanas super-magras que permiten estudiar facetas de la teoría de modelos presentes en la demostración del teorema de Morley. Esencialmente son álgebras booleanas tales que su espacio de Stone no crece demasiado. Su estudio permitirá simplificar algunos argumentos involucrados en el teorema de Morley, entre ellos la siguiente implicación: Si es una teoría estable enumerable con modelos infinitos entonces es -estable para todo κ ≥ ω. 2008 artículo científico 1909-7433 https://www.redalyc.org/articulo.oa?id=343929218005 es http://www.redalyc.org/revista.oa?id=3439 PANORAMA application/pdf Politécnico Grancolombiano PANORAMA (Colombia) Num.6 Vol.2 |
| format | Artículo científico |
| id | redalyc_343929218005 |
| institution | Redalyc |
| language | es |
| publishDate | 2008 |
| publisher | Politécnico Grancolombiano |
| spellingShingle | Álgebras booleanas super-magras y algunas aplicaciones a la Teoría de modelos Jaime Posada Derecho Teoría de Modelos Algebras Booleanas Álgebras booleanas super-magras y algunas aplicaciones a la Teoría de modelos Jaime Posada Derecho Teoría de Modelos Algebras Booleanas En este trabajo es un acercamiento a las álgebras booleanas super-magras que permiten estudiar facetas de la teoría de modelos presentes en la demostración del teorema de Morley. Esencialmente son álgebras booleanas tales que su espacio de Stone no crece demasiado. Su estudio permitirá simplificar algunos argumentos involucrados en el teorema de Morley, entre ellos la siguiente implicación: Si es una teoría estable enumerable con modelos infinitos entonces es -estable para todo κ ≥ ω. 2008 artículo científico 1909-7433 https://www.redalyc.org/articulo.oa?id=343929218005 es http://www.redalyc.org/revista.oa?id=3439 PANORAMA application/pdf Politécnico Grancolombiano PANORAMA (Colombia) Num.6 Vol.2 |
| title | Álgebras booleanas super-magras y algunas aplicaciones a la Teoría de modelos |
| topic | Derecho Teoría de Modelos Algebras Booleanas |
| url | https://www.redalyc.org/articulo.oa?id=343929218005 |