En la lógica matemática, el Morley espeso, nombrado después Michael D. Morley, es los medios de medir la dimensión en la teoría modelo vía filas. Era el primer tal medida y es el que se asemeja lo más de cerca posible a la dimensión de la geometría algebraica.

Para un T de la teoría con el modelo M, un φ de la fórmula que define un definible S del subconjunto del M tiene α de la fila de Morley por lo menos (para el α un ordinal del sucesor) si en un cierto elemental N de la extensión del M, S hace que contable muchos desunan el definible Si de los subconjuntos, cada uno de la fila por lo menos α-1. Observar que las medidas espesas de Morley la fila de una fórmula, no un sistema.

Si el φ que define el S tiene α espeso, y el S se rompe para arriba en no más que n < los subconjuntos finitos del ω de α espeso, después el φ se dice para tener grado N. Una fórmula que define un sistema finito tiene fila 0 de Morley. Una fórmula con la fila 1 de Morley y el grado 1 de Morley se llama el fuerte mínimo. Una estructura fuerte mínima del es una donde está fuerte mínimo el x=x trivial de la fórmula. La fila de Morley y las estructuras fuerte mínimas son herramientas dominantes en la prueba del teorema del categoricity de Morley y en el área más grande de la teoría de la estabilidad.

Ver también

.