Složky
Typ
Vyberte složku Zpět
Zpět
Vyberte typ Zpět
Video
Audio
Playlist
Stream
Andres Aranda
Contents: * Omitting types theorem * \omega-categoricity * Elimination of quantifiers in \omega-categorical structures
https://embed.cuni.fenomio.stream/media/embed/3bedc73cb0a24309812b7a47c2daef74
3bedc73cb0a24309812b7a47c2daef74