Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Feferman's Forays into th… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Feferman's Forays into the Foundations of Category Theory

Kapitel i bok
Författare Ali Enayat
Paul Kindvall Gorbow
Zachiri McKenzie
Publicerad i Feferman on Foundations / Jaeger, Gerhard, Sieg, Wilfried (Eds.)
Sidor 315-346
ISBN 978-3-319-63332-9
ISSN 2211-2758
Förlag Springer International Publishing
Förlagsort Cham
Publiceringsår 2017
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 315-346
Språk en
Länkar https://doi.org/10.1007/978-3-319-6...
Ämnesord Category theory, Stratified set theory, Zermelo-Fraenkel set theory, Small/large distinction
Ämneskategorier Matematisk logik, Logik

Sammanfattning

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.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?