El teorema de categoricidad de Morley y la categoricidad de campos algebraicamente cerrados de característica 0 con pseudo-exponenciación

Una teoría se dice k-categórica si tiene un único modelo de cardinal k (módulo isomorfismo). El teorema de categoricidad de Morley establece que si una teoría en un lenguaje enumerable es categórica en un cardinal no enumerable, es categórica en todo cardinal no enumerable. En la primera parte del d...