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

DOI10.2178/JSL.7802010zbMath1278.03077arXiv1201.5509OpenAlexW2592976559MaRDI QIDQ5300067

Robert A. Van Wesep

Publication date: 24 June 2013

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

Full work available at URL: https://arxiv.org/abs/1201.5509

zbMATH Keywords

forcingconservative extensionclass theoryproper classBoolean valuation functionpartial satisfaction relations

Mathematics Subject Classification ID

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

Related Items (1)

The small‐is‐very‐small principle

Cites Work

• Unnamed Item
• Unnamed Item
• Strong axioms of infinity and elementary embeddings
• Sets and Classes
• A relative consistency proof
• Proof theory

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