Effective cardinals in the nonstandard universe.
Mathematical Logic in Asia.
Proceedings of the 9th Asian Logic Conference.
Novosibirsk, Russia, 16--19 August, 2005, pp. 113--144.
World Scientific Publishers, 2006.
Перейти к публикации
Авторы: Kanovei V., Reeken M. |