set-theory foundations asked Sep 1, 2013 at 13:59

set-theory model-theory large-cardinals asked Oct 20, 2016 at 9:06

reference-request set-theory axiom-of-choice asked Feb 9, 2018 at 23:45

lo.logic computability-theory peano-arithmetic asked Sep 4, 2013 at 16:35

reference-request set-theory forcing axiom-of-choice independence-results asked Aug 13, 2014 at 14:34

set-theory computability-theory peano-arithmetic asked Sep 7, 2013 at 19:32