Generalización modelista de las teorías infinitarias de órdenesórdenes parciales

  1. Carrascal Platas, Begoña
Zuzendaria:
  1. Jesús María Larrazabal Antía Zuzendaria

Defentsa unibertsitatea: Universidad del País Vasco - Euskal Herriko Unibertsitatea

Defentsa urtea: 1993

Epaimahaia:
  1. Antonio Vera López Presidentea
  2. José Luis Malaina Ríos Idazkaria
  3. Juan Carlos Martínez Alonso Kidea
  4. Huberto Marraud Kidea
  5. Jorg Flum Berchader Kidea

Mota: Tesia

Teseo: 39648 DIALNET

Laburpena

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.