A General Theory of Class Symmetric Systems
Logic
2026-04-01 v1
Abstract
We develop a general theory for class-sized symmetric systems as a natural extension of symmetric systems with respect to class forcing. In particular, adapting the usual notions of pretameness and tameness for class forcing, we present sufficient conditions for the preservation of the axioms of G\"odel-Bernays set theory (without the axiom of choice), and for the forcing theorem to hold for class-sized symmetric systems.
Keywords
Cite
@article{arxiv.2603.29521,
title = {A General Theory of Class Symmetric Systems},
author = {Peter Holy and Emma Palmer and Jonathan Schilhan},
journal= {arXiv preprint arXiv:2603.29521},
year = {2026}
}
Comments
24 pages