algebra algebraiclogic artificialintelligence axiomaticsettheory axiomofchoiceandrelatedpropositions cocycles coloringofgraphsandhypergraphs combinatorics computerscience consistencyandindependenceresults descriptivesettheory designsandconfigurations diophantineapproximation distribution(probabilitytheory) dynamicalsystemsandergodictheory equivalencerelations(settheory) ergodicequivalencerelations ergodictheory forcing(modeltheory) geometriclattices graphtheory independence(mathematics) irrationality;linearindependenceoverafield logic mathematicallogicandfoundations mathematicalstatistics matroids modality(logic) numbertheory orbitequivalence otheraspectsofforcingandboolean-valuedmodels settheory stochasticprocesses transcendence(generaltheory) transcendentalnumbertheory universal universalalgebra