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
~4k
people reached
 Bonn
 ioannad
 boolesrings.org/ioanna
 Member for 4 years, 5 months
 332 profile views
 Last seen Jan 15 at 20:33
Badges (21)
Gold
—

Silver
7
Rarest

Bronze
14
Rarest
