8 citations · 25 across the 6 of their papers we have counts for
Showing 1996 · math.LOShow all
2 papers · 2 filters
math.LO1996
A nonstandard proof of the Jordan curve theorem
Vladimir Kanovei, Michael Reeken
A new elementary nonstandard proof of the Jordan curve theorem is given. The proof (the technical part consists of 4 pages) is self-contained, except for the Jordan theorem for pol…
math.LO1996★ 8 cited
Isomorphism property in nonstandard extensions of ZFC universe
Vladimir Kanovei, Michael Reeken
We study models of HST, a nonstandard set theory which includes, in particular, the ZFC Replacement and Separation schemata in the language containing the membership and standardne…