Video From 13w5047: Computable Model Theory
Vadim Puzarenko, Sobolev Institute of Mathematics (Novosibirsk)
Wednesday, November 6, 2013 10:35 - 11:06
ℵ0 categoricity in Admissible Fragments
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.