Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

On the strength of a weak variant of the axiom of counting

Artikel i vetenskaplig tidskrift
Författare Zachiri McKenzie
Publicerad i Mathematical Logic Quarterly
Volym 63
Nummer/häfte 1-2
Sidor 94-103
ISSN 0942-5616
Publiceringsår 2017
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 94-103
Språk English
Länkar doi.org/10.1002/malq.201600004
Ämnesord set-theory, nfu, Mathematics, Science & Technology - Other Topics, RSTER THOMAS, 1995, Set Theory with a Universal Set, V31
Ämneskategorier Filosofi, etik och religion

Sammanfattning

In this paper NFU-AC is used to denote Jensen's modification of Quine's 'new foundations' set theory (NF) fortified with a type-level pairing function but without the axiom of choice. The axiom AxCount(>=) is the variant of the axiom of counting which asserts that no finite set is smaller than its own set of singletons. This paper shows that NFU-AC + AxCount(>=) proves the consistency of the simple theory of types with infinity (TSTI). This result implies that NF + AxCount(>=) proves that consistency of TSTI, and that NFU-AC + AxCount(>=) proves the consistency of NFU-AC. (C) 2017 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

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?