1. An axiomatic for nonstandard set theory, based on von-Neumann–Bernays–Gödel theory;Andreev;J. Symbolic Logic,2001
2. Standard sets in non-standard set theory;Andreev;J. Symbolic Logic,2004
3. Non standard regular finite set theory;Baratella;Math. Logic Quarterly,1995
4. Correctness of inconsistent theories with notions of feasibility;Dragalin,1985