A proof‐theoretic metatheorem for tracial von Neumann algebras.

Autor:	Păunescu, Liviu1 (AUTHOR), Sipoş, Andrei1,2,3 (AUTHOR) andrei.sipos@fmi.unibuc.ro
Zdroj:	Mathematical Logic Quarterly. Feb2023, Vol. 69 Issue 1, p63-76. 14p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.