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á simplifi car algunos argumentos involucrados en el teorema de Morley, entre ellos la siguiente impli- cación: Si T es una teoría ω-estable enumerable con modelos infi - nitos entonces T es k -estable para todo k ≥ ω
© 2001-2024 Fundación Dialnet · Todos los derechos reservados