Global choice is not conservative over local choice for Zermelo set theory

Global choice is not conservative over local choice for Zermelo set theory

We prove that Global Choice is not conservative over ZC and that ZF \(-\) Union does not prove existence of \(x \cup y\) for all \(x\) and \(y\). Each proof is by constructing a pathological model inside a symmetric extension of \(L.\)

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org 2023-12
1. Verfasser: Glazer, Elliot
Format: Artikel
Sprache:eng
Schlagworte:
Set theory
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We prove that Global Choice is not conservative over ZC and that ZF \(-\) Union does not prove existence of \(x \cup y\) for all \(x\) and \(y\). Each proof is by constructing a pathological model inside a symmetric extension of \(L.\)
ISSN:2331-8422