Video library: A. S. Morozov, On $\Sigma$-preorderings in $HF(\mathbb{R})$

VIDEO LIBRARY


International workshop "Syntax and semantics of logical systems" August 12, 2019 11:10, Сamp site on the shore of Lake Hovsgol

On $\Sigma$-preorderings in $HF(\mathbb{R})$ A. S. Morozov Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk