Tatyana Zambarnaya : Discrete order on a definable set and the number of models

Posted by Aida Alibek , part of the Louise Hay Logic Seminar.

At

March 12, 2015, 4 p.m.

In

SEO 427

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.