Computable Model Theory
Computably Enumerable Structures (Bakhadyr Khoussainov / University of Auckland)  의 1 번째 Windows Media 동영상입니다.
Degrees of Categoricity and Related Notions (Barbara Csima / University of Waterloo)  의 1 번째 Windows Media 동영상입니다.
Equivalance relations on computable structures (Ekaterina Fokina / Kurt Goedel Institute Vienna)  의 1 번째 Windows Media 동영상입니다. 의 1 번째 강연자료입니다.
Examples of low for isomorphism degrees (David Reed Solomon / University of Connecticut)  의 1 번째 Windows Media 동영상입니다.
Kurt Goedel Research Centre (University of Vienna) (Dan Turetsky / Kurt Goedel Research Centre (University of Vienna))  의 1 번째 Windows Media 동영상입니다.
Properties on a Cone, and Sigma-Small theories (Antonio Montalban / University of California, Berkeley)  의 1 번째 Windows Media 동영상입니다.
Relative recursiveness of models of a strongly minimal theory (Uri Andrews / University of Wisconsin at Madison)  의 1 번째 Windows Media 동영상입니다.
Some recent results on possible spectra of strongly minimal theories in infinite recursive binary relational languages (Steffen Lempp / University of Wisconsin--Madison)  의 1 번째 Windows Media 동영상입니다. 의 1 번째 강연자료입니다.
The theory of fields is complete for isomorphisms (Russell Miller / Queens College (City University of New York))  의 1 번째 Windows Media 동영상입니다. 의 1 번째 강연자료입니다.
ℵ0 categoricity in Admissible Fragments (Vadim Puzarenko / Sobolev Institute of Mathematics)  의 1 번째 Windows Media 동영상입니다.
Back to top of page