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

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

2012-01-26

arxiv.org/abs/1201.5509v2

Mathematics

Logic

Scientific paper

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 T of ZF (Zermelo-Fraenkel set theory) there is a finitely axiomatizable extension T' of GB (von Neumann-Bernays-G\"odel class theory) that is a conservative extension of T. We also prove a conservative extension result that justifies the use of this predicate to characterize ground models for forcing constructions.

Affiliated with

Also associated with

No associations

Rating

Satisfaction relations for proper classes: Applications in logic and set theory does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Satisfaction relations for proper classes: Applications in logic and set theory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Satisfaction relations for proper classes: Applications in logic and set theory will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-445612