lo.logic set-theory model-theory math-philosophy multiverse-of-sets asked Sep 22, 2010 at 12:31

set-theory foundations math-philosophy lo.logic asked Apr 29, 2011 at 11:36

computability-theory arithmetic lo.logic asked Jun 23, 2010 at 7:28

set-theory model-theory lo.logic math-philosophy asked Feb 14, 2011 at 9:00

lo.logic model-theory set-theory arithmetic asked Jun 1, 2010 at 7:09

set-theory model-theory forcing large-cardinals asked Jul 21, 2010 at 7:24

lo.logic arithmetic model-theory reverse-math asked Jul 7, 2010 at 15:29

set-theory model-theory lo.logic asked Jun 20, 2010 at 17:55

set-theory lo.logic model-theory asked Oct 2, 2010 at 9:21