Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A topological set theory implied by ZF and GPK   We present a system of axioms motivated by a topological intuition: The set
of subsets of any set is a topology on that set. On the one hand, this system
is a common weakening of Zermelo-Fraenkel set theory ZF, the positive set
theory GPK and the theory of hyperuniverses. On the other hand, it retains most
of the expressiveness of these theories and has the same consistency strength
as ZF. We single out the additional axiom of the universal set as the one that
increases the consistency strength to that of GPK and explore several other
axioms and interrelations between those theories. Our results are independent
of whether the empty class is a set and whether atoms exist.
  This article is a revised version of the first part of the author's doctoral
thesis.

29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph
21
The categories of this paper are: adap-org
34
The categories of this paper are: chem-ph
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
3
The categories of this paper are: physics
31
The categories of this paper are: ao-sci
5
The categories of this paper are: gr-qc
27
The categories of this paper are: comp-gas
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
12
The categories of this paper are: nucl-th
32
The categories of this paper are: atom-ph
11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex