The Compactness Theorem - verbete IEP

[jean-yves beziau]

Enquanto editor da parte de lógica da IEP (Internet Encyclopedia of Philosophy),

estou produzindo uma série de verbetes sobre os teoremas da lógica moderna.

Vem aí o primeiro:

The Compactness Theorem

https://iep.utm.edu/compactness/

Todo mundo é bem-vindo para escrever um verbete, a seguir uma lista de teoremas.

A IEP recebe 1 milhão de visitas por mês, é uma importante ferramenta para ensino e pesquisa.

JYB

LIST OF IMPORTANT THEOREMS OF MODERN LOGIC

Löwenheim-Skolem (1915-1920)
completeness (Post 1921 - Gödel 1930)
incompleteness (Gödel 1931)
cut-elimination (Gentzen 1934)
undefinability (Tarski 1936)
undecidability (Church-Turing, 1936)
Lindenbaum's extension lemma (1937)
compactness (Malcev 1938)
incompleteness of modal logic (Dugundji 1940)
Ehrenfeucht-Fraïssé (1950-1961)
Beth's definability theorem (1953)
Craig's interpolation theorem (1957)
completeness for modal logic (Kripke 1959)
independence of CH (Cohen 1963)