Sökning: onr:"swepub:oai:gup.ub.gu.se/262248" >
Feferman's Forays i...
Feferman's Forays into the Foundations of Category Theory
-
- Enayat, Ali, 1959 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för filosofi, lingvistik och vetenskapsteori,Department of Philosophy, Linguistics and Theory of Science
-
- Kindvall Gorbow, Paul, 1981 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för filosofi, lingvistik och vetenskapsteori,Department of Philosophy, Linguistics and Theory of Science
-
- McKenzie, Zachiri, 1984 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för filosofi, lingvistik och vetenskapsteori,Department of Philosophy, Linguistics and Theory of Science
-
(creator_code:org_t)
- 2018-04-02
- 2017
- Engelska.
-
Ingår i: Feferman on Foundations / Jaeger, Gerhard, Sieg, Wilfried (Eds.). - Cham : Springer International Publishing. - 2211-2758. - 9783319633329 ; , s. 315-346
- Relaterad länk:
-
http://arxiv.org/pdf...
-
visa fler...
-
https://gup.ub.gu.se...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- The foundations of category theory has been a source of many perplexities ever since the groundbreaking 1945-introduction of the subject by Eilenberg and Mac Lane; e.g., how is one to avoid Russell-like paradoxes and yet have access to objects that motivate the study in the first place, such as the category of all groups, or the category of all topological spaces? Solomon Feferman has grappled with such perplexities for over 45 years, as witnessed by his six papers on the subject during the period 1969-2013. Our focus in this paper is on two important, yet quite different set-theoretical systems proposed by Feferman for the implementation of category theory: the ZF-style system ZFC/S and the NFU-style system S*; where NFU is Jensen's urelemente-modication of Quine's New Foundations system NF of set theory.
Ämnesord
- HUMANIORA -- Filosofi, etik och religion -- Filosofi (hsv//swe)
- HUMANITIES -- Philosophy, Ethics and Religion -- Philosophy (hsv//eng)
- NATURVETENSKAP -- Matematik -- Algebra och logik (hsv//swe)
- NATURAL SCIENCES -- Mathematics -- Algebra and Logic (hsv//eng)
Nyckelord
- Category theory
- Stratified set theory
- Zermelo-Fraenkel set theory
- Small/large distinction
Publikations- och innehållstyp
- ref (ämneskategori)
- kap (ämneskategori)
Hitta via bibliotek
Till lärosätets databas