Autor:	Quinn, Frank
Rok vydání:	2020
Předmět:	Mathematics - Logic 03E65 18A05 03B60
Druh dokumentu:	Working Paper
Popis:	We begin with a context more general than set theory. The basic ingredients are essentially the object and functor primitives of category theory, and the logic is weak, requiring neither the Law of Excluded Middle nor quantification. Inside this we find "relaxed" set theory, which is much easier to use with full precision than traditional axiomatic theories. There is also an implementation of the Zermillo-Fraenkel-Choice axioms that is maximal in the sense that any other implementation uniquely embeds in it. Comment: Obsolete; replaced by "Object generators 1: set theory", arXiv:2110.01489
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2009.08867 Zobrazit plný text záznamu View this record from Arxiv