Commutative algebra and graph theory are two vibrant areas of mathematics that have grown increasingly interrelated. At this interface, algebraic methods are applied to study combinatorial structures, ...

We try to answer the question which is the "right" foundation of mathematics, second order logic or set theory. Since the former is usually thought of as a formal language and the latter as a first ...

This paper explores the set theoretic assumptions used in the current published proof of Fermat's Last Theorem, how these assumptions figure in the methods Wiles uses, and the currently known ...