PRIMITIVE INDEPENDENCE RESULTS

DOI10.1142/S0219061303000248zbMath1029.03039OpenAlexW2026878550MaRDI QIDQ4408482

Harvey M. Friedman

Publication date: 29 June 2003

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0219061303000248

zbMATH Keywords

ZFCindependence resultsquantifiersNBGCsmall large cardinal hypothesessubtle cardinal

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Cites Work

• Subtle cardinals and linear orderings
• The ∀_n∃‐Completeness of Zermelo‐Fraenkel Set Theory

This page was built for publication: PRIMITIVE INDEPENDENCE RESULTS