TY - RPRT TI - Satisfaction relations for proper classes: Applications in logic and set theory AU - Robert A. Van Wesep PY - 2012 UR - https://arxiv.org/abs/1201.5509 ID - 1201.5509 ER -