Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Sufficient conditions for the forcing theorem, and turning proper
  classes into sets   We present three natural combinatorial properties for class forcing notions,
which imply the forcing theorem to hold. We then show that all known sufficent
conditions for the forcing theorem (except for the forcing theorem itself),
including the three properties presented in this paper, imply yet another
regularity property for class forcing notions, namely that proper classes of
the ground model cannot become sets in a generic extension, that is they do not
have set-sized names in the ground model. We then show that over certain models
of G\"odel-Bernays set theory without the power set axiom, there is a notion of
class forcing which turns a proper class into a set, however does not satisfy
the forcing theorem. Moreover, we show that the property of not turning proper
classes into sets can be used to characterize pretameness over such models of
G\"odel-Bernays set theory.

4
The categories of this paper are: cond-mat
13
The categories of this paper are: quant-ph
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
6
The categories of this paper are: astro-ph
36
The categories of this paper are: cmp-lg
7
The categories of this paper are: hep-th
37
The categories of this paper are: supr-con
28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat
30
The categories of this paper are: q-alg
26
The categories of this paper are: bayes-an
35
The categories of this paper are: mtrl-th
18
The categories of this paper are: econ
24
The categories of this paper are: dg-ga
29
The categories of this paper are: funct-an