nLab Vladimir Lifschitz

 Selected publications

 Selected publications

On Lifschitz realizability:

  • Vladimir Lifschitz, CT 0CT_0 is stronger than CT 0!CT_0!. Proceedings of the American Mathematical Society, Volume 73, Number 1, January 1979, pp. 101–106. [pdf]
category: people

Created on January 29, 2024 at 16:52:05. See the history of this page for a list of all contributions to it.