zbMATH — the first resource for mathematics

Optimal proofs of determinacy. (English) Zbl 0835.03017
The author presents a method for proving determinacy from large cardinals. The claim is that in many cases the results seem optimal. Main applications are extensions of theorems of Martin, Steel, and Woodin about determinacy within the projective hierarchy. The author shows how the method can be used to give a new proof of a theorem of Woodin about determinacy in \(L(R)\).

03E60 Determinacy principles
03E15 Descriptive set theory
03E55 Large cardinals
Full Text: DOI Link
[1] DOI: 10.1016/0168-0072(93)90037-E · Zbl 0805.03043
[2] Descriptive set theory (1980) · Zbl 0433.03025
[3] DOI: 10.1090/S0894-0347-1994-1224594-7
[4] Bulletin 1 pp 75– (1995)
[5] Cabal Seminar 79–81 pp 97– (1983)
[6] DOI: 10.1073/pnas.80.6.1783 · Zbl 0523.03035
[7] DOI: 10.2307/2273508 · Zbl 0398.03039
[8] DOI: 10.1090/S0894-0347-1989-0955605-X
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.