Jump to content

Category:Metatheorems

From Wikipedia, the free encyclopedia

Subcategories

This category has only the following subcategory.

T

Theorems in the foundations of mathematics‎ (1 C, 54 P)

Pages in category "Metatheorems"

The following 16 pages are in this category, out of 16 total. This list may not reflect recent changes.

Metatheorem

A

Abstract model theory

B

Barwise compactness theorem

C

D

Deduction theorem

E

Entscheidungsproblem

F

Frege's theorem

G

H

Herbrand's theorem

L

T

Tarski's undefinability theorem

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Metatheorems&oldid=547706782"