Best 2012 date for Eric Schmidt's paper "Reductions in Norman Megill’s axiom system for complex numbers"?
29 views
Skip to first unread message
David A. Wheeler
Apr 30, 2020, 8:54:20 PM4/30/20
to metamath
What's the best available date for the release of Eric Schmidt's paper
"Reductions in Norman Megill’s axiom system for complex numbers"
<http://us.metamath.org/downloads/schmidt-cnaxioms.pdf>?
It was released sometime in 2012, but I don't have a more specific date.
I'd like to add it to the list of Gource captions for set.mm.
Also: If you ever contributed to set.mm, and you don't have an
avatar in the "people/" directory, please tell me how you'd like to be
represented. Gource will use a stub image lacking anything else, but
I'd like something more personal where possible.
Thank you!
--- David A. Wheeler
"Reductions in Norman Megill’s axiom system for complex numbers"
<http://us.metamath.org/downloads/schmidt-cnaxioms.pdf>?
It was released sometime in 2012, but I don't have a more specific date.
I'd like to add it to the list of Gource captions for set.mm.
Also: If you ever contributed to set.mm, and you don't have an
avatar in the "people/" directory, please tell me how you'd like to be
represented. Gource will use a stub image lacking anything else, but
I'd like something more personal where possible.
Thank you!
--- David A. Wheeler
Reply all
Reply to author
Forward
0 new messages