ZF ⊦ Σ40 determinateness

DOI10.2307/2272410zbMath0264.02053OpenAlexW2007464679MaRDI QIDQ5680127

Jeffrey Bruce Paris

Publication date: 1973

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

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

Mathematics Subject Classification ID

Descriptive set theory (03E15) Large cardinals (03E55)

Related Items (2)

An example in axiomatic set theory ⋮ Minimal Covers and Hyperdegrees

Cites Work

• The strict determinateness of certain infinite games
• Advances in Game Theory. (AM-52)

This page was built for publication: ZF ⊦ Σ₄⁰ determinateness