# 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)$$.

##### MSC:
 3e+60 Determinacy principles 3e+15 Descriptive set theory 3e+55 Large cardinals
Full Text:
##### References:
 [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.