User:Gregorio Piccoli/Books/First Order Theories

First Order Theories

 * Logic
 * Propositional calculus
 * First-order logic
 * Second-order logic
 * Consistency
 * Decidability (logic)
 * List of first-order theories
 * Complete theory
 * Gödel's completeness theorem
 * Gödel's incompleteness theorems
 * Recursively enumerable set
 * Model theory
 * Compactness theorem
 * Löwenheim–Skolem theorem
 * Elementary class
 * Saturated model
 * Kripke semantics
 * Forcing (mathematics)
 * Proof theory
 * Hilbert system
 * Natural deduction
 * Sequent calculus
 * Resolution (logic)
 * Method of analytic tableaux
 * Boolean satisfiability problem
 * Satisfiability Modulo Theories


 * Arithmetic
 * Presburger arithmetic
 * Robinson arithmetic
 * Peano axioms
 * Gentzen's consistency proof
 * Second-order arithmetic
 * Reverse mathematics


 * Rings and Fields
 * Ring (mathematics)
 * Commutative ring
 * Field (mathematics)
 * Perfect field
 * Finite field
 * Real closed field
 * Formally real field


 * Set theory
 * Zermelo set theory
 * Zermelo–Fraenkel set theory
 * Von Neumann–Bernays–Gödel set theory
 * Morse–Kelley set theory
 * General set theory
 * Kripke–Platek set theory
 * Ackermann set theory
 * New Foundations
 * Scott–Potter set theory
 * Positive set theory
 * Axiom of choice
 * Axiom of dependent choice
 * Continuum hypothesis
 * Martin's axiom
 * Diamond principle
 * Clubsuit
 * Axiom of constructibility
 * Proper forcing axiom