Kategori:Matematisk logik

A

• Algebraisk logik (2 sidor)

B

• Beräkningsteori (8 sidor)
• Boolesk algebra (3 sidor)

F

• Formella system (1 kategori, 1 sida)

K

• Kategoriteori (6 kategorier, 11 sidor)
• Klassisk logik (2 kategorier, 3 sidor)
• Kvantifikation (1 sida)

M

• Modellteori (13 sidor)
• Mängdteori (4 kategorier, 92 sidor)

R

• Rekursion (2 kategorier, 4 sidor)
• Rekursivitet (2 kategorier, 4 sidor)

• Matematisk logik

A

• Alfabet (matematik)
• Andra ordningens logik
• Avgörbarhetsproblemet

B

• Bevisteori

C

• Church-Turings hypotes
• Churchs teorem

D

• Deduktionsteoremet

F

• Formellt system
• Fria och bundna variabler
• Fullständig (modellteori)
• Fullständighet (teori)

H

• Hyperreella tal

M

• Metamatematik
• Modellteori

N

• Normalform (logik)

P

• Paris-Harringtons sats
• Predikatlogik
• Påstående

R

• Relationslogik

T

• Tautologi (logik)