link.springer.com
Formalised Axiomatic Theories and Bourbaki’s Concept of Species of Set-Theoretical Structure - Journal of Philosophical Logic
This paper investigates Bourbaki’s concepts of set-theoretical structure and isomorphism. First, I introduce Bourbaki’s formalism in a modern guise. Second, I show that there is a one-to-one correspon...