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

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

zbMATH Keywords

quantifiersindependence resultsZFCNBGCsmall 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

Cited In (4)

• Three-quantifier sentences
• Exact scheme independence
• Title not available (Why is that?)
• 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)