26-0126axx26bxx26dxx03exx algebra algebraic algebraicstructures andcoremodels artificialintelligence axiomaticsettheory axiomofchoiceandrelatedpropositions borelsets categorytheory cocycles coloringofgraphsandhypergraphs combinatorics commutativealgebra commutativeringsandalgebras compilers complementedlattices computabilityandrecursiontheory computerscience computersoftware congresses consistencyandindependenceresults continuumhypothesis dataprocessing descriptivesettheory designsandconfigurations determinacyprinciples diophantineapproximation dynamicalsystemsandergodictheory equationalclasses equivalencerelations(settheory) ergodicequivalencerelations ergodictheory forcing(modeltheory) functionalanalysis functionsofonevariable functionsofrealvariables functionsofseveralvariables general generalalgebraicsystems generalandmiscellaneousspecifictopics genericabsolutenessandforcingaxioms geometriclattices geometry graphtheory grouptheory grouptheoryandgeneralizations homologicalalgebra includingconstructibility independence(mathematics) inequalities innermodels instructionalexposition(textbooks interpreters irrationality;linearindependenceoverafield largecardinals lattices latticetheory logic mathematicalsoftware mathematics matroids methodology modeltheory modularlattices numbertheory orbitequivalence order orderedalgebraicstructures ordinaldefinability otheraspectsofforcingandboolean-valuedmodels otherdegreesandreducibilities philosophy philosophyofmathematics philosophyofscience programminglanguages quantumtheory realfunctions roboticsandautomation science settheory symbolicandmathematical symbolicandmathematicallogic transcendence(generaltheory) transcendentalnumbertheory tutorialpapers universal universalalgebra varieties varieties(universalalgebra)