Tesis doctoral de Begoña Carrascal Platas
En este trabajo se caracterizan diferentes subclases de ordenes parciales mediante enunciados de lenguajes logicos inginitarios adecuados (dependientes del cardinal del orden considerado). En un primer capitulo se definen y estudian los buenos ordenes parciales y se ve como es posible su caracterizazion salvo isomorfias, en el segundo capitulo definimos los ordenes parciales fuertemente diseminados (sin anticadenas infinitas) y probamos un teeorema de caracterizacion absoluta para los ordenes contables de este tipo. por tulmino en el tercer capitulo hacemos lo mismo con los arboles fuertemente diseminados en general, pero escribiendo un enunciado que nos da cuenta de una forma precisa de como se va realizando esta caracterizacion, es decir, con este enunciado expresamos toda la informacion que tenemos sobre el arbol considerado.
Datos académicos de la tesis doctoral «Generalizacion modelista de las teorias infinitarias de ordenes: ordenes parciales«
- Título de la tesis: Generalizacion modelista de las teorias infinitarias de ordenes: ordenes parciales
- Autor: Begoña Carrascal Platas
- Universidad: País vasco/euskal herriko unibertsitatea
- Fecha de lectura de la tesis: 01/01/1993
Dirección y tribunal
- Director de la tesis
- Larrazabal Antia Jesús M.
- Tribunal
- Presidente del tribunal: Antonio Vera Lopez
- Humberto Marraud Gonzalez (vocal)
- Carlos Martinez Alonso (vocal)
- Jorg Flum Berchader (vocal)