Till sidans topp

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

Tipsa en vän

ALGEBRAIC NEW FOUNDATIONS… - Göteborgs universitet Till startsida
Till innehåll Läs mer om hur kakor används på gu.se


Artikel i vetenskaplig tidskrift
Författare Paul Kindvall Gorbow
Publicerad i Journal of Symbolic Logic
Volym 84
Nummer/häfte 2
Sidor 798-832
ISSN 0022-4812
Publiceringsår 2019
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 798-832
Språk en
Länkar dx.doi.org/10.1017/jsl.2018.86
Ämnesord category theory, set theory, new foundations, NF, NFU, INF, INFU, algebraic set theory, topos, models, Mathematics, Science & Technology - Other Topics, RSTER T., 2014, The category of sets in stratifiable set theories, RSTER T., 1995, Set Theory with a Universal Set, larty c, 1992, journal of symbolic logic, v57, p555
Ämneskategorier Språk och litteratur


This paper consists in the formulation of a novel categorical set theory, MLCat, which is proved to be equiconsistent to New Foundations (NF), and which can be modulated to correspond to intuitionistic (denoted with an "I" on the left) or classical NF, with atoms (denoted with a "U" on the right) or not: NF is a set theory that rescues the intuition behind naive set theory, by imposing a so called stratification constraint on the formulae featuring in the comprehension schema. It turns out that NFU is quite a different theory from NF; for example, NFU is consistent with the axiom of choice, while NF is not. Not very much is known about INF and INFU. The axioms of the categorical theory developed here express that its structures have an endofunctor, with certain coherence properties. By means of this endofunctor, an appropriate axiom of power objects is formulated for the setting of NF. The most interesting direction of the equiconsistency result is established by interpreting the set theory in the category theory, through the machinery of categorical semantics, thus making essential use of the flexibility inherent in category theory. An example of this flexibility is that we obtain a transparent proof that (I)NF is equiconsistent with (I)NFU + vertical bar V vertical bar = vertical bar PV vertical bar.(1) Moreover, it is shown that (I)ML(U)(Cat) is connected to topos theory as follows: THEOREM. For any category C vertical bar= (I)ML(U)(Cat), with endofunctor T, the full subcategory on the fixed-points(2) of T is a topos. The relevance of this categorical work lies in that it provides a basis for studying the dynamics of NF within the realm of category theory. In particular, it opens up for constructions of categorical models of intuitionistic versions of NF, and for stratified approaches to type-theory. It may also be relevant for attempts to prove or simplify proofs of the consistency of classical NF.

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

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?