Subcategories

There are 6 subcategories to this category.

B

• Boolean algebra

C

• Categorical logic

M

• Model theory

P

• Proof theory

S

• Set theory

T

• Theorem provers

Articles in category "Mathematical logic"

There are 77 articles in this category.

2-satisfiability A Analytical hierarchy Axiom of projective determinacy Axiom schema Axiomatic set theory Axiomatic system B B,C,K,W system Boolean ring Boolean satisfiability problem Bourbaki-Witt theorem C Categorical logic Classical mathematics Coherent space Combinatory logic Complete induction Computability logic Computable measure theory Counterexample Curry's paradox Currying D Definable Denotational semantics Derivative algebra (abstract algebra) Diagonalization lemma F Finitary

F cont. Formal system Foundations of mathematics Foundations problem in mathematics G Goodstein's theorem Gödel's completeness theorem Gödel's incompleteness theorem H Herbrand universe Hilbert's program Horn-satisfiability I Interior algebra Intermediate logics Intuitionistic logic K Kripke semantics L Lambda calculus Lambda cube Laver table Lindenbaum-Tarski algebra Linear logic List of computability and complexity topics List of mathematical logic topics Logical assertion Logical independence Ludics Löb's theorem M Mathematical logic Mathematical proof

M cont. Maximal consistent set Metamathematics Monadic Boolean algebra Monadic logic N Non-classical analysis Non-well-founded set theory P Post's theorem Predicate variable Presburger arithmetic Proof net R Recursion Recursive definition Regular expression Rewriting S SKI combinator calculus Skolem hull Surreal number System F T T-schema Tarski's indefinability theorem Three forms of mathematical induction Turing degree Type theory U Unification Universe (mathematics) V Vacuous truth