Browse By

All Logic and Foundations

Facts

Comparison

Era Of Emergence

1850 1

90 entries

Branch

Proved

Proved By

Named After

Statement Form

Sources

1. Mathematical Logic (Wikipedia)

Wikimedia FoundationHistory section

Quote, History section

Mathematical logic emerged in the mid-19th century as a subfield of mathematics, reflecting the confluence of two traditions: formal philosophical logic and mathematics.

Ax-Kochen Theorem

Baker-Gill-Solovay Theorem

Banach-Tarski Paradox

Barwise Compactness Theorem

Beth Definability Theorem

Blum's Speedup Theorem

Borel Determinacy Theorem

Bourbaki-Witt Theorem

Cantor's Theorem

Cantor-Schroder-Bernstein Theorem

Church's Theorem

Cohen's Independence Theorem

Compactness Theorem

Conservativity Theorem

Constructive Proof

Cook-Levin Theorem

Craig Interpolation Theorem

Cut-Elimination Theorem (Gentzen's Hauptsatz)

De Morgan's Laws

Deduction Theorem

Diaconescu's Theorem

Diagonal Lemma

Easton's Theorem

Ehrenfeucht-Fraisse Theorem

Entscheidungsproblem

Fodor's Lemma

Fraisse's Theorem

Frege's Theorem

Friedberg-Muchnik Theorem

Fundamental Theorem of Equivalence Relations

Fundamental Theorem of Topos Theory

Gabbay's Separation Theorem

Gentzen's Consistency Proof

Godel's Completeness Theorem

Godel's Incompleteness Theorems

Goodstein's Theorem

Greibach's Theorem

Herbrand's Theorem

Immerman-Szelepcsenyi Theorem

Kamp's Theorem

Kleene's Recursion Theorem

Konig's Lemma

Konig's Theorem (Set Theory)

Ladner's Theorem

Lawvere's Fixed-Point Theorem

Lindstrom's Theorem

Loeb's Theorem

Loewenheim-Skolem Theorem

Los's Theorem

Los-Tarski Theorem

Matiyasevich's Theorem

Morley's Categoricity Theorem

Myhill Isomorphism Theorem

Myhill-Nerode Theorem

Omitting Types Theorem

Paris-Harrington Theorem

Pataraia's Theorem

PCP Theorem

Post's Theorem

Proof by Exhaustion

Proof Without Words

Rice's Theorem

Rice-Shapiro Theorem

Richardson's Theorem

Robinson's Joint Consistency Theorem

Ryll-Nardzewski Theorem

Sahlqvist Correspondence Theorem

Savitch's Theorem

Sharp-P-Completeness of 01-Permanent

Shoenfield's Absoluteness Theorem

Silver's Theorem

Sipser-Lautemann Theorem

S-m-n Theorem

Solovay's Theorem

Soundness Theorem

Space Hierarchy Theorem

Tarski's Undefinability Theorem

Tarski-Seidenberg Theorem

Tennenbaum's Theorem

Time Hierarchy Theorem