Higher set theory
Russell’s way out of his paradox via the impre-dicative theory of types has roughly the same logical power as Zermelo set theory - which supplanted it as a far more flexible and workable axiomatic foundation for mathematics. We discuss some new formalisms that are conceptually close to Russell, yet simpler, and have the same logical power as higher set theory - as represented by the far more powerful Zermelo-Frankel set theory and beyond. END.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Gödel's Functional Interpretation and its Use in Current Mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223–267.
Intermediate Logics and the de Jongh Property.Dick De Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1):197-213.
Similar books and articles
Hilberts Logik. Von der Axiomatik zur Beweistheorie.Volker Peckhaus - 1995 - NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 3 (1):65-86.
The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory.Gregory H. Moore - 1980 - History and Philosophy of Logic 1 (1-2):95-137.
Axiomatization of Set Theory by Extensionality, Separation, and Reducibility.Harvey Friedman - manuscript
From Traditional Set Theory – That of Cantor, Hilbert , Gödel, Cohen – to Its Necessary Quantum Extension.Edward G. Belaga - manuscript
The Origins of Zermelo's Axiomatization of Set Theory.Gregory H. Moore - 1978 - Journal of Philosophical Logic 7 (1):307 - 329.
Added to index2009-01-28
Total downloads85 ( #61,309 of 2,169,644 )
Recent downloads (6 months)1 ( #345,418 of 2,169,644 )
How can I increase my downloads?