About Logic and Foundations

Logic and Foundations is a subfield of mathematics mainly focusing on set theory also emphasising the applications of logic on mathematics. They are divided in to subfields of set theory, recursion theory, model theory, large cardinals, fine structure theory, and proof theory.