Higher set theory
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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)|
No categories specified
(categorize this paper)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
Ulrich Kohlenbach (2008). Gödel's Functional Interpretation and its Use in Current Mathematics. Dialectica 62 (2):223–267.
Dick De Jongh, Rineke Verbrugge & Albert Visser (2011). Intermediate Logics and the de Jongh Property. Archive for Mathematical Logic 50 (1):197-213.
Similar books and articles
Volker Peckhaus (1995). Hilberts Logik. Von der Axiomatik zur Beweistheorie. NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 3 (1):65-86.
Joseph S. Ullian (1969). Is Any Set Theory True? Philosophy of Science 36 (3):271-279.
Bart Jacobs (1989). The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory. Journal of Philosophical Logic 18 (4):399 - 422.
Gregory H. Moore (1980). Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory. History and Philosophy of Logic 1 (1-2):95-137.
Edward G. Belaga, From Traditional Set Theory – That of Cantor, Hilbert , Gödel, Cohen – to Its Necessary Quantum Extension.
Gregory H. Moore (1978). The Origins of Zermelo's Axiomatization of Set Theory. Journal of Philosophical Logic 7 (1):307 - 329.
Added to index2009-01-28
Total downloads81 ( #51,711 of 1,902,101 )
Recent downloads (6 months)16 ( #44,440 of 1,902,101 )
How can I increase my downloads?