PRIMITIVE INDEPENDENCE RESULTS

DOI10.1142/S0219061303000248zbMATH Open1029.03039OpenAlexW2026878550MaRDI QIDQ4408482FDOQ4408482

Authors 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

quantifiersindependence resultsZFCNBGCsmall large cardinal hypothesessubtle cardinal

Mathematics Subject Classification ID

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

Recommendations

• Some results on algebraic independence
• Some results on algebraic independence
• scientific article; zbMATH DE number 1018427
• AN INDEPENDENCE THEOREM AND ITS CONSEQUENCES
• scientific article; zbMATH DE number 3964050
• Some Independence Results on Reflection
• scientific article; zbMATH DE number 4099388
• Independence of the primitive symbols of Lewis's calculi of propositions
• Independence Results in Algebraic Logic
• Independence results in formal topology

Cites Work

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

Cited In (3)

• Three-quantifier sentences
• Title not available (Why is no real title available?)
• Characterizing all models in infinite cardinalities

This page was built for publication: PRIMITIVE INDEPENDENCE RESULTS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4408482)