Open Research Index

A General Theory of Class Symmetric Systems

Peter Holy, Emma Palmer, Jonathan Schilhan

arXivarxiv/2603.29521Mar 31, 2026math.LOscore 0

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ödel-Bernays set theory (without the axiom of choice), and for the forcing theorem to hold for class-sized symmetric systems.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2603.29521
curl -X POST /api/v1/records/arxiv/2603.29521/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.29521/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'