andcoremodels computabilityandrecursiontheory consistencyandindependenceresults continuumhypothesis descriptivesettheory determinacyprinciples general generalandmiscellaneousspecifictopics genericabsolutenessandforcingaxioms innermodels largecardinals mathematicallogicandfoundations ordinaldefinability otherdegreesandreducibilities philosophyofmathematics settheory