Satisfaction relations for proper classes: Applications in logic and set theory

R. V. Wesep
DOI: https://doi.org/10.2178/jsl.7802010
2012-01-26
Abstract:Abstract We develop the theory of partial satisfaction relations for structures that may be proper classes and define a satisfaction predicate (⊨*) appropriate to such structures. We indicate the utility of this theory as a framework for the development of the metatheory of first-order predicate logic and set theory, and we use it to prove that for any recursively enumerable extension Θ of ZF there is a finitely axiomatizable extension *Θ′ of GB that is a conservative extension of Θ. We also prove a conservative extension result that justifies the use of ⊨* to characterize ground models for forcing constructions.
What problem does this paper attempt to address?