582 reputation
7 14

Ioanna

Working on formal mathematics (natural language proof checking in Bonn), and on some projects involving functional programming languages (mainly common-lisp).

Originally a set theorist without the axiom of choice (symmetric models, separating large cardinal definitions in ZF, singular cardinal patterns, and indiscernibles).

Top Tags (6)

Score 29
Posts 3
Posts % 75
Score 29
Posts 3
Score 29
Posts 2
Score 14
Posts 2
Score 0
Posts 1
Score 0
Posts 1

Top Posts (4) All Questions Answers | Votes Newest

Badges (21)

Gold
Silver 7

Rarest

Bronze 14

Rarest