theory
set of sentences in a formal language
stable theory
concerned with the notion of stability in model theory
model complete theory
Concept in model theory
Existential theory of the reals
quantified formulas with real-number variables
Peano arithmetic
axiomatic theory of the arithmetic of nonnegative integers
complete theory
consistent theory where every statement is provable or disprovable
o-minimal theory
theory whose every model is o-minimal