Os Paradoxos do Infinito na Teoria dos Modelos
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 descobrir que o conjunto dos números reais, com toda sua complexidade incontável, pode ser fielmente representado por uma estrutura que contém apenas uma quantidade enumerável de elementos. Ou que a vastidão dos conjuntos infinitos pode ser capturada em universos surpreendentemente pequenos. Este é o mundo fascinante revelado pelos teoremas de Löwenheim-Skolem, onde nossas intuições sobre tamanho e infinito são desafiadas de maneiras profundas e inesperadas. Nesta jornada pela teoria dos modelos, descobriremos como estruturas matemáticas aparentemente incompatíveis podem satisfazer exatamente as mesmas propriedades lógicas.
A teoria dos modelos nasceu no início do século XX, quando matemáticos começaram a questionar a natureza das estruturas matemáticas e suas descrições formais. Leopold Löwenheim, em 1915, e Thoralf Skolem, em 1920, descobriram independentemente resultados que abalaram as fundações da matemática. Eles mostraram que qualquer teoria de primeira ordem com modelo infinito possui modelos de todas as cardinalidades infinitas, desde o enumerável até cardinalidades arbitrariamente grandes.
Um modelo é como um universo matemático particular onde vivem objetos e relações. Quando dizemos que uma estrutura é modelo de uma teoria, queremos dizer que todas as sentenças da teoria são verdadeiras quando interpretadas naquela estrutura. É como se cada modelo fosse um mundo possível onde certas leis matemáticas são válidas. O surpreendente é descobrir quantos mundos diferentes podem obedecer às mesmas leis.
A teoria dos modelos estuda a relação delicada entre as descrições formais (sintaxe) e as estruturas que elas descrevem (semântica). Uma teoria é um conjunto de sentenças em uma linguagem formal. Um modelo é uma estrutura concreta que torna essas sentenças verdadeiras. O teorema de Löwenheim-Skolem revela que essa relação é muito mais flexível do que poderíamos imaginar inicialmente.
O chamado paradoxo de Skolem surge quando aplicamos o teorema à teoria dos conjuntos. A teoria de Zermelo-Fraenkel prova a existência de conjuntos não-enumeráveis, como os números reais. Porém, pelo teorema de Löwenheim-Skolem descendente, existe um modelo enumerável dessa teoria. Como pode um modelo enumerável conter conjuntos não-enumeráveis? A resposta está na relativização: o que é não-enumerável dentro do modelo pode ser enumerável quando visto de fora.
As linguagens de primeira ordem, apesar de sua grande expressividade, têm limitações fundamentais. Elas não conseguem distinguir entre modelos de cardinalidades diferentes quando essas cardinalidades são infinitas. Não existe sentença de primeira ordem que seja verdadeira exatamente nos modelos enumeráveis, ou exatamente nos modelos não-enumeráveis. Esta limitação é intrínseca e nos ensina sobre os limites do que pode ser expresso formalmente.
O estudo dos teoremas de Löwenheim-Skolem desenvolve o pensamento abstrato e a capacidade de distinguir entre diferentes níveis de análise matemática. Aprender sobre modelos e suas propriedades prepara o estudante para compreender conceitos avançados em lógica, teoria dos conjuntos e fundamentos da matemática. É uma ponte entre a matemática concreta do ensino médio e as abstrações da matemática superior.
Os teoremas de Löwenheim-Skolem têm aplicações surpreendentes em áreas modernas da matemática e ciência da computação. Em verificação de software, ajudam a entender quando propriedades podem ser testadas em modelos finitos. Em inteligência artificial, informam sobre limitações de sistemas de representação de conhecimento. Em filosofia da matemática, alimentam debates sobre a natureza da verdade matemática e o realismo matemático.
Este primeiro capítulo estabeleceu o cenário para nossa exploração dos teoremas de Löwenheim-Skolem. Vimos como eles revelam aspectos profundos e contra-intuitivos sobre a natureza das estruturas matemáticas e suas descrições formais. Nos próximos capítulos, desenvolveremos o aparato técnico necessário para entender e demonstrar esses teoremas, explorando suas consequências fascinantes e suas aplicações em diversos campos da matemática.
A jornada que iniciamos aqui nos levará através de territórios onde o finito encontra o infinito, onde o enumerável abraça o incontável, e onde nossas intuições mais básicas sobre tamanho e quantidade são desafiadas e refinadas. Prepare-se para questionar o que você pensa saber sobre o infinito e descobrir novas maneiras de pensar sobre as estruturas que fundamentam toda a matemática!
Para compreender os teoremas de Löwenheim-Skolem, precisamos primeiro dominar a linguagem na qual as teorias matemáticas são expressas. As linguagens de primeira ordem são como idiomas precisos e rigorosos que nos permitem falar sobre objetos matemáticos, suas propriedades e relações. Diferentemente das linguagens naturais, repletas de ambiguidades e nuances, as linguagens formais oferecem clareza cristalina ao custo de algumas limitações expressivas. Neste capítulo, construiremos cuidadosamente esse vocabulário fundamental que nos permitirá enunciar e compreender os profundos resultados sobre modelos.
Uma linguagem de primeira ordem é construída a partir de ingredientes básicos: variáveis que representam objetos não especificados, constantes que nomeiam objetos particulares, símbolos de função que descrevem operações, e símbolos de predicado que expressam propriedades e relações. Estes elementos se combinam seguindo regras sintáticas precisas para formar termos e fórmulas, os blocos de construção de toda expressão matemática formal.
Termos são expressões que denotam objetos. Uma variável é um termo, uma constante é um termo, e se aplicarmos uma função a termos, obtemos outro termo. Por exemplo, se f é uma função binária e x, y são variáveis, então f(x,y) é um termo. Fórmulas são expressões que podem ser verdadeiras ou falsas. Aplicar um predicado a termos produz uma fórmula atômica, e podemos construir fórmulas complexas usando conectivos e quantificadores.
Uma distinção crucial em linguagens formais é entre variáveis livres e ligadas. Uma variável é ligada quando está no escopo de um quantificador; caso contrário, é livre. Em ∀x P(x,y), a variável x está ligada pelo quantificador universal, mas y permanece livre. Sentenças são fórmulas sem variáveis livres – elas expressam afirmações completas que podem ser verdadeiras ou falsas em um modelo.
Cada área da matemática tem sua própria assinatura – o conjunto específico de símbolos não-lógicos que usa. A teoria dos grupos usa uma constante para o elemento neutro, uma função binária para a operação, e uma função unária para inversos. A aritmética usa constantes para zero e um, funções para soma e produto. A escolha da assinatura determina quais aspectos da estrutura podemos expressar.
As linguagens de primeira ordem são surpreendentemente expressivas. Podemos formalizar grande parte da matemática clássica nelas. Podemos expressar que todo número tem um sucessor, que existe elemento neutro único, que uma relação é transitiva. Mas há limites fundamentais: não podemos expressar "existem infinitos", "o grafo é conexo" (para grafos infinitos), ou distinguir entre diferentes infinitos.
Uma teoria é simplesmente um conjunto de sentenças em uma linguagem de primeira ordem. Pode ser finita, como os axiomas de grupo, ou infinita, como a aritmética de Peano com esquema de indução. Teorias capturam o conhecimento que queremos formalizar sobre uma área da matemática. Um modelo de uma teoria é uma estrutura onde todas as sentenças da teoria são verdadeiras.
Operações fundamentais em linguagens formais incluem substituição de variáveis por termos e instanciação de quantificadores. Ao substituir, devemos evitar captura de variáveis – substituir y por x em ∃x P(x,y) requer renomear a variável ligada primeiro. Estas operações são essenciais para aplicar regras de inferência e construir demonstrações.
Fórmulas podem ser classificadas por sua complexidade quantificacional. Fórmulas sem quantificadores são proposicionais. Fórmulas com quantificadores no início formam a hierarquia prenex. A alternância entre quantificadores universais e existenciais determina níveis de complexidade que têm implicações profundas para decidibilidade e expressividade.
Um conceito é definível em primeira ordem se existe uma fórmula que o captura precisamente. Por exemplo, "x é par" é definível na aritmética como ∃y(x = 2·y). Mas "x é finito" não é definível em teoria dos conjuntos pura. A definibilidade determina quais conceitos podemos formalizar e estudar em uma teoria.
As linguagens de primeira ordem fornecem o contexto preciso onde os teoremas de Löwenheim-Skolem operam. A limitação expressiva dessas linguagens – sua incapacidade de distinguir cardinalidades infinitas – é exatamente o que permite a existência de modelos de tamanhos inesperados. Compreender profundamente essas linguagens é essencial para apreciar tanto o poder quanto os limites dos teoremas que estudaremos.
Com o domínio das linguagens de primeira ordem, estabelecemos a fundação linguística necessária para explorar como essas expressões formais se relacionam com estruturas matemáticas concretas. No próximo capítulo, daremos vida a essas linguagens através das estruturas e interpretações, descobrindo como símbolos abstratos ganham significado em mundos matemáticos específicos!
Se as linguagens de primeira ordem são os mapas, as estruturas são os territórios que eles descrevem. Uma estrutura matemática é um universo concreto povoado por objetos, equipado com operações e relações específicas. Quando interpretamos uma linguagem formal em uma estrutura, os símbolos abstratos ganham vida e significado concreto. Este capítulo explora como construímos essas pontes entre o formal e o concreto, preparando o terreno para entender como estruturas radicalmente diferentes podem satisfazer as mesmas descrições formais – o coração dos teoremas de Löwenheim-Skolem.
Uma estrutura consiste de um conjunto não-vazio chamado domínio ou universo, junto com interpretações para cada símbolo não-lógico da linguagem. Constantes são interpretadas como elementos específicos do domínio, funções como operações no domínio, e predicados como relações. Esta correspondência transforma expressões formais em afirmações concretas sobre objetos matemáticos específicos.
Consideremos os números naturais com adição e multiplicação. O domínio é ℕ = {0, 1, 2, ...}. Zero é interpretado como 0, a função sucessor como S(n) = n+1, adição e multiplicação têm suas interpretações usuais. Esta estrutura, denotada ⟨ℕ, 0, S, +, ·⟩, é o modelo padrão da aritmética. Mas existem outros modelos, não-isomorfos, que satisfazem os mesmos axiomas de primeira ordem!
Uma sentença é verdadeira em uma estrutura quando, interpretada naquela estrutura, expressa um fato verdadeiro. O processo de determinar verdade é recursivo: começamos com fórmulas atômicas, onde verificamos diretamente se a relação vale para os objetos especificados, e construímos para fórmulas complexas usando as regras dos conectivos e quantificadores.
Homomorfismos são funções entre estruturas que preservam a estrutura algébrica. Se h: A → B preserva operações e relações, então h é um homomorfismo. Quando h é bijetivo, temos um isomorfismo, e as estruturas são essencialmente idênticas do ponto de vista estrutural. Estruturas isomorfas satisfazem exatamente as mesmas sentenças de primeira ordem.
Uma subestrutura é uma parte de uma estrutura que é fechada sob as operações. Os números pares formam subestrutura de ⟨ℤ, +⟩ mas não de ⟨ℤ, +, ·⟩ pois o produto de pares pode ser ímpar. Extensões são estruturas maiores que contêm a original. Estas relações são fundamentais para os teoremas de Löwenheim-Skolem.
Duas estruturas são elementarmente equivalentes quando satisfazem exatamente as mesmas sentenças de primeira ordem. Surpreendentemente, estruturas não-isomorfas podem ser elementarmente equivalentes! Por exemplo, ⟨ℚ, <⟩ e ⟨ℝ, <⟩ são elementarmente equivalentes como ordens densas sem extremos, apesar de terem cardinalidades diferentes.
Uma das descobertas mais fascinantes da teoria dos modelos é a existência de modelos não-standard. A aritmética de Peano de primeira ordem tem modelos que contêm "números infinitos" – elementos maiores que todos os números standard. Estes modelos satisfazem todos os axiomas de primeira ordem mas têm estrutura radicalmente diferente do modelo pretendido.
O diagrama de uma estrutura é o conjunto de todas as sentenças atômicas e suas negações verdadeiras na estrutura, usando constantes para nomear elementos. Esta técnica é crucial nas demonstrações dos teoremas de Löwenheim-Skolem. Expansões adicionam novos símbolos à linguagem, permitindo expressar mais propriedades da estrutura.
Novas estruturas podem ser construídas a partir de existentes através de produtos, ultraprodutos, e outras construções. O produto direto de duas estruturas tem pares como elementos e operações componente a componente. Ultraprodutos, usando ultrafiltros, criam estruturas que preservam propriedades de primeira ordem de maneira sutil e poderosa.
Com a compreensão profunda de estruturas e interpretações, temos as ferramentas necessárias para apreciar os teoremas de Löwenheim-Skolem. Vimos como estruturas dão significado a linguagens formais, como diferentes estruturas podem satisfazer as mesmas sentenças, e como construir novas estruturas a partir de antigas. Estes conceitos são os alicerces sobre os quais os teoremas revelarão suas surpreendentes consequências.
No próximo capítulo, mergulharemos no primeiro dos grandes resultados: o teorema de Löwenheim-Skolem descendente, que mostra como toda teoria com modelo infinito possui um modelo enumerável. Prepare-se para ver como estruturas aparentemente vastas podem ser comprimidas em universos surpreendentemente pequenos, mantendo todas as suas propriedades de primeira ordem!
Imagine comprimir toda a complexidade dos números reais, com sua cardinalidade incontável, em uma estrutura que contém apenas uma quantidade enumerável de elementos, preservando todas as propriedades expressáveis em primeira ordem. Este é o poder surpreendente do teorema de Löwenheim-Skolem descendente, um resultado que desafia nossas intuições mais profundas sobre tamanho e infinito. Neste capítulo, exploraremos este teorema revolucionário, sua demonstração elegante e suas consequências que abalaram os fundamentos da matemática.
O teorema de Löwenheim-Skolem descendente afirma: se uma teoria de primeira ordem em uma linguagem enumerável tem um modelo infinito, então ela tem um modelo enumerável. Mais precisamente, para qualquer estrutura infinita M e qualquer subconjunto enumerável A de seu domínio, existe uma subestrutura elementar enumerável de M que contém A. Este resultado é profundo porque mostra que primeira ordem não pode forçar modelos a serem não-enumeráveis.
A demonstração usa o método de Löwenheim-Skolem-Tarski. Começamos com um subconjunto enumerável A₀ do domínio. Iterativamente, para cada fórmula existencial satisfeita, adicionamos testemunhas. Como há apenas enumeravelmente muitas fórmulas, após enumeráveis passos obtemos um conjunto enumerável fechado sob testemunhas. Este conjunto forma o domínio de uma subestrutura elementar.
Uma técnica elegante usa funções de Skolem. Para cada fórmula ∃x φ(x,y₁,...,yₙ), introduzimos uma função fφ tal que se ∃x φ(x,a₁,...,aₙ) vale, então φ(fφ(a₁,...,aₙ),a₁,...,aₙ) vale. Expandindo a estrutura com essas funções, qualquer subconjunto fechado sob elas forma subestrutura elementar. O fecho de um conjunto enumerável permanece enumerável.
O teorema tem consequências surpreendentes. Qualquer teoria de primeira ordem que tenha modelo infinito não pode caracterizar uma única cardinalidade infinita. A teoria dos números reais como corpo ordenado completo tem modelo enumerável. A teoria de conjuntos ZFC, se consistente, tem modelo enumerável – levando ao paradoxo de Skolem.
Se ZFC tem modelo enumerável M, como M pode conter conjuntos não-enumeráveis? A resposta está na relativização. Um conjunto pode ser não-enumerável em M (não existe bijeção em M com ω) mas enumerável externamente (existe bijeção no universo real). M simplesmente não contém a bijeção que tornaria o conjunto enumerável internamente.
Em análise não-standard, o teorema garante existência de modelos enumeráveis dos reais com infinitesimais. Estes modelos contêm números menores que qualquer real positivo standard mas maiores que zero. Apesar de enumeráveis, satisfazem todos os teoremas de primeira ordem sobre os reais, permitindo provas elegantes de resultados de análise.
O teorema requer linguagem enumerável. Para linguagens não-enumeráveis, o modelo mínimo tem cardinalidade da linguagem. O teorema não preserva propriedades de segunda ordem – completude, boa ordem, e categoricidade podem ser perdidas. Extensões do teorema tratam de fragmentos de segunda ordem e lógicas mais fortes.
O teorema questiona nossa compreensão da realidade matemática. Se toda teoria tem modelos pequenos, o que significa dizer que os reais são não-enumeráveis? A resposta envolve distinguir entre verdade absoluta e verdade em modelos, entre matemática como descoberta versus construção, entre ontologia e epistemologia matemática.
Surpreendentemente, o teorema tem aplicações práticas em ciência da computação. Verificação de modelos finitos usa ideias relacionadas. Se uma propriedade de primeira ordem vale em todos os modelos finitos grandes o suficiente, técnicas inspiradas em Löwenheim-Skolem podem ajudar a verificar propriedades em modelos infinitos.
O teorema descendente mostra que sempre podemos encontrar modelos pequenos. Mas e na direção oposta? Podemos sempre encontrar modelos grandes? Esta é a questão que o teorema ascendente responde. A dualidade entre os dois teoremas revela a completa flexibilidade de tamanho dos modelos de teorias de primeira ordem.
Com a compreensão do teorema descendente e suas profundas implicações, estamos prontos para explorar sua contraparte. No próximo capítulo, descobriremos como toda teoria com modelo infinito também possui modelos de qualquer cardinalidade maior, completando nossa visão da surpreendente flexibilidade dos modelos em primeira ordem!
Se o teorema descendente nos surpreendeu mostrando que podemos comprimir o infinito, o teorema ascendente nos maravilha com a direção oposta: podemos expandir qualquer modelo infinito para cardinalidades arbitrariamente grandes. Este resultado complementar revela que as teorias de primeira ordem são incrivelmente flexíveis quanto ao tamanho de seus modelos. Neste capítulo, exploraremos como construir esses modelos gigantescos e o que isso significa para nossa compreensão das estruturas matemáticas.
O teorema de Löwenheim-Skolem ascendente afirma: se uma teoria de primeira ordem tem um modelo infinito, então para qualquer cardinalidade κ maior ou igual à cardinalidade da linguagem, a teoria tem um modelo de cardinalidade κ. Em particular, toda teoria com modelo infinito tem modelos não-enumeráveis de todas as cardinalidades. Este resultado mostra que primeira ordem não pode limitar superiormente o tamanho dos modelos.
A demonstração mais intuitiva adiciona novas constantes à linguagem. Começamos com modelo M e adicionamos κ novas constantes {cα : α < κ}. Para garantir que sejam distintas, adicionamos axiomas cα ≠ cβ para α ≠ β. O teorema da compacidade garante que a teoria expandida tem modelo. Esse modelo tem cardinalidade pelo menos κ, e técnicas adicionais garantem cardinalidade exatamente κ.
Uma abordagem mais sofisticada constrói extensões elementares. Uma extensão M ⊆ N é elementar se toda fórmula com parâmetros em M tem mesmo valor-verdade em M e N. Podemos construir cadeia crescente de extensões elementares M₀ ⊆ M₁ ⊆ M₂ ⊆ ... onde cada Mᵢ₊₁ realiza tipos omitidos em Mᵢ. A união é modelo de cardinalidade desejada.
O teorema da compacidade é crucial para o teorema ascendente. Ele afirma que se toda parte finita de uma teoria tem modelo, a teoria completa tem modelo. Ao adicionar axiomas sobre novas constantes, cada subconjunto finito é satisfeito expandindo o modelo original com interpretações distintas para finitas constantes. A compacidade garante modelo para teoria infinita completa.
Um tipo é um conjunto consistente de fórmulas com variável livre. Tipos descrevem propriedades possíveis de elementos. Em modelos pequenos, alguns tipos podem não ser realizados. O teorema ascendente permite construir modelos que realizam tipos específicos, adicionando elementos com propriedades desejadas. Modelos saturados realizam todos os tipos possíveis.
Ultraprodutos fornecem outra rota para o teorema ascendente. Dado modelo M e ultrafiltro U sobre conjunto de índices I, o ultraproduto M^I/U tem propriedades de primeira ordem de M mas cardinalidade potencialmente maior. Escolhendo I e U apropriadamente, obtemos modelos de qualquer cardinalidade desejada.
O teorema tem aplicações profundas em álgebra. Todo grupo infinito tem modelos de todas as cardinalidades infinitas. Corpos algebricamente fechados de mesma característica são elementarmente equivalentes, tendo modelos de todas as cardinalidades. Anéis comutativos infinitos têm extensões elementares arbitrariamente grandes.
Levando o teorema ascendente ao extremo, podemos construir modelos "monstro" – modelos enormes que são universais e homogêneos. Estes modelos contêm cópias isomorfas de todos os modelos menores da teoria e têm automorfismos ricos. São ferramentas poderosas para estudar a teoria, concentrando toda a complexidade em uma única estrutura gigantesca.
Embora o teorema garanta modelos grandes, não controla estrutura fina. Modelos de mesma cardinalidade podem ser não-isomorfos. O número de modelos não-isomorfos de cada cardinalidade (espectro) é questão sutil estudada pela teoria de estabilidade. Teorias estáveis têm poucos modelos; instáveis podem ter muitos.
O teorema ascendente, junto com o descendente, mostra que tamanho é conceito escorregadio em matemática. Se toda teoria tem modelos de todos os tamanhos, o que significa afirmar o tamanho "verdadeiro" de uma estrutura? Isso sugere que propriedades estruturais, não cardinalidade, são o que realmente importa em matemática.
Os teoremas ascendente e descendente juntos pintam um quadro de extrema flexibilidade: teorias de primeira ordem com modelos infinitos têm modelos de todas as cardinalidades infinitas. Esta ubiquidade de modelos revela tanto o poder quanto as limitações das linguagens formais. No próximo capítulo, exploraremos mais profundamente a relação entre cardinalidade e estrutura dos modelos, descobrindo padrões sutis nesta aparente liberdade total.
A cardinalidade, essa medida fundamental do tamanho de conjuntos infinitos, revela-se surpreendentemente elusiva quando vista através das lentes da teoria dos modelos. Os teoremas de Löwenheim-Skolem nos mostraram que teorias de primeira ordem não podem fixar cardinalidades infinitas, mas isso é apenas o começo de uma história fascinante sobre a interação entre tamanho e estrutura. Neste capítulo, exploraremos as sutilezas dessa relação, descobrindo quando e como a cardinalidade influencia as propriedades dos modelos.
Georg Cantor revolucionou a matemática ao mostrar que existem diferentes tamanhos de infinito. O conjunto dos naturais ℕ tem cardinalidade ℵ₀ (alef-zero), o menor infinito. O conjunto dos reais tem cardinalidade 2^ℵ₀, chamada cardinalidade do contínuo. A hipótese do contínuo questiona se existe cardinalidade entre estas duas. Surpreendentemente, modelos de teoria dos conjuntos podem discordar sobre a resposta!
O espectro de uma teoria T é a função I(T,κ) que conta quantos modelos não-isomorfos de cardinalidade κ a teoria possui. Este conceito revela a complexidade estrutural das teorias. Algumas teorias têm único modelo em certas cardinalidades (categóricas), outras têm continuamente muitos. O espectro codifica informação profunda sobre a natureza da teoria.
Um dos resultados mais celebrados conectando cardinalidade e estrutura é o teorema de Morley: 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 resultado surpreendente mostra que categoricidade em uma cardinalidade grande implica rigidez estrutural extrema.
Um modelo é κ-saturado se realiza todos os tipos sobre conjuntos de cardinalidade menor que κ. Modelos saturados são "gordos" – contêm todas as configurações possíveis de tamanho limitado. Existência de modelos saturados depende sutilmente de cardinalidade: sempre existem em cardinalidades regulares grandes, mas podem não existir em cardinalidades singulares.
Um cardinal κ é regular se não pode ser expresso como união de menos que κ conjuntos menores que κ. ℵ₀ e sucessores ℵ₁, ℵ₂, ... são regulares. Cardinais limites como ℵω podem ser singulares. Esta distinção afeta profundamente a teoria dos modelos: modelos saturados existem mais facilmente em cardinais regulares.
Para cada lógica L, o número de Hanf é a menor cardinalidade κ tal que se uma sentença de L tem modelo de cardinalidade ≥ κ, então tem modelos de todas as cardinalidades grandes. Para primeira ordem, este número não existe (pelos teoremas de Löwenheim-Skolem). Para segunda ordem, o número de Hanf existe mas é enormemente grande.
Um modelo é minimal se não tem subestruturas elementares próprias. Modelos minimais, quando existem, capturam a essência irredutível de uma teoria. O modelo standard dos naturais é minimal para aritmética verdadeira. Mas pelo teorema descendente, modelos minimais só podem ser enumeráveis (se infinitos).
Shelah desenvolveu a teoria da estabilidade para classificar teorias por complexidade. Teorias estáveis têm controle sobre número de tipos, levando a melhor compreensão do espectro. Teorias superstáveis e totalmente transcendentais formam classes ainda mais restritas. Esta classificação revela conexões profundas entre propriedades modelo-teóricas e cardinalidade.
A técnica de forcing, desenvolvida por Cohen, permite construir modelos de teoria dos conjuntos com propriedades específicas de cardinalidade. Podemos forçar a hipótese do contínuo ser verdadeira ou falsa, adicionar cardinais intermediários, ou colapsar cardinais. Isso mostra que muitas questões sobre cardinalidade são independentes de ZFC.
Em aplicações computacionais, a distinção entre diferentes infinitos colapsa – trabalhamos com aproximações finitas. Mas ideias de teoria dos modelos sobre cardinalidade informam sobre crescimento assintótico, limites de representação, e complexidade de verificação. Modelos finitos grandes se comportam como "quase infinitos" para muitas propriedades.
A relação entre cardinalidade e estrutura dos modelos é um dos temas mais ricos da teoria dos modelos. Vimos como os teoremas de Löwenheim-Skolem estabelecem flexibilidade extrema, mas também descobrimos padrões sutis e restrições que emergem. No próximo capítulo, exploraremos como esses insights teóricos profundos encontram aplicações surpreendentes em diversas áreas da matemática.
Os teoremas de Löwenheim-Skolem, longe de serem meras curiosidades lógicas, têm aplicações profundas e surpreendentes em toda a matemática. Desde a construção de números infinitesimais rigorosos até a demonstração de resultados em álgebra e análise, estes teoremas fornecem ferramentas poderosas e perspectivas únicas. Neste capítulo, exploraremos como resultados aparentemente abstratos sobre modelos iluminam e resolvem problemas concretos em diversos campos matemáticos.
Abraham Robinson usou os teoremas de Löwenheim-Skolem para criar a análise não-standard, realizando o sonho de Leibniz de um cálculo com infinitesimais rigorosos. Construindo modelos não-standard dos reais que contêm números infinitamente pequenos e infinitamente grandes, Robinson tornou rigorosos argumentos intuitivos com infinitesimais, simplificando muitas demonstrações em análise.
O teorema da compacidade, intimamente relacionado aos teoremas de Löwenheim-Skolem, tem aplicações elegantes em álgebra. Por exemplo, podemos provar que todo sistema de equações polinomiais que tem solução em corpos arbitrariamente grandes tem solução em algum corpo algebricamente fechado. Isso conecta propriedades locais e globais de estruturas algébricas.
A teoria dos modelos revolucionou partes da geometria algébrica. O teorema de Ax-Kochen sobre corpos p-ádicos usa ultraprodutos e os teoremas de Löwenheim-Skolem. Resultados sobre variedades podem ser transferidos entre diferentes corpos usando equivalência elementar. A geometria o-minimal estuda estruturas com propriedades geométricas controladas.
Modelos não-standard fornecem perspectivas únicas sobre números transcendentes. Em modelos enumeráveis dos reais, existem "pseudo-transcendentes" que satisfazem todas as propriedades de primeira ordem de transcendentes mas são algebricamente definíveis no modelo expandido. Isso ilumina a natureza da transcendência e suas limitações expressivas.
O teorema de Ramsey infinito e suas generalizações usam crucialmente ideias de teoria dos modelos. Modelos não-standard permitem tratar problemas infinitos como se fossem finitos, aplicar técnicas combinatórias, e então transferir resultados de volta. Ultrafiltros e ultraprodutos são ferramentas essenciais em combinatória do infinito.
Espaços de tipos em teoria dos modelos são naturalmente espaços topológicos compactos. Esta conexão relaciona propriedades modelo-teóricas com topologia. O espaço de Stone de uma álgebra booleana corresponde a seus ultrafiltros. Modelos saturados correspondem a espaços de tipos ricos. A dualidade de Stone-Čech emerge naturalmente.
Conexões surpreendentes existem entre teoria dos modelos e sistemas dinâmicos. Teoremas de recorrência podem ser provados via compacidade. Modelos não-standard fornecem novas perspectivas sobre comportamento assintótico. A teoria de NIP (sem propriedade da independência) conecta-se com entropia e complexidade dinâmica.
Espaços de Banach não-standard e operadores entre eles revelam estrutura escondida. O princípio de limitação uniforme tem prova elegante via análise não-standard. Ultraprodutos de espaços de Banach são ferramentas poderosas em teoria geométrica. Propriedades assintóticas emergem naturalmente em modelos não-standard.
Análise não-standard oferece fundamentos alternativos para probabilidade. Espaços de probabilidade hiperfinitos tornam rigorosa a intuição de escolha aleatória uniforme em conjuntos infinitos. Movimento browniano pode ser construído como caminhada aleatória com passos infinitesimais. Leis de grandes números têm formulações não-standard elegantes.
Modelos não-standard de aritmética contêm números "não-computáveis" do ponto de vista standard. Isso fornece perspectivas sobre limites de computação. Complexidade descritiva usa lógica finita para caracterizar classes de complexidade. Model checking conecta verificação com teoria dos modelos finitos.
As aplicações dos teoremas de Löwenheim-Skolem permeiam a matemática moderna, fornecendo ferramentas poderosas e perspectivas únicas. Desde tornar rigorosos os infinitesimais até revelar conexões profundas entre áreas aparentemente distintas, estes resultados demonstram como a teoria dos modelos ilumina toda a matemática. No próximo capítulo, exploraremos as profundas questões filosóficas que estes teoremas levantam sobre a natureza da matemática e da verdade.
Os teoremas de Löwenheim-Skolem não apenas revolucionaram a matemática técnica, mas abalaram profundamente nossa compreensão filosófica sobre a natureza da matemática, verdade e realidade. Se toda descrição matemática admite interpretações radicalmente diferentes, o que isso diz sobre o status ontológico dos objetos matemáticos? Se não podemos capturar univocamente nem mesmo os números reais, existe uma matemática "verdadeira"? Neste capítulo, mergulharemos nas profundas questões filosóficas levantadas por estes teoremas.
Se a teoria dos números reais admite modelos enumeráveis, a que exatamente nos referimos quando falamos dos "reais"? Hilary Putnam argumentou que os teoremas mostram indeterminação radical da referência matemática. Não há fato objetivo sobre qual modelo é o "verdadeiro" conjunto dos reais. Isso desafia o realismo matemático tradicional que assume objetos matemáticos únicos e bem-definidos.
Os teoremas alimentam o debate entre realismo e formalismo. Realistas acreditam em verdades matemáticas objetivas independentes de nossas descrições. Formalistas veem matemática como manipulação de símbolos sem significado intrínseco. Os teoremas parecem apoiar o formalismo: se nossas teorias têm múltiplas realizações incompatíveis, como pode haver uma realidade matemática única?
O paradoxo de Skolem questiona profundamente nossa compreensão do infinito. Se ZFC prova existência de conjuntos não-enumeráveis mas tem modelos enumeráveis, o que significa "não-enumerável"? A resposta técnica sobre relativização ao modelo não elimina o desconforto filosófico. Parece que nunca podemos capturar completamente nossa intuição sobre cardinalidade infinita.
Os teoremas sugerem uma forma de relativismo matemático? Se diferentes modelos satisfazem as mesmas teorias mas discordam sobre fatos básicos como cardinalidade, existe verdade matemática absoluta? Alguns filósofos argumentam que verdade é relativa a modelos. Outros mantêm que existe verdade absoluta, apenas não capturável em primeira ordem.
Os teoremas apoiam fortemente o estruturalismo – a visão de que matemática estuda estruturas abstratas, não objetos específicos. Se modelos não-isomorfos são igualmente legítimos, talvez o que importa são as relações estruturais preservadas, não os objetos particulares. Isso resolve algumas tensões: não há "os" números reais, apenas a estrutura de corpo ordenado completo.
Os teoremas revelam limitações fundamentais do conhecimento matemático formal. Nunca podemos capturar completamente nossas intuições em sistemas formais. Sempre haverá aspectos da realidade matemática pretendida que escapam à formalização. Isso sugere humildade epistêmica: nosso conhecimento matemático é inevitavelmente incompleto.
Os teoremas complicam programas fundacionais em matemática. Se ZFC tem múltiplos modelos incompatíveis, pode servir como fundamento único? Alguns propõem fundamentos alternativos (teoria das categorias, teoria dos tipos), mas enfrentam problemas similares. Talvez a busca por fundamento único seja equivocada – matemática pode ser intrinsecamente plural.
Curiosamente, matemáticos práticos raramente se preocupam com estas questões. Trabalham como se objetos matemáticos fossem únicos e bem-definidos. Isso sugere desconexão entre filosofia e prática? Ou a prática incorpora sabedoria tácita sobre navegar estas ambiguidades? Os teoremas talvez revelem que fundamentos absolutamente rigorosos são desnecessários para matemática produtiva.
Alguns filósofos argumentam que devemos entender matemática naturalisticamente – como atividade humana incorporada no mundo físico. Os teoremas mostram que matemática pura, desconectada de aplicações, leva a indeterminações. Talvez aplicações científicas forneçam a âncora que seleciona interpretações pretendidas.
Os teoremas de Löwenheim-Skolem continuam gerando novos insights filosóficos. Debates recentes exploram conexões com física quântica, computação, e ciência cognitiva. Talvez precisemos repensar radicalmente a natureza da matemática – não como estudo de objetos eternos, mas como exploração de possibilidades estruturais acessíveis a mentes finitas em universo físico.
As consequências filosóficas dos teoremas de Löwenheim-Skolem continuam reverberando um século após sua descoberta. Eles nos forçam a questionar pressupostos fundamentais sobre verdade, realidade e conhecimento matemático. Longe de ser meramente destrutivos, estes questionamentos abrem espaço para compreensões mais nuançadas e sofisticadas da natureza da matemática. No próximo capítulo, exploraremos outros teoremas importantes que complementam e estendem os insights de Löwenheim-Skolem.
Os teoremas de Löwenheim-Skolem não existem em isolamento – fazem parte de uma rica tapeçaria de resultados fundamentais em teoria dos modelos e lógica matemática. Estes teoremas relacionados ampliam, refinam e contextualizam os insights sobre a natureza dos modelos e as limitações das linguagens formais. Neste capítulo, exploraremos os teoremas companheiros que, junto com Löwenheim-Skolem, formam os pilares da teoria dos modelos moderna.
O teorema da compacidade afirma que se toda parte finita de um conjunto de sentenças tem modelo, então o conjunto completo tem modelo. Este resultado, intimamente ligado aos teoremas de Löwenheim-Skolem, é uma ferramenta fundamental com aplicações surpreendentes. Permite transferir propriedades de estruturas finitas para infinitas e vice-versa.
O teorema da completude estabelece que uma sentença é demonstrável a partir de uma teoria se e somente se é verdadeira em todos os modelos da teoria. Isso conecta sintaxe (demonstrações) com semântica (verdade em modelos). Junto com Löwenheim-Skolem, mostra que primeira ordem tem exatamente o poder expressivo correto para capturar demonstrabilidade.
Paradoxalmente, enquanto a lógica de primeira ordem é completa, teorias específicas importantes são incompletas. O primeiro teorema da incompletude mostra que qualquer teoria consistente contendo aritmética básica tem sentenças indecidíveis. O segundo mostra que tais teorias não podem provar sua própria consistência. Isso complementa Löwenheim-Skolem mostrando limitações intrínsecas da formalização.
O teorema de Lindström caracteriza primeira ordem como a lógica mais forte que satisfaz compacidade e Löwenheim-Skolem descendente. Qualquer lógica mais expressiva perde uma dessas propriedades. Isso explica por que primeira ordem é tão central: é o ponto ótimo entre expressividade e boas propriedades metalógicas.
Como vimos, Morley provou que se uma teoria completa é categórica em alguma cardinalidade não-enumerável, é categórica em todas. Este teorema profundo conecta categoricidade com estabilidade, iniciando a classificação de teorias por complexidade. É um refinamento importante dos teoremas de Löwenheim-Skolem.
O teorema de Vaught (teste de Vaught) afirma que uma teoria completa com modelos enumeráveis que não tem exatamente um modelo enumerável (até isomorfismo) tem continuamente muitos modelos enumeráveis. Isso mostra uma dicotomia surpreendente: ou rigidez total ou complexidade máxima no enumerável.
O teorema de Beth estabelece que definibilidade implícita equivale a definibilidade explícita em primeira ordem. Se uma relação é univocamente determinada por uma teoria, então é explicitamente definível por uma fórmula. Isso mostra que primeira ordem não tem "definições ocultas" – tudo implicitamente definível é explicitamente expressável.
Se φ implica ψ, existe uma fórmula θ usando apenas vocabulário comum a φ e ψ tal que φ implica θ e θ implica ψ. Este teorema de interpolação tem aplicações em modularidade de teorias e combinação de sistemas formais. Relaciona-se com Löwenheim-Skolem através de técnicas de demonstração similares.
Este teorema caracteriza equivalência elementar através de jogos. Duas estruturas são elementarmente equivalentes se e somente se o duplicador tem estratégia vencedora no jogo de Ehrenfeucht-Fraïssé infinito. Para jogos finitos, obtemos equivalência para fórmulas de quantificador rank limitado. Fornece técnica poderosa para provar não-definibilidade.
O teorema fundamental de Los afirma que uma sentença de primeira ordem é verdadeira em um ultraproduto se e somente se o conjunto de índices onde é verdadeira pertence ao ultrafiltro. Isso permite construir modelos com propriedades específicas e é ferramenta essencial para aplicar Löwenheim-Skolem ascendente.
Duas estruturas são elementarmente equivalentes se e somente se têm ultrapotências isomorfas. Isso fornece caracterização semântica pura de equivalência elementar, sem referência a linguagem. Conecta teoria dos modelos com teoria dos conjuntos através de ultrafiltros.
Para teorias não-multidimensionais, se a teoria é categórica em algum cardinal não-enumerável, então é categórica em todos os cardinais não-enumeráveis. Isso generaliza Morley para contexto mais amplo, mostrando quando rigidez em uma cardinalidade implica rigidez global.
Estes teoremas relacionados formam uma rede intrincada de resultados que iluminam diferentes aspectos da relação entre linguagens formais e suas interpretações. Junto com os teoremas de Löwenheim-Skolem, eles estabelecem os fundamentos e limites da teoria dos modelos, revelando tanto o poder quanto as limitações fundamentais da formalização matemática. No capítulo final, exploraremos como estes insights clássicos encontram novas aplicações no mundo contemporâneo.
Um século após sua descoberta, os teoremas de Löwenheim-Skolem continuam gerando novos insights e aplicações inesperadas. Da verificação de software à inteligência artificial, da criptografia à biologia computacional, estes resultados fundamentais sobre modelos encontram relevância em áreas que seus descobridores jamais poderiam imaginar. Neste capítulo final, exploraremos como estes teoremas clássicos iluminam questões contemporâneas e apontam para futuros desenvolvimentos.
Na era de software crítico controlando desde marca-passos até aviões, a verificação formal tornou-se essencial. Os teoremas de Löwenheim-Skolem informam sobre quando propriedades podem ser verificadas em modelos finitos. Se uma propriedade de segurança falha, existe contraexemplo finito (por uma versão do teorema descendente). Isso fundamenta técnicas de model checking bounded.
Sistemas de IA precisam representar e raciocinar sobre conhecimento incompleto. Os teoremas mostram limitações fundamentais: primeira ordem não pode capturar completamente conceitos como "finitude" ou "conectividade". Isso guia escolha de formalismos em IA. Lógicas de descrição, usadas em web semântica, são fragmentos de primeira ordem escolhidos para balancear expressividade e decidibilidade.
Linguagens de consulta de bancos de dados são essencialmente fragmentos de primeira ordem. Os teoremas explicam por que certas consultas não são expressáveis em SQL puro (como fechamento transitivo). Compreender estes limites guia design de extensões. Em big data, técnicas inspiradas em modelos finitos aproximam consultas sobre dados massivos.
Protocolos criptográficos dependem de propriedades que adversários não podem distinguir. Técnicas de teoria dos modelos analisam indistinguibilidade. Se duas estruturas são elementarmente equivalentes para adversário com recursos limitados, o protocolo é seguro. Modelos não-standard fornecem perspectivas sobre ataques com recursos "infinitos" ou não-standard.
Modelos de sistemas biológicos frequentemente envolvem estruturas grandes mas finitas (redes de genes, proteínas). Técnicas inspiradas em Löwenheim-Skolem identificam subestruturas mínimas preservando propriedades essenciais. Isso permite análise de sistemas complexos através de modelos reduzidos, crucial para entender fenômenos biológicos.
Questões sobre fundamentos da mecânica quântica têm paralelos surpreendentes com teoria dos modelos. Diferentes interpretações da mecânica quântica são como diferentes modelos da mesma teoria formal. O teorema de Kochen-Specker sobre contextualidade tem sabor model-teórico. Pesquisas recentes exploram "modelos não-standard" da mecânica quântica.
Teoria do aprendizado computacional tem conexões profundas com teoria dos modelos. Classes de conceitos aprendíveis correspondem a classes definíveis em certas lógicas. Dimensão VC relaciona-se com complexidade model-teórica. Redes neurais aproximam funções, mas quais são expressáveis? Insights de Löwenheim-Skolem informam sobre limitações fundamentais.
Contratos inteligentes são programas executados em blockchain que devem ser corretos por construção. Verificação formal usa técnicas model-teóricas. A imutabilidade do blockchain significa que bugs são catastróficos. Técnicas inspiradas em Löwenheim-Skolem verificam propriedades em modelos finitos que garantem correção em todas as execuções.
Debates sobre consciência e IA têm paralelos com questões model-teóricas. Se consciência é propriedade estrutural, sistemas com mesma estrutura deveriam ser conscientes. Mas Löwenheim-Skolem mostra que "mesma estrutura" é conceito escorregadio. Isso informa debates sobre se IA pode ser consciente e o que isso significaria.
Matemática reversa estuda quais axiomas são necessários para provar teoremas específicos. Técnicas de teoria dos modelos, incluindo construções à la Löwenheim-Skolem, são essenciais. Descobrimos que muitos teoremas clássicos são equivalentes a axiomas de conjuntos específicos. Isso revela estrutura fina dos fundamentos matemáticos.
Os teoremas de Löwenheim-Skolem continuarão relevantes enquanto usarmos linguagens formais para descrever realidade. Novas aplicações surgem constantemente: computação quântica levanta questões sobre modelos de computação, biotecnologia sobre modelos de vida, IA sobre modelos de inteligência. Estes teoremas centenários permanecem faróis iluminando limites e possibilidades da formalização.
A jornada que fizemos através dos teoremas de Löwenheim-Skolem revela uma verdade profunda: as limitações de nossas linguagens formais não são falhas a serem superadas, mas características fundamentais que moldam como compreendemos e interagimos com a realidade matemática. Ao abraçar estas limitações, ganhamos sabedoria sobre o que pode e não pode ser capturado formalmente, guiando tanto a matemática pura quanto suas aplicações no mundo real. Os teoremas nos ensinam humildade intelectual enquanto nos capacitam com ferramentas poderosas para explorar os mistérios do infinito e além.
Este volume sobre os teoremas de Löwenheim-Skolem baseia-se em um século de desenvolvimento em teoria dos modelos, lógica matemática e filosofia da matemática. As referências abrangem desde os trabalhos originais de Löwenheim e Skolem até aplicações contemporâneas em ciência da computação e inteligência artificial. Esta bibliografia oferece recursos para aprofundamento em todos os aspectos destes teoremas fundamentais, desde suas demonstrações técnicas até suas profundas implicações filosóficas.
BARWISE, Jon. Admissible Sets and Structures. Berlin: Springer-Verlag, 1975.
BELL, John L.; SLOMSON, Alan B. Models and Ultraproducts: An Introduction. Amsterdam: North-Holland, 1969.
CHANG, Chen Chung; KEISLER, H. Jerome. Model Theory. 3rd ed. Amsterdam: North-Holland, 1990.
DAWSON, John W. Logical Dilemmas: The Life and Work of Kurt Gödel. Wellesley: A. K. Peters, 1997.
DREBEN, Burton; GOLDFARB, Warren. The Decision Problem: Solvable Classes of Quantificational Formulas. Reading: Addison-Wesley, 1979.
EBBINGHAUS, Heinz-Dieter; FLUM, Jörg. Finite Model Theory. 2nd ed. Berlin: Springer, 1999.
EHRENFEUCHT, Andrzej. An Application of Games to the Completeness Problem for Formalized Theories. Fundamenta Mathematicae, v. 49, p. 129-141, 1961.
FEFERMAN, Solomon. The Number Systems: Foundations of Algebra and Analysis. 2nd ed. New York: Chelsea, 1989.
FRAÏSSÉ, Roland. Theory of Relations. Amsterdam: North-Holland, 1986.
GÖDEL, Kurt. The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton: Princeton University Press, 1940.
GOLDBLATT, Robert. Lectures on the Hyperreals: An Introduction to Nonstandard Analysis. New York: Springer, 1998.
HANF, William. Incompactness in Languages with Infinitely Long Expressions. Fundamenta Mathematicae, v. 53, p. 309-324, 1964.
HENKIN, Leon. Completeness in the Theory of Types. Journal of Symbolic Logic, v. 15, p. 81-91, 1950.
HODGES, Wilfrid. Model Theory. Cambridge: Cambridge University Press, 1993.
KEISLER, H. Jerome. Model Theory for Infinitary Logic. Amsterdam: North-Holland, 1971.
KRIVINE, Jean-Louis. Introduction to Axiomatic Set Theory. Dordrecht: Reidel, 1971.
LINDSTRÖM, Per. On Extensions of Elementary Logic. Theoria, v. 35, p. 1-11, 1969.
LÖWENHEIM, Leopold. Über Möglichkeiten im Relativkalkül. Mathematische Annalen, v. 76, p. 447-470, 1915.
MALTSEV, Anatoly. Algebraic Systems. Berlin: Springer, 1973.
MARKER, David. Model Theory: An Introduction. New York: Springer, 2002.
MONTAGUE, Richard. Formal Philosophy: Selected Papers. New Haven: Yale University Press, 1974.
MOORE, Gregory H. The Emergence of Model Theory from the Löwenheim-Skolem Theorems. History and Philosophy of Logic, v. 9, p. 137-168, 1988.
MORLEY, Michael. Categoricity in Power. Transactions of the American Mathematical Society, v. 114, p. 514-538, 1965.
MOSTOWSKI, Andrzej. Thirty Years of Foundational Studies. Oxford: Blackwell, 1966.
PILLAY, Anand. An Introduction to Stability Theory. Oxford: Oxford University Press, 1983.
POIZAT, Bruno. A Course in Model Theory. New York: Springer, 2000.
PUTNAM, Hilary. Models and Reality. Journal of Symbolic Logic, v. 45, p. 464-482, 1980.
ROBINSON, Abraham. Non-standard Analysis. Amsterdam: North-Holland, 1966.
ROBINSON, Abraham. Introduction to Model Theory and to the Metamathematics of Algebra. Amsterdam: North-Holland, 1963.
ROTHMALER, Philipp. Introduction to Model Theory. Amsterdam: Gordon and Breach, 2000.
SACKS, Gerald E. Saturated Model Theory. 2nd ed. Singapore: World Scientific, 2010.
SHELAH, Saharon. Classification Theory and the Number of Non-isomorphic Models. 2nd ed. Amsterdam: North-Holland, 1990.
SHOENFIELD, Joseph R. Mathematical Logic. Reading: Addison-Wesley, 1967.
SKOLEM, Thoralf. Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze. Videnskapsselskapets Skrifter, I. Matematisk-naturvidenskabelig Klasse, v. 4, p. 1-36, 1920.
TARSKI, Alfred. Logic, Semantics, Metamathematics. 2nd ed. Indianapolis: Hackett, 1983.
TARSKI, Alfred; VAUGHT, Robert L. Arithmetical Extensions of Relational Systems. Compositio Mathematica, v. 13, p. 81-102, 1957.
TENT, Katrin; ZIEGLER, Martin. A Course in Model Theory. Cambridge: Cambridge University Press, 2012.
VAN BENTHEM, Johan. The Logic of Time. 2nd ed. Dordrecht: Kluwer, 1991.
VAN DEN DRIES, Lou. Tame Topology and O-minimal Structures. Cambridge: Cambridge University Press, 1998.
VAUGHT, Robert L. Denumerable Models of Complete Theories. Infinitistic Methods. Warsaw: Pergamon, p. 303-321, 1961.
WANG, Hao. From Mathematics to Philosophy. London: Routledge & Kegan Paul, 1974.
ZIEGLER, Martin. Model Theory of Modules. Annals of Pure and Applied Logic, v. 26, p. 149-213, 1984.
BRASIL. Base Nacional Comum Curricular: Educação é a Base. Brasília: MEC/CONSED/UNDIME, 2018.
CARNIELLI, Walter; EPSTEIN, Richard L. Computabilidade, Funções Computáveis, Lógica e os Fundamentos da Matemática. 2ª ed. São Paulo: Editora UNESP, 2009.
COSTA, Newton C. A. da. Introdução aos Fundamentos da Matemática. 4ª ed. São Paulo: Hucitec, 2008.
FEITOSA, Hércules de Araújo; PAULOVICH, Leonardo. Um Prelúdio à Lógica. São Paulo: Editora UNESP, 2005.
LIMA, Elon Lages et al. A Matemática do Ensino Médio. Rio de Janeiro: SBM, 2016. 4 v.
MIRAGLIA, Francisco. Teoria dos Modelos. São Paulo: Instituto de Matemática e Estatística da USP, 2010.
MORTARI, Cezar A. Introdução à Lógica. 2ª ed. São Paulo: Editora UNESP, 2016.
OLIVEIRA, Augusto J. Franco de. Lógica e Aritmética. Brasília: Editora UnB, 2004.
SANT'ANNA, Adonai S. O que é uma Definição. Barueri: Manole, 2005.
SILVA, Flávio Soares Corrêa da; FINGER, Marcelo; MELO, Ana Cristina Vieira de. Lógica para Computação. 2ª ed. São Paulo: Thomson Learning, 2006.