Louise Hay Logic Seminar

Aida Alibek
UIC
Insufficient expansions of complete theories
Abstract: We will consider the example of a complete countable theory (due to B. Omarov), whose expansions reduce the number of countable non-isomorphic models. We will see the reduction from $\omega$ to $n$, as well as $2^\omega$ to $\omega$ and $2^\omega$ to $n$.
Thursday September 11, 2014 at 4:00 PM in SEO 427
Web Privacy Notice HTML 5 CSS FAE
UIC LAS MSCS > persisting_utilities > seminars >