Recursively saturated, resplendent models, and saturated models.

From Peano's Parlour
Revision as of 10:57, 17 January 2013 by Rkossak (Talk | contribs)

Jump to: navigation, search

\begin{enumerate} \item Omitting theories of undefinable sets \end{enumerate}