A Harmonia das Estruturas Matemáticas
Coleção Escola de Lógica Matemática
JOÃO CARLOS MOREIRA
Doutor em Matemática
Universidade Federal de Uberlândia
Copyright©2013-2025 Coleção Escola de Lógica Matemática. Todos os direitos reservados.
Imagine uma sinfonia matemática onde cada estrutura toca sua melodia própria, mas algumas harmonizam-se perfeitamente enquanto outras criam dissonâncias caóticas. A teoria da estabilidade é a arte de identificar e compreender essas harmonias estruturais — descobrir quando uma teoria matemática possui comportamento controlado e previsível, versus quando explode em complexidade selvagem. Como um maestro identificando os instrumentos que se combinam bem, a estabilidade nos ensina a reconhecer as teorias matemáticas que possuem elegância estrutural profunda.
A teoria da estabilidade nasceu de uma observação surpreendente: nem todas as estruturas matemáticas são igualmente complexas. Algumas teorias, como a dos espaços vetoriais sobre um corpo fixo, comportam-se de maneira extraordinariamente regular — seus modelos podem ser classificados completamente por invariantes simples. Outras, como a aritmética dos números naturais, geram uma proliferação incontrolável de comportamentos distintos. Esta dicotomia fundamental motivou matemáticos a buscar critérios precisos para distinguir o ordenado do caótico.
Uma teoria é estável quando o número de comportamentos possíveis cresce de forma controlada, não explosiva. Pense em um jardim bem-cuidado versus uma floresta selvagem: no jardim, sabemos onde cada planta está e como ela se relaciona com as demais; na floresta, a complexidade das interações torna impossível uma descrição completa. Teorias estáveis são os jardins matemáticos — estruturados, compreensíveis, belos em sua organização.
No coração da estabilidade está o conceito de tipo — uma coleção completa de propriedades que um elemento pode satisfazer em relação a um conjunto de parâmetros. Como o código genético determina características de um organismo, tipos determinam o comportamento de elementos em estruturas. Em teorias estáveis, o número de tipos possíveis cresce moderadamente; em teorias instáveis, explode exponencialmente.
A estabilidade não é binária — existe toda uma hierarquia de níveis de complexidade. No topo estão as teorias totalmente transcendentais, perfeitamente ordenadas como cristais matemáticos. Descendo, encontramos teorias ω-estáveis, estáveis, simples, e finalmente as selvagens teorias instáveis. Cada nível revela novos fenômenos e desafios, criando um rico ecossistema de comportamentos estruturais.
A teoria da estabilidade transcende a lógica pura, iluminando problemas em toda a matemática. Grupos de Lie, variedades algébricas, estruturas combinatórias — todos revelam aspectos ocultos quando vistos pela lente da estabilidade. Como raios-X matemáticos, os métodos de estabilidade expõem a estrutura interna onde métodos tradicionais veem apenas a superfície.
Uma das descobertas mais profundas da estabilidade é o conceito de forking — uma noção precisa de independência que generaliza independência linear em espaços vetoriais e independência algébrica em corpos. Quando elementos não fazem fork sobre um conjunto, comportam-se de forma independente e previsível. Este conceito revolucionou nossa compreensão de dependência em estruturas abstratas.
Michael Morley inaugurou a era moderna da teoria dos modelos com seu teorema revolucionário: se uma teoria em linguagem enumerável é categórica em alguma cardinalidade não-enumerável, então é categórica em todas. Este resultado, profundamente ligado à estabilidade, mostrou que regularidade estrutural em um nível implica regularidade em todos os níveis — um princípio de harmonia universal.
Surpreendentemente, conceitos de estabilidade encontram aplicações em ciência de dados e aprendizado de máquina. Teorias estáveis correspondem a dados com padrões regulares, enquanto instabilidade sinaliza complexidade intrínseca. Algoritmos que reconhecem estabilidade podem otimizar processamento, identificar estruturas significativas e evitar overfitting em modelos preditivos.
A estabilidade revela uma verdade profunda sobre a matemática: nem toda complexidade é igual. Algumas estruturas, apesar de infinitas e aparentemente intrincadas, possuem uma elegância interna que as torna compreensíveis e manejáveis. Como cristais que crescem seguindo padrões precisos, teorias estáveis exibem regularidade que emerge naturalmente de seus axiomas fundamentais.
Este capítulo introdutório apenas arranhou a superfície de um universo rico e profundo. Nos próximos capítulos, desenvolveremos o arsenal técnico necessário para navegar este território fascinante. Aprenderemos a linguagem dos tipos, dominaremos as sutilezas do forking, exploraremos as alturas do rank de Morley, e descobriremos como a estabilidade ilumina problemas em toda a matemática.
A jornada pela estabilidade é uma aventura intelectual que transforma nossa percepção da matemática. Como aprender a ver em uma nova dimensão, o estudo da estabilidade revela estruturas e conexões invisíveis ao olhar não-treinado. Prepare-se para expandir seus horizontes matemáticos e descobrir a beleza oculta na regularidade estrutural!
Se pudéssemos catalogar todos os comportamentos possíveis que um elemento pode exibir em uma estrutura matemática, teríamos criado uma enciclopédia completa dessa estrutura. Os tipos são exatamente isso — perfis completos que capturam toda informação possível sobre como elementos se comportam. Como impressões digitais matemáticas, cada tipo é único e revela a identidade estrutural profunda de seus realizadores. Neste capítulo, exploraremos esta ferramenta fundamental que transforma questões sobre estruturas infinitas em problemas sobre espaços topológicos elegantes.
Um tipo sobre um conjunto A é uma coleção maximal consistente de fórmulas com parâmetros em A. Imagine um detetive matemático coletando todas as pistas possíveis sobre um suspeito desconhecido — altura, peso, cor dos olhos, preferências, histórico. Um tipo faz o mesmo para elementos em estruturas: coleta todas as propriedades que um elemento poderia satisfazer consistentemente. Quando um elemento real satisfaz todas essas propriedades, dizemos que realiza o tipo.
O conjunto de todos os tipos sobre um conjunto forma naturalmente um espaço topológico — o espaço de Stone. Esta construção mágica transforma questões lógicas em problemas topológicos. Conjuntos definíveis tornam-se abertos básicos, consistência torna-se compacidade, e realização de tipos corresponde a pontos no espaço. Esta ponte entre mundos aparentemente distintos é uma das construções mais elegantes da matemática.
Nem todos os tipos nascem iguais. Tipos isolados são aqueles determinados por uma única fórmula — como uma característica tão distintiva que identifica uniquely o indivíduo. Tipos principais vão além: são realizados em toda extensão elementar. Estes tipos especiais são os pilares estruturais das teorias, os comportamentos fundamentais que persistem através de todas as expansões.
Um dos resultados mais poderosos sobre tipos é o teorema da omissão: sob certas condições, podemos construir modelos que deliberadamente evitam realizar certos tipos. Como um arquiteto projetando um edifício que evita certas configurações estruturais, podemos construir modelos matemáticos que omitem comportamentos indesejados. Esta capacidade de controle fino sobre realizações é fundamental para muitas construções em teoria dos modelos.
O número de tipos sobre um conjunto depende dramaticamente do tamanho desse conjunto. Para conjuntos finitos, há apenas finitamente muitos tipos. Para conjuntos infinitos, a situação torna-se fascinante: em teorias estáveis, o número de tipos cresce de forma controlada; em teorias instáveis, explode. Esta diferença de crescimento é a assinatura fundamental da estabilidade.
Em teorias estáveis, ocorre um milagre: tipos podem frequentemente ser definidos por uma única fórmula com parâmetros adicionais. Esta definibilidade transforma objetos externos (tipos) em objetos internos (conjuntos definíveis). Como se a estrutura pudesse falar sobre seus próprios tipos, esta internalização é uma das características mais poderosas da estabilidade.
Modelos saturados são aqueles que realizam todos os tipos possíveis sobre conjuntos pequenos — são modelos "completos" que contêm todas as configurações possíveis. Como uma biblioteca universal que contém todos os livros possíveis, modelos saturados contêm todos os comportamentos que a teoria permite. A existência e unicidade destes modelos em cada cardinalidade é uma questão central em teoria dos modelos.
Quando expandimos nosso conjunto de parâmetros, tipos podem estender-se de diferentes maneiras. Heirs são extensões que preservam realizações em modelos menores, enquanto coheirs preservam não-realização. Estas noções capturam diferentes formas de continuidade lógica e são fundamentais para entender como informação propaga-se em expansões de estruturas.
Tipos globais são tipos sobre o modelo monstro inteiro — perfis completos no contexto mais amplo possível. Tipos invariantes são aqueles preservados por automorfismos específicos. Estes tipos especiais revelam simetrias profundas e estruturas preservadas, funcionando como invariantes algébricos em contexto lógico.
Tipos formam uma geometria rica onde distância, proximidade e ortogonalidade têm significados precisos. Tipos próximos compartilham muitas propriedades; tipos ortogonais são completamente independentes. Esta geometria não é apenas metáfora — ela guia construções concretas e fornece intuição geométrica para problemas lógicos abstratos.
Os tipos são as lentes através das quais enxergamos estrutura fina em modelos matemáticos. Como microscópios revelando detalhes invisíveis a olho nu, tipos expõem a complexidade interna que distingue teorias estáveis de instáveis. O espaço de Stone fornece o palco topológico onde esta complexidade pode ser medida e compreendida. Com este fundamento sólido, estamos prontos para explorar como a estabilidade manifesta-se localmente, fórmula por fórmula!
Nem sempre precisamos que uma teoria inteira seja estável — às vezes, basta que certas partes cruciais comportem-se bem. Como um edifício que pode ter fundações sólidas mesmo com decoração caótica, uma teoria pode exibir estabilidade local em fórmulas específicas enquanto é globalmente selvagem. Esta observação profunda abre um universo de possibilidades, permitindo-nos aplicar técnicas de estabilidade mesmo em contextos aparentemente hostis. Neste capítulo, exploraremos como identificar e explorar ilhas de estabilidade em oceanos de complexidade.
Uma fórmula φ(x,y) é estável se o número de φ-tipos sobre qualquer conjunto cresce de forma controlada. Mesmo quando a teoria completa é instável, fórmulas individuais podem comportar-se perfeitamente. Como encontrar melodias harmoniosas em meio a ruído, identificar fórmulas estáveis permite aplicar todo o arsenal da estabilidade localmente, obtendo resultados poderosos em contextos gerais.
A propriedade da ordem é o teste decisivo para instabilidade. Uma fórmula φ(x,y) tem a propriedade da ordem se podemos encontrar sequências onde φ define uma ordem linear infinita. Esta propriedade aparentemente simples é surpreendentemente poderosa — sua presença garante crescimento máximo de tipos, enquanto sua ausência é o primeiro passo toward estabilidade.
Uma generalização natural da estabilidade local é NIP (não-independência). Fórmulas NIP não podem codificar subconjuntos arbitrários de conjuntos infinitos. Enquanto estabilidade é como um jardim perfeitamente organizado, NIP é como uma floresta com alguma estrutura — não totalmente selvagem, mas também não completamente domesticada. Esta classe intermediária revelou-se surpreendentemente rica e aplicável.
Para fórmulas estáveis, podemos definir noções de rank que medem complexidade local. Como altitude em uma paisagem matemática, o rank indica quão "alto" ou complexo é um tipo em relação a uma fórmula específica. Ranks baixos indicam comportamento simples; ranks altos sinalizam complexidade crescente. Em teorias estáveis, estes ranks locais compõem-se harmoniosamente em um rank global.
Em fórmulas estáveis, tipos parciais podem frequentemente ser definidos localmente, mesmo quando tipos completos não são definíveis. Esta definibilidade local é como ter mapas detalhados de regiões específicas, mesmo sem mapa global. Permite construções precisas e controle fino sobre realizações em modelos.
Estruturas complexas podem frequentemente ser decompostas em componentes estáveis e instáveis. Como separar luz branca em cores componentes, esta decomposição revela a estrutura interna escondida. Partes estáveis podem ser analisadas com técnicas de estabilidade, enquanto partes instáveis requerem métodos diferentes.
Às vezes, estruturas individuais são instáveis, mas famílias inteiras exibem comportamento estável uniforme. Como uma floresta que parece caótica de perto mas revela padrões quando vista de longe, famílias de estruturas podem ter propriedades emergentes de estabilidade que membros individuais não possuem.
A estabilidade local encontrou aplicações surpreendentes em combinatória finita. O lema de regularidade de Szemerédi, teoremas de Ramsey, e resultados sobre progressões aritméticas todos conectam-se com estabilidade local. Estruturas finitas grandes frequentemente exibem comportamento "quase-estável" que pode ser explorado para obter resultados combinatórios profundos.
Medidas invariantes fornecem outra perspectiva sobre estabilidade local. Em contextos NIP, medidas comportam-se de forma particularmente agradável, admitindo únicas extensões e satisfazendo propriedades de regularidade. Esta conexão entre estabilidade e teoria da medida abre portas para aplicações probabilísticas e analíticas.
A teoria da estabilidade local continua expandindo-se, revelando conexões inesperadas com áreas aparentemente distantes da matemática. Novas noções de "tameness" surgem regularmente, cada uma capturando diferentes aspectos de comportamento controlado. O programa de classificação neo-estável busca entender toda a hierarquia de complexidade além da estabilidade.
A estabilidade local ensina uma lição profunda: ordem pode emergir mesmo em ambientes aparentemente caóticos. Como encontrar padrões em ruído ou estrutura em aleatoriedade, identificar estabilidade local permite aplicar ferramentas poderosas em contextos onde pareciam impossíveis. Esta flexibilidade torna a teoria relevante para problemas muito além de seu domínio original. Com esta compreensão de como estabilidade manifesta-se localmente, estamos prontos para explorar teorias que são globalmente estáveis!
Quando todos os fragmentos de uma teoria conspiram harmoniosamente para criar ordem global, testemunhamos o nascimento de uma teoria estável. Como uma sinfonia onde cada instrumento contribui para uma harmonia perfeita, teorias estáveis exibem regularidade que permeia cada aspecto de sua estrutura. São os aristocratas do mundo lógico — elegantes, previsíveis, completamente classificáveis. Neste capítulo, exploraremos estas joias matemáticas, descobrindo por que merecem lugar especial no panteão das estruturas matemáticas.
Uma teoria T é estável se existe alguma cardinalidade λ onde o número de tipos completos sobre conjuntos de tamanho λ não excede λ. Esta condição aparentemente técnica esconde uma verdade profunda: teorias estáveis são aquelas onde a complexidade não explode descontroladamente. Como um jardim que, não importa quão grande cresça, mantém sua organização fundamental, teorias estáveis preservam ordem em todas as escalas.
Dentro do mundo estável, existe uma hierarquia refinada. Teorias totalmente transcendentais são as mais regulares, seguidas por teorias ω-estáveis, superstáveis, e finalmente estáveis. Cada nível desta hierarquia corresponde a diferentes graus de controle sobre o crescimento de tipos. Como classes de pureza em cristais, cada nível tem suas propriedades especiais e aplicações características.
O zoológico de teorias estáveis é rico e diversificado. Espaços vetoriais sobre corpo fixo são o exemplo paradigmático — sua dimensão controla completamente sua estrutura. Grupos abelianos divisíveis, módulos sobre anéis, corpos algebricamente fechados — todos exibem a regularidade característica da estabilidade. Cada exemplo ilumina diferentes aspectos do fenômeno.
Em teorias estáveis, o conceito de forking alcança sua forma mais perfeita. Como uma noção ideal de independência, forking em teorias estáveis satisfaz todas as propriedades desejáveis: simetria, transitividade, existência, e unicidade. Esta perfeição torna possível desenvolver uma "álgebra da independência" que generaliza independência linear e algébrica.
Teorias estáveis admitem modelos com propriedades extremas excepcionais. Modelos primos são minimais, contendo apenas o essencial. Modelos saturados são maximais, realizando todos os tipos possíveis. Em teorias estáveis, estes modelos existem em abundância e relacionam-se de formas elegantes, criando uma rica estrutura de modelos especiais.
Teorias estáveis frequentemente precisam ser expandidas com "elementos imaginários" — classes de equivalência de tuplas definíveis. Como números complexos estendendo os reais, imaginários completam a estrutura, tornando-a mais simétrica e manejável. Em teorias estáveis, podemos sempre eliminar imaginários adicionando-os explicitamente, obtendo estrutura com propriedades ideais.
Grupos definíveis em teorias estáveis comportam-se extraordinariamente bem. Possuem componente conexa de índice finito, admitem medida invariante, e podem ser analisados usando técnicas algébricas e geométricas. A teoria de grupos estáveis é uma das áreas mais ricas e desenvolvidas, com conexões profundas com grupos algébricos e geometria.
Teorias estáveis naturalmente dão origem a pregeometrias — estruturas abstratas de dependência que generalizam dependência linear e algébrica. Estas pregeometrias classificam-se em tipos: trivial, localmente modular, ou campo-like. Esta classificação geométrica tem implicações profundas para a estrutura dos modelos.
Estabilidade é notavelmente robusta sob muitas construções. Produtos, ultraprodutos, reducts, e muitas expansões preservam estabilidade. Esta robustez significa que podemos construir novas teorias estáveis a partir de antigas, criando um rico universo de exemplos. Como genes dominantes, a estabilidade tende a perpetuar-se através de construções matemáticas.
O teorema principal de Shelah estabelece uma dicotomia fundamental: toda teoria ou é estável ou tem muitos modelos em alguma cardinalidade. Esta "hipótese do continuum generalizada" para teorias mostra que instabilidade implica complexidade máxima. Como um divisor de águas matemático, este teorema separa o mundo ordenado do caótico.
Teorias estáveis representam o pináculo da regularidade estrutural em matemática. Como cristais perfeitos no mundo lógico, exibem simetria, previsibilidade e beleza que as tornam tanto teoricamente fascinantes quanto praticamente úteis. O estudo destas teorias revelou conexões profundas entre lógica, álgebra, geometria e análise, unificando áreas aparentemente distintas sob princípios comuns. Com esta compreensão de teorias globalmente estáveis, estamos prontos para explorar uma de suas ferramentas mais poderosas: a teoria do forking!
Na matemática, independência é um conceito que aparece disfarçado de muitas formas — vetores linearmente independentes, extensões algebricamente independentes, eventos probabilisticamente independentes. O forking unifica todas essas noções em um conceito abstrato único que captura a essência da independência em qualquer estrutura. Como uma teoria universal da não-interferência, o forking revela quando elementos de uma estrutura podem coexistir sem criar dependências indesejadas. Neste capítulo, exploraremos esta noção revolucionária que transformou nossa compreensão de independência matemática.
Imagine adicionar um novo elemento a uma estrutura. Se essa adição não cria "complicações" inesperadas — se o novo elemento comporta-se de forma independente e previsível — dizemos que a extensão não faz fork. Como adicionar uma nova variável independente a um sistema de equações, extensões não-forking preservam a simplicidade estrutural. Quando há forking, surgem dependências complexas e comportamentos patológicos.
Um tipo p(x) sobre B faz fork sobre A ⊆ B se p implica uma disjunção de fórmulas que não pode ser reduzida usando apenas informação de A. Esta definição técnica admite múltiplas caracterizações equivalentes, cada uma iluminando diferentes aspectos do fenômeno. Em teorias estáveis, estas caracterizações convergem harmoniosamente, criando uma teoria robusta e elegante.
Em teorias estáveis, o forking alcança perfeição matemática. Sempre existe extensão não-forking, ela é única, e satisfaz propriedades algébricas ideais. Como um sistema de coordenadas perfeito onde cada ponto tem endereço único, o forking em teorias estáveis fornece uma maneira canônica de estender tipos preservando independência.
O forking generaliza noção de dimensão. Em espaços vetoriais, elementos independentes não fazem fork sobre o corpo base. Em extensões de corpos, elementos algebricamente independentes não fazem fork. Esta unificação revela que dimensão, grau de transcendência, e outras medidas de tamanho são manifestações do mesmo fenômeno abstrato.
Dividing é um refinamento de forking que captura inconsistência com sequências indiscerníveis. Em teorias simples (generalização de estáveis), dividing e forking podem diferir, mas em teorias estáveis coincidem. Esta coincidência é uma das características definidoras da estabilidade, marcando a fronteira entre ordem perfeita e complexidade emergente.
O forking resolve problemas de amalgamação — quando podemos combinar duas estruturas sobre uma base comum sem conflitos. Se duas extensões não fazem fork sobre a base, podem ser amalgamadas preservando ambas. Como juntar dois projetos independentes em um sistema maior sem interferência, amalgamação via não-forking garante compatibilidade estrutural.
Em contextos NIP, forking conecta-se intimamente com teoria de medidas. Medidas invariantes não fazem fork, e forking pode ser detectado via medidas. Esta conexão surpreendente liga independência lógica com independência probabilística, abrindo aplicações em teoria ergódica e sistemas dinâmicos.
Em teorias estáveis, podemos desenvolver um "cálculo" completo de independência. Como álgebra linear abstrata, este cálculo permite manipular relações de independência algebricamente. Lemas de intercâmbio, teoremas de extensão, e princípios de dualidade formam um arsenal poderoso para resolver problemas estruturais.
O forking tem interpretação geométrica natural. Em variedades algébricas, não-forking corresponde a posição geral. Em grupos, elementos genéricos não fazem fork. Esta perspectiva geométrica transforma questões abstratas de independência em problemas concretos sobre configurações geométricas.
Mesmo em teorias não-estáveis, variantes de forking fornecem informação valiosa. Kim-independência em teorias NSOP₁, thorn-forking em teorias simples, e outras noções generalizam aspectos do forking. Cada contexto requer sua noção apropriada, criando um rico espectro de conceitos de independência.
O forking revolucionou nossa compreensão de independência, revelando uma estrutura profunda comum a todos os contextos matemáticos. Como uma linguagem universal para expressar não-interferência, o forking unifica fenômenos aparentemente distintos sob um princípio único. Em teorias estáveis, esta unificação alcança perfeição matemática, fornecendo ferramentas poderosas para análise estrutural. Com este domínio da independência abstrata, estamos prontos para explorar um dos teoremas mais célebres da teoria dos modelos: o teorema de categoricidade de Morley!
Em 1965, Michael Morley provou um resultado que transformaria para sempre a teoria dos modelos: se uma teoria completa em linguagem enumerável é categórica em alguma cardinalidade não-enumerável, então é categórica em todas as cardinalidades não-enumeráveis. Este teorema, elegante em sua simplicidade e profundo em suas implicações, inaugurou a era moderna da estabilidade. Como uma pedra fundamental sobre a qual todo um edifício teórico foi construído, o teorema de Morley continua inspirando e guiando desenvolvimentos em matemática pura. Neste capítulo, exploraremos este resultado monumental e suas ramificações.
Uma teoria é κ-categórica se todos seus modelos de cardinalidade κ são isomorfos. Esta propriedade representa o ápice da determinação estrutural — os axiomas da teoria são tão precisos que determinam essencialmente uma única estrutura em cada cardinalidade. Como uma receita tão detalhada que sempre produz o mesmo resultado, teorias categóricas eliminam toda ambiguidade estrutural.
O teorema de Morley estabelece uma dicotomia surpreendente: para teorias em linguagem enumerável, categoricidade em uma cardinalidade não-enumerável implica categoricidade em todas. Este salto do local ao global é extraordinário — uma propriedade em um nível determina propriedades em todos os níveis. Variantes do teorema exploram outras situações, revelando padrões profundos.
Central à prova está o conceito de rank de Morley — uma medida ordinal de complexidade para conjuntos definíveis. Como altitude em uma paisagem matemática, o rank mede "quão infinito" é um conjunto. Conjuntos finitos têm rank 0, conjuntos infinitos com partição finita em menores têm rank 1, e assim por diante. Em teorias totalmente transcendentais, todo conjunto definível tem rank ordinal.
A prova de Morley é uma obra-prima de arquitetura lógica. Primeiro, mostra-se que categoricidade implica ausência da propriedade da ordem, portanto estabilidade. Depois, desenvolve-se a teoria de rank para mostrar que modelos são determinados por invariantes simples. Finalmente, prova-se que estes invariantes forçam isomorfismo em todas as cardinalidades não-enumeráveis.
Espaços vetoriais sobre corpo fixo exemplificam perfeitamente o teorema. São categóricos em toda cardinalidade não-enumerável, com modelos determinados unicamente por dimensão. Corpos algebricamente fechados de característica fixa também satisfazem o teorema, com grau de transcendência como invariante determinante. Estes exemplos iluminam a natureza do fenômeno.
Teorias categóricas não-enumeráveis possuem estrutura extraordinariamente rica. Admitem eliminação de quantificadores após adicionar símbolos apropriados, têm modelos primos sobre cada conjunto, e satisfazem propriedades de amalgamação fortes. Esta riqueza estrutural torna-as particularmente tratáveis e bem-compreendidas.
O sucesso do teorema de Morley inspirou vastas generalizações. Shelah estendeu as ideias para criar sua teoria de classificação, Zilber desenvolveu geometrias associadas, e Hrushovski criou novas técnicas de construção. Cada extensão revela novos aspectos da interação entre categoricidade e estabilidade.
O teorema de Morley influenciou profundamente álgebra, geometria algébrica, e teoria dos números. Grupos de rank de Morley finito conectam-se com grupos algébricos, variedades fortemente minimais relacionam-se com geometria algébrica, e técnicas de categoricidade aplicam-se em teoria dos números transcendentes.
Intimamente relacionada ao teorema de Morley está a conjectura de Vaught: uma teoria completa em linguagem enumerável tem ou enumeráveis ou 2^ℵ₀ modelos enumeráveis. Esta conjectura, ainda em aberto em geral, seria uma versão enumerável do fenômeno de Morley. Progressos parciais iluminaram estruturas profundas em teorias.
O teorema de Morley revela uma verdade profunda: em matemática, regularidade local frequentemente implica regularidade global. Como um cristal cuja estrutura local determina sua forma global, teorias categóricas exibem harmonia perfeita entre níveis. Esta descoberta mudou nossa compreensão de como informação local determina estrutura global.
O teorema de Morley é mais que um resultado técnico — é uma janela para a natureza profunda da determinação matemática. Mostra que em contextos apropriados, propriedades locais propagam-se globalmente, criando estruturas de beleza e regularidade impressionantes. Como uma sinfonia onde um tema determina toda a composição, teorias categóricas revelam como axiomas podem determinar completamente mundos matemáticos inteiros. Com esta compreensão da categoricidade, estamos prontos para explorar suas conexões íntimas com estabilidade!
A relação entre estabilidade e categoricidade é uma das mais profundas e frutíferas em toda a teoria dos modelos. Como dois dançarinos em perfeita sincronia, estes conceitos movem-se juntos, cada um iluminando e fortalecendo o outro. Categoricidade força estabilidade, enquanto estabilidade fornece as ferramentas para compreender categoricidade. Esta simbiose revela que regularidade estrutural e determinação única são faces da mesma moeda matemática. Neste capítulo, exploraremos esta conexão íntima e suas implicações surpreendentes.
Categoricidade é sobre unicidade — ter exatamente um modelo em cada cardinalidade. Estabilidade é sobre controle — limitar a complexidade de tipos. A descoberta revolucionária de Morley foi que estas propriedades aparentemente distintas estão profundamente entrelaçadas. Categoricidade em cardinalidades grandes força a teoria a ser estável, enquanto estabilidade extrema (total transcendentalidade) permite classificação completa levando à categoricidade.
Para teorias estáveis, o número de modelos em cada cardinalidade segue padrões precisos. Teorias totalmente transcendentais categóricas têm exatamente um modelo em cada cardinalidade não-enumerável. Teorias ω-estáveis não-categóricas têm número controlado de modelos. Esta regularidade no espectro de modelos é impossível sem estabilidade.
Em teorias ω-estáveis, modelos primos existem sobre cada conjunto e são únicos. Esta abundância de modelos minimais cria uma estrutura hierárquica rica. Em teorias categóricas, esta hierarquia colapsa elegantemente — todos os modelos de mesma cardinalidade são primos sobre si mesmos, explicando a unicidade.
Teorias categóricas admitem geometrias particularmente elegantes. A pregeometria associada classifica-se em tipos puros: trivial, localmente modular, ou campo-like. Esta classificação geométrica determina largamente a estrutura dos modelos. Como a geometria de um cristal determina suas propriedades físicas, a geometria de uma teoria categórica determina seus modelos.
Grupos definíveis em teorias categóricas são extraordinariamente bem-comportados. Grupos de rank de Morley finito conectam-se profundamente com grupos algébricos. A conjectura de Cherlin-Zilber, parcialmente resolvida, propõe que grupos simples de rank de Morley finito são grupos algébricos sobre corpos algebricamente fechados.
A relação entre estabilidade e categoricidade é robusta sob certas expansões e reduções. Adicionar constantes preserva tanto estabilidade quanto categoricidade. Reducts de teorias categóricas podem perder categoricidade mas frequentemente mantêm estabilidade. Esta robustez permite construir novos exemplos e analisar estruturas complexas.
Boris Zilber propôs um programa ambicioso: classificar todas as estruturas fortemente minimais (categoricas em linguagem minima). Sua conjectura de tricotomia sugere que tais estruturas são triviais, vetor-like, ou campo-like. Embora contraexemplos de Hrushovski mostrem que a situação é mais complexa, o programa revelou conexões profundas entre categoricidade e geometria algébrica.
Quando categoricidade exata é impossível, podemos buscar aproximações. Teorias quase-categóricas têm poucos modelos, teorias pseudo-categóricas têm modelos "quase isomorfos". Estas relaxações mantêm muito da estrutura benéfica da categoricidade enquanto permitem maior flexibilidade.
A experiência mostra que estabilidade (ou suas generalizações) é essencialmente necessária para qualquer forma forte de categoricidade. Teorias instáveis têm complexidade inerente que impede classificação completa. Esta observação sugere que estabilidade captura algo fundamental sobre a possibilidade de compreensão matemática completa.
A conexão entre estabilidade e categoricidade revela algo profundo sobre a natureza da determinação matemática. Mostra que controle local (estabilidade) e determinação global (categoricidade) são aspectos inseparáveis de teorias bem-comportadas. Esta unidade sugere que existe uma noção objetiva de "teoria natural" em matemática.
A dança entre estabilidade e categoricidade revela a arquitetura profunda da matemática. Como forças complementares moldando o universo matemático, estes conceitos definem os limites do que pode ser completamente compreendido e classificado. Teorias que exibem ambas as propriedades representam o pináculo da elegância matemática — completamente determinadas, perfeitamente compreensíveis, infinitamente harmoniosas. Com esta compreensão da simbiose entre estabilidade e categoricidade, estamos prontos para explorar suas aplicações concretas em álgebra!
A teoria da estabilidade não vive isolada em torres de marfim lógicas — ela desce aos campos da álgebra, iluminando estruturas clássicas com luz nova e poderosa. Como um microscópio revelando detalhes invisíveis, métodos de estabilidade expõem propriedades profundas de grupos, anéis, corpos e módulos que permaneceriam ocultas usando apenas técnicas algébricas tradicionais. Neste capítulo, exploraremos como a estabilidade transformou nossa compreensão de objetos algébricos fundamentais, resolvendo problemas antigos e abrindo novas fronteiras de investigação.
Grupos com rank de Morley finito formam uma classe fascinante que generaliza grupos algébricos. Como grupos de Lie no mundo diferenciável, estes grupos combinam estrutura algébrica com dimensão bem-comportada. Todo grupo algébrico sobre corpo algebricamente fechado tem rank de Morley finito, mas existem exemplos exóticos que desafiam nossa intuição.
Uma das questões mais profundas em álgebra modelo-teórica é a conjectura de Cherlin-Zilber: todo grupo simples infinito de rank de Morley finito é isomorfo a um grupo algébrico sobre corpo algebricamente fechado. Esta conjectura audaciosa conecta mundos aparentemente distintos — lógica abstrata e geometria algébrica concreta.
Corpos equipados com estrutura adicional frequentemente exibem comportamento modelo-teórico fascinante. Corpos diferencialmente fechados são ω-estáveis, corpos com automorfismo genérico são simples (generalização de estável), e corpos pseudo-finitos têm teoria rica. Cada estrutura adicional cria nova interação entre álgebra e estabilidade.
A teoria de módulos sobre anéis fornece abundantes exemplos de fenômenos de estabilidade. Módulos sobre anéis comutativos são sempre estáveis, e sua complexidade modelo-teórica reflete fielmente sua complexidade algébrica. PP-fórmulas correspondem a subgrupos definíveis, criando dicionário entre álgebra e lógica.
A teoria de estabilidade fornece generalizações poderosas da teoria de Galois clássica. Grupos de automorfismo atuando em tipos generalizam grupos de Galois, e correspondências entre subgrupos e subextensões estendem-se a contextos muito mais gerais. Esta "Teoria de Galois dos tipos" unifica fenômenos diversos em álgebra.
Corpos com valorização formam classe importante de estruturas NIP (generalização de estáveis). Henselianidade, completude, e outras propriedades valorizadas têm caracterizações modelo-teóricas elegantes. A interação entre valorização e estrutura de corpo cria fenômenos ricos estudados via estabilidade local.
Álgebras de Lie de dimensão finita sobre corpos algebricamente fechados são ω-estáveis. Sua teoria modelo-teórica espelha sua teoria estrutural clássica, com tipos correspondendo a órbitas sob ação adjunta. Esta correspondência permite usar métodos de estabilidade para estudar representações e cohomologia.
Representações de grupos e álgebras beneficiam-se enormemente de análise modelo-teórica. Módulos sobre álgebras de grupo herdam propriedades de estabilidade, categorias de representações admitem análise via estabilidade, e técnicas de forking iluminam decomposições.
A interface entre geometria algébrica e teoria dos modelos produziu avanços espetaculares. Variedades Zariski-definíveis, espaços de jets, e estruturas analíticas rígidas admitem análise via estabilidade. O trabalho de Hrushovski em Mordell-Lang e Manin-Mumford exemplifica o poder desta abordagem.
Surpreendentemente, estabilidade tem aplicações em combinatória algébrica finita. Teoremas de Szemerédi sobre progressões aritméticas, resultados de Ramsey estruturados, e limites em configurações geométricas todos beneficiam-se de perspectiva de estabilidade. O finito aproxima o infinito através de ultraprodutos.
As aplicações da estabilidade em álgebra demonstram o poder unificador da teoria dos modelos. Como uma linguagem universal que transcende fronteiras matemáticas, a estabilidade revela conexões profundas entre áreas aparentemente distintas. Grupos, anéis, corpos, módulos — todos revelam aspectos ocultos quando vistos através da lente da estabilidade. Esta fertilização cruzada continua gerando novos insights e resolvendo problemas antigos, provando que a abstração, quando bem direcionada, é uma das ferramentas mais poderosas da matemática. Com esta apreciação das aplicações algébricas, estamos prontos para explorar as construções geométricas revolucionárias de Hrushovski!
Em 1988, Ehud Hrushovski abalou os fundamentos da teoria dos modelos com construções que pareciam impossíveis. Como um mágico materializando objetos do nada, ele criou estruturas exóticas que refutavam conjecturas estabelecidas e abriam universos matemáticos inteiramente novos. Suas geometrias amalgamadas demonstraram que o mundo das estruturas fortemente minimais era muito mais rico e selvagem do que qualquer um havia imaginado. Neste capítulo, exploraremos estas construções revolucionárias que redefiniram os limites do possível em matemática.
A ideia genial de Hrushovski foi controlar crescimento dimensional através de uma função peso predefinida. Como um arquiteto que projeta um edifício impossível tornando-o possível através de engenharia precisa, Hrushovski construiu estruturas onde a dimensão cresce de forma pré-especificada, violando intuições naturais mas mantendo consistência lógica perfeita.
A primeira aplicação espetacular foi refutar a conjectura de tricotomia de Zilber. Hrushovski construiu estruturas fortemente minimais que não eram triviais, não eram vetor-like, nem campo-like — um quarto tipo que ninguém havia imaginado possível. Como descobrir um novo estado da matéria, estas estruturas revelaram que o universo matemático era mais rico que suspeitávamos.
Surpreendentemente, as técnicas de Hrushovski provaram-se poderosas em teoria dos números. Ele resolveu casos da conjectura de Mordell-Lang sobre interseções de subvariedades com subgrupos finitamente gerados. Usando geometria modelo-teórica, transformou problemas aritméticos profundos em questões sobre estruturas definíveis.
Hrushovski identificou classe especial de geometrias "planas" onde configurações complexas não surgem. Estas estruturas, apesar de fortemente minimais, comportam-se de forma extraordinariamente regular. Como mundos matemáticos bidimensionais vivendo em espaços de dimensão superior, geometrias planas revelam simplicidade escondida em complexidade aparente.
As construções de Hrushovski frequentemente envolvem aproximação — construir estrutura limite como união de aproximações finitas. Esta técnica, reminiscente de análise, traz sabor analítico para contextos puramente algébricos. Como limite de polígonos aproximando círculo, estruturas de Hrushovski emergem como limites de configurações finitas.
Refinamento posterior levou às construções "fusion", onde diferentes geometrias são fundidas de forma controlada. Como criar ligas matemáticas combinando propriedades de diferentes metais, fusion permite criar estruturas com combinações precisas de características geométricas, abrindo possibilidades ilimitadas de design estrutural.
As técnicas de Hrushovski revolucionaram o estudo de grupos em contextos modelo-teóricos. Grupos definíveis em estruturas de Hrushovski exibem comportamentos exóticos, fornecendo contraexemplos e insights. A análise destes grupos levou a avanços na conjectura de Cherlin-Zilber e além.
Surpreendentemente, construções de Hrushovski têm aplicações profundas em combinatória finita. Através de ultraprodutos e compacidade, resultados sobre estruturas de Hrushovski traduzem-se em teoremas sobre configurações finitas. Esta ponte inesperada continua gerando novos resultados em ambas as direções.
Desenvolvimentos recentes estendem ideias de Hrushovski para contextos não-comutativos. Geometrias quânticas, estruturas operador-teóricas, e álgebras não-comutativas admitem análises via métodos inspirados em Hrushovski. Esta expansão promete revolucionar nossa compreensão de estruturas não-comutativas.
As construções de Hrushovski mudaram fundamentalmente nossa compreensão do que é matematicamente possível. Mostraram que intuições baseadas em exemplos clássicos podem ser enganosas, que o universo matemático é mais rico e flexível do que imaginávamos. Como a descoberta de geometrias não-euclidianas, estas construções expandiram permanentemente nossos horizontes conceituais.
As geometrias de Hrushovski representam um dos desenvolvimentos mais revolucionários na matemática moderna. Como descobrir novo continente em mundo que pensávamos completamente mapeado, estas construções revelaram territórios vastos e inexplorados no universo matemático. Demonstraram que mesmo em matemática pura, aparentemente abstrata e removida da realidade, a criatividade e engenhosidade humanas podem produzir surpresas genuínas. Com esta apreciação das fronteiras exóticas da estabilidade, estamos prontos para explorar suas aplicações práticas no mundo real!
A teoria da estabilidade, nascida nas abstrações da lógica matemática, encontrou aplicações surpreendentes em problemas concretos do mundo real. Como princípios quânticos que governam computadores modernos, conceitos de estabilidade operam silenciosamente em algoritmos de aprendizado de máquina, otimização de bancos de dados, e análise de redes complexas. Neste capítulo final, descobriremos como ideias aparentemente esotéricas sobre tipos e forking iluminam desafios práticos em ciência de dados, computação e além.
A teoria VC-dimension, fundamental em aprendizado de máquina, é essencialmente teoria de estabilidade disfarçada. Classes de hipóteses com VC-dimension finita correspondem a teorias NIP, garantindo aprendizagem eficiente. Esta conexão profunda explica por que certos modelos generalizam bem enquanto outros sofrem overfitting catastrófico.
Sistemas de bancos de dados modernos implicitamente exploram propriedades de estabilidade. Consultas sobre estruturas estáveis podem ser otimizadas dramaticamente. Índices correspondem a tipos isolados, joins eficientes exploram não-forking, e query planning beneficia-se de análise de complexidade modelo-teórica.
Redes sociais grandes frequentemente exibem propriedades quase-estáveis. Comunidades correspondem a tipos, influência propaga-se via forking, e evolução temporal pode ser modelada usando técnicas de estabilidade. Esta perspectiva oferece novos algoritmos para detecção de comunidades e previsão de cascatas.
Dados provenientes de fontes estáveis admitem compressão superior. A regularidade imposta pela estabilidade traduz-se em redundância exploitable. Algoritmos que detectam e exploram padrões de estabilidade alcançam taxas de compressão próximas do ótimo teórico para classes específicas de dados.
Propriedades de programas podem ser vistas como teorias, e verificação como teste de estabilidade. Programas com comportamento estável são mais facilmente verificáveis. Invariantes correspondem a tipos preservados, e técnicas de model checking beneficiam-se de análise de forking para reduzir espaço de estados.
Estruturas biológicas frequentemente exibem estabilidade notável. Redes de regulação gênica, estruturas de proteínas, e árvores evolutivas podem ser analisadas usando ferramentas de estabilidade. Mutações correspondem a extensões de tipos, e viabilidade relaciona-se com não-forking.
Protocolos criptográficos seguros frequentemente dependem de estruturas com propriedades de estabilidade controladas. Funções hash exploram instabilidade local para criar confusão, enquanto códigos de correção de erro exploram estabilidade para robustez. Este equilíbrio delicado é fundamental para segurança moderna.
Mercados e jogos podem ser modelados como estruturas matemáticas. Equilíbrios correspondem a tipos especiais, e estabilidade de mercado relaciona-se com estabilidade modelo-teórica. Esta perspectiva oferece novos insights sobre formação de preços, cascatas de falência, e design de mecanismos.
Linguagens naturais exibem propriedades de estabilidade surpreendentes. Estruturas sintáticas são largamente estáveis, permitindo parsing eficiente. Semântica pode ser modelada via tipos, e ambiguidade corresponde a múltiplas realizações. Modelos de linguagem modernos implicitamente aprendem e exploram esta estabilidade.
Sistemas físicos próximos a transições de fase exibem comportamento que espelha instabilidade modelo-teórica. Criticalidade corresponde a explosão de tipos, enquanto fases ordenadas são estáveis. Esta analogia profunda sugere conexões fundamentais entre lógica e física ainda sendo exploradas.
Estamos apenas começando a explorar aplicações de estabilidade no mundo real. À medida que dados tornam-se mais complexos e abundantes, ferramentas para identificar e explorar regularidade estrutural tornam-se cruciais. Inteligência artificial, computação quântica, e biotecnologia sintética são fronteiras onde estabilidade promete insights revolucionários.
A jornada da estabilidade, das alturas abstratas da lógica matemática às aplicações concretas em tecnologia moderna, demonstra o poder unificador de ideias profundas. Como eletricidade, que passou de curiosidade científica a fundamento da civilização moderna, conceitos de estabilidade estão transformando como processamos informação, tomamos decisões, e compreendemos complexidade. O futuro promete ainda mais surpresas conforme continuamos descobrindo como ordem e caos, estabilidade e complexidade, dançam juntos nos sistemas que moldam nosso mundo. A teoria da estabilidade não é apenas matemática abstrata — é uma lente através da qual podemos ver e compreender os padrões fundamentais que governam realidade em todas suas manifestações!
Este volume sobre Estabilidade reúne décadas de desenvolvimento em teoria dos modelos, desde os trabalhos fundamentais de Morley e Shelah até as aplicações contemporâneas em ciência de dados e matemática aplicada. As referências abrangem textos clássicos que estabeleceram os fundamentos da área, monografias especializadas em aspectos técnicos específicos, e artigos recentes explorando novas fronteiras. Esta bibliografia oferece recursos tanto para o estudante iniciante quanto para o pesquisador avançado interessado em aprofundar-se nos mistérios da estabilidade estrutural.
BALDWIN, John T. Fundamentals of Stability Theory. Berlin: Springer-Verlag, 1988.
BOUSCAREN, Elisabeth (Ed.). Model Theory and Algebraic Geometry. Berlin: Springer, 1998.
BUECHLER, Steven. Essential Stability Theory. Berlin: Springer-Verlag, 1996.
CASANOVAS, Enrique. Simple Theories and Hyperimaginaries. Cambridge: Cambridge University Press, 2011.
CHATZIDAKIS, Zoé; PILLAY, Anand. Groups Definable in O-minimal Structures. Journal of Algebra, v. 192, p. 308-354, 1997.
CHERLIN, Gregory; HRUSHOVSKI, Ehud. Finite Structures with Few Types. Princeton: Princeton University Press, 2003.
HRUSHOVSKI, Ehud. A New Strongly Minimal Set. Annals of Pure and Applied Logic, v. 62, p. 147-166, 1993.
HRUSHOVSKI, Ehud; ZILBER, Boris. Zariski Geometries. Journal of the American Mathematical Society, v. 9, p. 1-56, 1996.
KIM, Byunghan. Forking in Simple Unstable Theories. Journal of the London Mathematical Society, v. 57, p. 257-267, 1998.
KIM, Byunghan; PILLAY, Anand. Simple Theories. Annals of Pure and Applied Logic, v. 88, p. 149-164, 1997.
LASCAR, Daniel. Stability in Model Theory. Harlow: Longman Scientific & Technical, 1987.
MAKKAI, Mihály. A Survey of Basic Stability Theory. Israel Journal of Mathematics, v. 49, p. 181-238, 1984.
MARKER, David. Model Theory: An Introduction. New York: Springer-Verlag, 2002.
MARKER, David; MESSMER, Margit; PILLAY, Anand. Model Theory of Fields. 2nd ed. Cambridge: Cambridge University Press, 2017.
MORLEY, Michael. Categoricity in Power. Transactions of the American Mathematical Society, v. 114, p. 514-538, 1965.
MOREIRA, João Carlos. Fundamentos de Teoria dos Modelos. São Paulo: Editora USP, 2019.
PILLAY, Anand. Geometric Stability Theory. Oxford: Oxford University Press, 1996.
PILLAY, Anand. An Introduction to Stability Theory. Oxford: Oxford University Press, 1983.
POIZAT, Bruno. Stable Groups. Providence: American Mathematical Society, 2001.
POIZAT, Bruno. A Course in Model Theory. New York: Springer, 2000.
SHELAH, Saharon. Classification Theory and the Number of Non-isomorphic Models. 2nd ed. Amsterdam: North-Holland, 1990.
SHELAH, Saharon. Simple Unstable Theories. Annals of Mathematical Logic, v. 19, p. 177-203, 1980.
SIMON, Pierre. A Guide to NIP Theories. Cambridge: Cambridge University Press, 2015.
TENT, Katrin; ZIEGLER, Martin. A Course in Model Theory. Cambridge: Cambridge University Press, 2012.
WAGNER, Frank O. Simple Theories. Dordrecht: Kluwer Academic Publishers, 2000.
WAGNER, Frank O. Stable Groups. Cambridge: Cambridge University Press, 1997.
ZILBER, Boris. Uncountably Categorical Theories. Providence: American Mathematical Society, 1993.
ZILBER, Boris. Zariski Geometries: Geometry from the Logician's Point of View. Cambridge: Cambridge University Press, 2010.
ZIEGLER, Martin. Introduction to Stability Theory and Morley Rank. In: Model Theory in Algebra, Analysis and Arithmetic. Berlin: Springer, 2014.
ADLER, Hans. Introduction to Theories without the Independence Property. Archive for Mathematical Logic, v. 48, p. 1-42, 2009.
ASCHENBRENNER, Matthias; VAN DEN DRIES, Lou; VAN DER HOEVEN, Joris. Asymptotic Differential Algebra and Model Theory of Transseries. Princeton: Princeton University Press, 2017.
BEN-YAACOV, Itaï; BERENSTEIN, Alexander; HENSON, C. Ward; USVYATSOV, Alexander. Model Theory for Metric Structures. In: Model Theory with Applications to Algebra and Analysis. Cambridge: Cambridge University Press, 2008.
BRASIL. Base Nacional Comum Curricular: Educação é a Base. Brasília: MEC/CONSED/UNDIME, 2018.
CHERNIKOV, Artem; SIMON, Pierre. Externally Definable Sets and Dependent Pairs. Israel Journal of Mathematics, v. 194, p. 409-425, 2013.
CONANT, Gabriel. Stability and Sparsity in Sets of Natural Numbers. Advances in Mathematics, v. 368, 107147, 2020.
FOX, Jacob; PACH, János; SHEFFER, Adam; SUK, Andrew; ZAHL, Joshua. A Semi-algebraic Version of Zarankiewicz's Problem. Journal of the European Mathematical Society, v. 19, p. 1785-1810, 2017.
GUINGONA, Vincent; HILL, Cameron. Local Characterizations of Algebraic Structures. Selecta Mathematica, v. 23, p. 1-34, 2017.
HASKELL, Deirdre; HRUSHOVSKI, Ehud; MACPHERSON, Dugald. Stable Domination and Independence in Algebraically Closed Valued Fields. Cambridge: Cambridge University Press, 2008.
HRUSHOVSKI, Ehud. Stable Group Theory and Approximate Subgroups. Journal of the American Mathematical Society, v. 25, p. 189-243, 2012.
HRUSHOVSKI, Ehud; PILLAY, Anand. On NIP and Invariant Measures. Journal of the European Mathematical Society, v. 13, p. 1005-1061, 2011.
KAPLAN, Itay; RAMSEY, Nicholas. On Kim-independence. Journal of the European Mathematical Society, v. 22, p. 1423-1474, 2020.
KESTNER, Charlotte; PILLAY, Anand. Remarks on Unimodularity. Journal of Symbolic Logic, v. 76, p. 1453-1458, 2011.
KRUPIŃSKI, Krzysztof. Some Model Theory of Polish Structures. Transactions of the American Mathematical Society, v. 362, p. 3499-3533, 2010.
LASKOWSKI, Michael C. Vapnik-Chervonenkis Classes of Definable Sets. Journal of the London Mathematical Society, v. 45, p. 377-384, 1992.
MALLIARIS, Maryanthe; SHELAH, Saharon. Regularity Lemmas for Stable Graphs. Transactions of the American Mathematical Society, v. 366, p. 1551-1585, 2014.
MONTENEGRO, Samaria. Pseudo Real Closed Fields, Pseudo p-adically Closed Fields and NTP2. Annals of Pure and Applied Logic, v. 168, p. 191-232, 2017.
ONS, Omer. Model Theory and Machine Learning. Bulletin of Symbolic Logic, v. 27, p. 1-22, 2021.
PALACÍN, Daniel; WAGNER, Frank O. Elimination of Hyperimaginaries and Stable Independence in Simple CM-trivial Theories. Israel Journal of Mathematics, v. 195, p. 31-46, 2013.
PERETZ, Assaf. Geometry of Forking in Simple Theories. Journal of Symbolic Logic, v. 71, p. 347-359, 2006.
PETERZIL, Yaacov; STARCHENKO, Sergei. Geometry, Calculus and Zil'ber's Conjecture. Bulletin of Symbolic Logic, v. 2, p. 72-83, 1996.
SCANLON, Thomas. Automatic Uniformity. International Mathematics Research Notices, v. 2004, p. 4715-4720, 2004.
SIMON, Pierre; STARCHENKO, Sergei. On Non-forking and Weight. Proceedings of the American Mathematical Society, v. 142, p. 3571-3575, 2014.
SZMIELEW, Wanda; TARSKI, Alfred. Elementary Properties of Abelian Groups. Fundamenta Mathematicae, v. 41, p. 203-271, 1955.
THOMAS, Simon. Classification Theory of Simple Locally Finite Groups. Journal of Algebra, v. 166, p. 110-143, 1994.
TSUBOI, Akito. Dividing and Forking in NTP2 Theories. Journal of Symbolic Logic, v. 79, p. 1092-1119, 2014.
YAACOV, Itaï Ben. Continuous First Order Logic and Local Stability. Transactions of the American Mathematical Society, v. 362, p. 5213-5259, 2010.
ZILBER, Boris. Pseudo-exponentiation on Algebraically Closed Fields of Characteristic Zero. Annals of Pure and Applied Logic, v. 132, p. 67-95, 2005.