The equivalence of determinacy and iterated sharps

DOI10.2307/2274643MaRDI QIDQ3476807zbMATH OpenOpenAlexFDO

Authors Derrick Albert DuBose

Publication date 1990

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274643

zbMATH Keywords

determinacyiterated sharps

Mathematics Subject Classification ID

Determinacy principles (03E60)

Recommendations

• Determinacy and the sharp function on objects of type k
• Determinacy and the sharp function on the reals
• Determinacy and the sharp function on the reals
• Equivalence and finite determinacy of mappings
• Determinacy and extended sharp functions on the reals. II: Obtaining sharps from determinacy
• Categorical equivalences in the theory of sharp transitivity
• Generalization of Shapiro's theorem to higher arities and noninjective notations
• On iterated almost -stable derived equivalences
• scientific article; zbMATH DE number 3914317
• Sharpness Results and Knapp’s Homogeneity Argument

Cites work

• Descriptive set theory
• Fundamenta Mathematicae: An Examination of Its Founding and Significance
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)

Cited in

(10)

• Determinacy and extended sharp functions on the reals. II: Obtaining sharps from determinacy
• Determinacy of refinements to the difference hierarchy of co-analytic sets
• The real core model and its scales
• Determinacy in the difference hierarchy of co-analytic sets
• An extension of Borel determinacy
• 1995 Annual Meeting of the Association for Symbol Logic
• Determinacy and the sharp function on objects of type k
• Determinacy and the sharp function on the reals
• Determinacy and the sharp function on the reals
• The metamathematics of separated determinacy

This page was built for publication: The equivalence of determinacy and iterated sharps

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