Is there a proof of the consistency of Analysis (second order arithmetic), which is similar to Gentzen's proof of the consistency of arithmetic? Update: Which (different) methods can be used to ...
The ramified theory of types, invented by Bertrand Russell, is a way of dealing with impredicativity by breaking the comprehension schema of second-order logic into levels. The comprehension schema ...
Consider that the question does not concern the origin of the ideas of equivalence relation and equivalence class. It exactly concerns the origin of the terms "equivalence relation" and "equivalence ...
This is a question in two parts about the interaction of surreal numbers and large cardinals, in both cases just a request for references on the subject. Part 1 is about foundations. Much of the ...
As probably many other people here, I learned integration, as an undergrad, from Rudin's books. I recently realized, however, that I don't quite use Lebesgue integration in my work, or at least I use ...
Hello! I'm looking for a survey (of the history) of the concept of mapping/function. How the concept was evolving. Especially I'm interested in what it turned into during the last 50 years. So ...