Seminarium:
Teoria modeli
Osoba referująca:
Ludomir Newelski (Uniwersytet Wrocławski)
Data:
środa, 29. Marzec 2017 - 16:15
Sala:
604
Opis:
Załóżmy, że M jest strukturą przeliczalną, zaś Q jest jej
typowo-definiowalnym podzbiorem. Kiedy struktura M jest wyznaczona
jednoznacznie przez strukturę Q? W odczycie udzielimy odpowiedzi na to
pytanie. Udowodnimy także, że tego rodzaju relatywna kategoryczność jest
dość powszechnym zjawiskiem.