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

DOI10.2178/JSL.7802010MaRDI QIDQ5300067zbMATH OpenOpenAlexFDO

Authors Robert A. Van Wesep

Publication date 24 June 2013

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1201.5509, https://projecteuclid.org/euclid.jsl/1368627054

zbMATH Keywords

Boolean valuation functionclass theoryconservative extensionforcingpartial satisfaction relationsproper class

Mathematics Subject Classification ID

Other classical first-order model theory (03C68) Other classical set theory (including functions, relations, and set algebra) (03E20) Other aspects of forcing and Boolean-valued models (03E40)

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 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.

Recommendations

• scientific article; zbMATH DE number 4023270
• A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth
• A note on satisfaction classes
• A note on the variety of satisfaction classes
• Definability of satisfaction in outer models

Cites work

• A relative consistency proof
• scientific article; zbMATH DE number 3627183 (Why is no real title available?)
• Proof theory
• Sets and Classes
• Strong axioms of infinity and elementary embeddings
• Subsystems of second order arithmetic

Cited in

(7)

• A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth
• Definability of satisfaction in outer models
• Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach
• The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic
• scientific article; zbMATH DE number 4083619 (Why is no real title available?)
• The small-is-very-small principle
• The subset relation and 2‐stratified sentences in set theory and class theory

This page was built for publication: Satisfaction relations for proper classes: applications in logic and set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5300067)