axiomaticsettheory axiomofchoiceandrelatedpropositions borelsets cocycles coloringofgraphsandhypergraphs combinatorics consistencyandindependenceresults descriptivesettheory designsandconfigurations diophantineapproximation dynamicalsystemsandergodictheory equivalencerelations(settheory) ergodictheory forcing(modeltheory) geometriclattices graphtheory independence(mathematics) irrationality;linearindependenceoverafield mathematicallogicandfoundations matroids numbertheory orbitequivalence otheraspectsofforcingandboolean-valuedmodels settheory transcendence(generaltheory) transcendentalnumbertheory