Record link: 
http://hdl.handle.net/20.500.12708/224762
-
Title: 
Power ∑₁ in Card with two Woodin cardinals
en
Citation: 
Schlutzenberg, F. S. (2025). Power ∑₁ in Card with two Woodin cardinals. arXiv. https://doi.org/10.48550/arXiv.2505.05243
-
Publisher DOI: 
10.48550/arXiv.2505.05243
-
Publication Type: 
Preprint
en
Language: 
English
-
Authors: 
Schlutzenberg, Farmer Salamander 
-
Organisational Unit: 
E104-08 - Forschungsbereich Mengenlehre 
-
ArXiv ID: 
2505.05243
-
Date (published): 
8-May-2025
-
Number of Pages: 
6
-
Preprint Server: 
arXiv 
-
Keywords: 
power set; definability; Härtig quantifier; Woodin cardinals; inner model
en
Abstract: 
Väänänen and Welch asked in the paper "When cardinals determine the power set: inner models and Härtig quantifier logic" which large cardinals are consistent with the power set operation x ↦ P(x) being Σ_1-definable in the predicate Card of all cardinals. We show that, relative to large cardinals, this property is consistent with the existence of two Woodin cardinals.
en
Project title: 
Determiniertheit und Woodin Limes von Woodin Kardinalzahlen: Y1498 (FWF - Österr. Wissenschaftsfonds) 
-
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
1010 - Mathematik: 100%
-
Appears in Collections:
Preprint

Show full item record

Google ScholarTM

Check