Ioanna
Working on formal mathematics (natural language proof checking in Bonn), and on some projects involving functional programming languages (mainly commonlisp).
Originally a set theorist without the axiom of choice (symmetric models, separating large cardinal definitions in ZF, singular cardinal patterns, and indiscernibles).
2
answers
2
questions
~5k
people reached
 Bonn
 ioannad
 boolesrings.org/ioanna
 Member for 4 years, 9 months
 366 profile views
 Last seen Apr 26 at 14:41
Badges (22)
Gold
—

Silver
8
Rarest

Bronze
14
Rarest
