Louise Hay Logic Seminar
Tatyana Zambarnaya
Kazakh National University
Discrete order on a definable set and the number of models
Abstract: We consider a condition, which is similar to a binary relation of following.
We prove that a small theory, which has a quasi-successor formula, has the maximum number of countable non-isomorphic models.
Thursday March 12, 2015 at 4:00 PM in SEO 427