An Axiomatics for Nonstandard Set Theory, Based on von Neumann-Bernays-Gödel Theory

P. V. Andreev, E. I. Gordon. An Axiomatics for Nonstandard Set Theory, Based on von Neumann-Bernays-Gödel Theory. Journal of Symbolic Logic, 66(3):1321-1341, 2001.

Abstract

Abstract is missing.