on a "classical" alternative to ZFC

[Joao Marcos]

This short book has just been published online by a well-known
Ukrainian mathematician:
https://arxiv.org/abs/2006.01613

This paragraph from the introduction made me think this book might be
of interest to some of you:
"The legal use of classes in NBG will allow us to discuss freely
Conway’s surreal numbers that form an ordered field No, which is a
proper class and hence is not “visible” in ZFC. Also the language of
NBG allows to give natural definitions of some basic notions of
Category Theory: category, functor, natural transformation, which is
done in the last part of this book."
Do note that the book contains, as expected, an introduction to
ordinals and to cardinals.

Best, Joao Marcos

--
http://sequiturquodlibet.googlepages.com/