602 reputation
8 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 31
Posts 3
Posts % 75
Score 31
Posts 3
Score 31
Posts 2
Score 16
Posts 2
Score 0
Posts 1
Score 0
Posts 1

Top Posts (4) All Questions Answers | Votes Newest

Badges (22)

Gold
Silver 8

Rarest

Bronze 14

Rarest