Stationary types in linear orders

Seminarium: 
Teoria modeli
Osoba referująca: 
Slavko Moconja
Data: 
środa, 22. Listopad 2017 - 16:15
Sala: 
604
Opis: 

In the talk(s), the joint work with Predrag Tanović will be presented. We introduce the notion and do some investigation of stationary types in theories of linear orders. Most importantly, the relation of forking-dependence between realizations of stationary types is investigated, which turned out to be symmetric and transitive. We will show that the existence of some stationary types implies many countable models. Also, if all types over small sets (or just small models) are stationary, we will show that such theories are dp-minimal.