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