Computable Model Theory

Videos from BIRS Workshop 13w5047

, University of California, Berkeley
- 09:49
Properties on a Cone, and Sigma-Small theories
Watch video | Download video: 201311040902-Montalban.mp4 (134M)
, University of Wisconsin--Madison
- 11:26
Relative recursiveness of models of a strongly minimal theory
Watch video | Download video: 201311041035-Andrews.mp4 (161M)
, University of Waterloo
- 09:43
Degrees of Categoricity and Related Notions
Watch video | Download video: 201311050902-Csima.mp4 (116M)
, University of Connecticut
- 11:12
Examples of low for isomorphism degrees
Watch video | Download video: 201311051033-Solomon.mp4 (179M)
, University of Wisconsin--Madison
- 15:53
Some recent results on possible spectra of strongly minimal theories in infinite recursive binary relational languages
Watch video | Download video: 201311051533-Lempp.mp4 (45M)
, University of Auckland
- 09:58
Computably Enumerable Structures
Watch video | Download video: 201311060904-Khoussainov.mp4 (139M)
, Sobolev Institute of Mathematics (Novosibirsk)
- 11:06
ℵ0 categoricity in Admissible Fragments
Watch video | Download video: 201311061035-Puzarenko.mp4 (60M)
, City University of New York
- 10:04
The theory of fields is complete for isomorphisms
Watch video | Download video: 201311070903-Miller.mp4 (153M)
, Kurt Goedel Institute Vienna
- 10:59
Equivalance relations on computable structures
Watch video | Download video: 201311071034-Fokina.mp4 (51M)
, Victoria University
- 11:36
Large Degree Spectra
Watch video | Download video: 201311071104-Turetsky.mp4 (111M)