 |
Department of Mathematics University of California Los Angeles Los Angeles, CA 90095-1555
Office: Math Sciences 6334 Phone: (310) 794 5317 Fax: (310) 206 6673 Email: |
|
Recent Courses (Fall 09, Spring 09, Winter 09, Fall 08, Spring 08, Winter 08, Fall 07, Spring 07) |
|
Math 33A: Linear Algebra and Applications. Office hours: MWF, 10am to 11am. |
|
|
Selected invited talks
Steel forcing in reverse mathematics. Delivered at the CIRM workshop on Set Theory, Luminy, France, 2008, and at the Steel VIG, UCLA, 2009.
Determinacy and large cardinals. Delivered at the Logic and Foundations of Mathematics section of the 2006 International Congress of Mathematicians, Madrid, Spain.
Set theory, infinite games, and strong axioms. General audience talk delivered at the Wissenschaftskolleg zu Berlin, Germany, 2005.
Inner models and ultrafilters in L(R). Talk 1; Talk 2; Talk 3. Delivered at the CIRM workshop on Set Theory, Luminy, France, 2004.
Determinacy proofs for long games. Talk 1; Talk 2; Talk 3. Delivered at the Logic Colloquium 2001, Vienna, Austria.
Books
The determinacy of long games. De Gruyter Series in Logic and its Applications, Volume 7, Walter de Gruyter and Co., Berlin, November 2004.
Articles (contact me by email for
reprints)
Itay Neeman, Necessary use of $\Sigma^1_1$ induction in a reversal.
Paul Larson, Itay Neeman, and Saharon Shelah, Universally measurable sets in generic extensions.
Yuri Gurevich and Itay Neeman, The logic of infons.
Itay Neeman, Aronszajn trees and failure of the singular cardinal hypothesis, to appear in J. of Mathematical Logic.
Gunter Fuchs, Itay Neeman, and Ralf Schindler, A criterion for coarse iterability, to appear in Archive for Mathematical Logic.
Itay Neeman, Monadic theories of wellorders, to appear in Proceedings of the 13th International Congress of Logic, Methodology and Philosophy of Science.
Itay Neeman, Determinacy in $L({\mathbb R})$, to appear in the Handbook of Set Theory.
Itay Neeman, The strength of Jullien's indecomposability theorem. J. of Mathematical Logic, vol. 8 (2008, published June 2009), pp. 93–119.
Yuri Gurevich and Itay Neeman, DKAL: Distributed Knowledge Authorization Language. Proceedings of the 21st IEEE Computer Security Foundations Symposium, pp. 149–162, IEEE Computer Society, 2008. See also technical report MSR-TR-2008-09.
Itay Neeman, Propagation of the scale property using games. In Games, scales, and Suslin cardinals, the Cabal seminar vol. I, pp. 75–89, Lecture Notes in Logic 31, 2008.
Itay Neeman, Monadic definability of ordinals. In Computational Prospects of Infinity, Part II, Presented Talks, pp. 193–205, Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap. 15, World Scientific Publishing, 2008.
Itay Neeman, Hierarchies of forcing axioms II. J. of Symbolic Logic, vol. 73 (2008), pp. 522–542.
Itay Neeman, Finite state automata and monadic definability of singular cardinals. J. of Symbolic Logic, vol. 73 (2008), pp. 412–438.
Itay Neeman and Ernest Schimmerling, Hierarchies of forcing axioms I. J. of Symbolic Logic, vol. 73 (2008), pp. 343–362.
Itay Neeman, Games of length $\omega_1$. J. of Mathematical Logic, vol. 7 (2007), pp. 83–124.
Alex Andretta, Greg Hjorth, and Itay Neeman, Effective cardinals of boldface pointclasses. J. of Mathematical Logic, vol. 7 (2007), pp. 35–82.
Moti Gitik, Itay Neeman, and Dima Sinapova, A cardinal preserving extension making the set of points of countable $V$ cofinality nonstationary. Archive for Mathematical Logic, vol. 46 (2007), pp. 451–456.
Itay Neeman, Inner models and ultrafilters in $L({\mathbb R})$. Bull. of Symbolic Logic, vol. 13 (2007), pp. 31–53.
Itay Neeman, Determinacy and Large Cardinals. Proceedings of the International Congress of Mathematicians, vol. II, Madrid 2006, pp. 27–43, European Math. Society Publishing House, 2007.
Itay Neeman and John Steel, Counterexamples to the unique and cofinal branches hypotheses. J. of Symbolic Logic, vol. 71 (2006) pp. 977–988.
Itay Neeman, Determinacy for games ending at the first admissible relative to the play. J. of Symbolic Logic, vol. 71 (2006), pp. 425–459.
Itay Neeman, Unraveling $\Pi^1_1$ sets, revisited. Israel J. of Math., vol. 152 (2006), pp. 181–203.
Itay Neeman, An introduction to proofs of determinacy of long games. Logic Colloquium ’01, pp. 43–86, Lecture Notes in Logic No. 20, Association for Symbolic Logic, Urbana, IL, 2005.
Itay Neeman, The Mitchell order below rank-to-rank. J. of Symbolic Logic, vol. 69 (2004), pp. 1143–1162.
Donald A. Martin, Marco Vervoort, and Itay Neeman, The strength of Blackwell determinacy. J. of Symb. Logic, vol. 68 (2003), pp. 615–636.
Itay Neeman, Optimal proofs of determinacy II. J. of Math. Logic, vol. 2 (2002), pp. 227–258.
Itay Neeman, Inner models in the region of a Woodin limit of Woodin cardinals. Ann. of Pure and Applied Logic, vol. 116 (2002), pp. 67–155.
Alex Andretta, Itay Neeman, and John Steel, The domestic levels of $K^c$ are iterable. Israel J. of Math., vol. 125 (2001), pp. 157–201.
Itay Neeman and Jindrich Zapletal, Proper forcing and $L({\mathbb R})$. J. of Symb. Logic, vol. 66 (2001), pp. 801–810.
Itay Neeman, Unraveling $\Pi^1_1$ sets. Ann. of Pure and Applied Logic, vol. 106 (2000), pp. 151–205.
Itay Neeman and John Steel, A weak Dodd—Jensen lemma. J. of Symb. Logic, vol. 64 (1999), pp. 1285–1294.
Itay Neeman, Games of countable length. In Sets and Proofs, LMS Lecture Note Series 258, pp. 159–196, Cambridge University Press, 1999.
Itay Neeman and Jindrich Zapletal, Proper forcing and absoluteness in $L({\mathbb R})$. Commentationes Math. Uni. Carolinea, vol. 39 (1998), pp. 281–301.
Itay Neeman, Optimal proofs of determinacy. Bull. of Symb. Logic, vol. 1 (1995), pp. 327–339.