OPTIMAL PROOFS OF DETERMINACY II
From MaRDI portal
Recommendations
- Optimal Proofs of Determinacy
- scientific article; zbMATH DE number 5201477
- Nondeterministic functions and the existence of optimal proof systems
- Decidability in elementary analysis. II
- scientific article; zbMATH DE number 1136087
- Optimal acceptors and optimal proof systems
- scientific article; zbMATH DE number 1500532
- scientific article; zbMATH DE number 1304339
- AXIOMATIZATION OF PROVABLE n-PROVABILITY
Cites work
Cited in
(16)- scientific article; zbMATH DE number 5201477 (Why is no real title available?)
- Nondeterministic functions and the existence of optimal proof systems
- HOD in inner models with Woodin cardinals
- Long games and \(\sigma \)-projective sets
- Determinacy from strong reflection
- Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
- scientific article; zbMATH DE number 2222012 (Why is no real title available?)
- On the prewellorderings associated with the directed systems of mice
- Determinacy of refinements to the difference hierarchy of co-analytic sets
- NOTE ON IMPLYING
- scientific article; zbMATH DE number 956474 (Why is no real title available?)
- Determinacy and extended sharp functions on the reals. II: Obtaining sharps from determinacy
- A Proof of Projective Determinacy
- Determinacy axioms and large cardinals
- Optimal Proofs of Determinacy
- Pure mathematics and physical reality (continuity and computability)
This page was built for publication: OPTIMAL PROOFS OF DETERMINACY II
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4799378)
