 |
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: ineeman at math. ucla. edu |
|
Recent Courses (Spring 08, Winter 08, Fall 07, Spring 07, Winter 07, Fall 06) |
|
Math 220C: Mathematical Logic and Set Theory. Math 223S: Topics in Set Theory. Math 290D: Current Literature Seminar in Logic. Office hours: Mondays and Wednesdays, 10am to 11am. |
|
|
Selected invited talks
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)
Gunter Fuchs, Itay Neeman, and Ralf Schindler, A criterion for coarse iterability.
Itay Neeman, Monadic theories of wellorders. to appear in Proceedings of the 13th International Congress of Logic, Methodology and Philosophy of Science.
Yuri Gurevich and Itay Neeman, DKAL: Distributed Knowledge Authorization Language, to appear, 21st IEEE Computer Security Foundations Symposium, 2008. See also technical report MSR-TR-2008-09.
Itay Neeman, Propagation of the scale property using games, to appear in the New Cabal.
Itay Neeman, Determinacy in $L({\mathbb R})$, to appear in the Handbook of Set Theory.
Itay Neeman, Monadic definability of ordinals, to appear in Computational Prospects of Infinity.
Itay Neeman, Hierarchies of forcing axioms II, J. of Symbolic Logic, vol. 73 (2008), pp. 522542.
Itay Neeman, Finite state automata and monadic definability of singular cardinals, J. of Symbolic Logic, vol. 73 (2008), pp. 412438.
Itay Neeman and Ernest Schimmerling, Hierarchies of forcing axioms I, J. of Symbolic Logic, vol. 73 (2008), pp. 343362.
Itay Neeman, Games of length $\omega_1$, J. of Mathematical Logic, vol. 7 (2007), pp. 83124.
Alex Andretta, Greg Hjorth, and Itay Neeman, Effective cardinals of boldface pointclasses, J. of Mathematical Logic, vol. 7 (2007), pp. 3582.
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. 451456.
Itay Neeman, Inner models and ultrafilters in $L({\mathbb R})$, Bull. of Symbolic Logic, vol. 13 (2007), pp. 3153.
Itay Neeman, Determinacy and Large Cardinals. Proceedings of the International Congress of Mathematicians, vol. II, Madrid 2006, pp. 2743, 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. 977988.
Itay Neeman, Determinacy for games ending at the first admissible relative to the play. J. of Symbolic Logic, vol. 71 (2006), pp. 425459.
Itay Neeman, Unraveling $\Pi^1_1$ sets, revisited. Israel J. of Math., vol. 152 (2006), pp. 181203.
Itay Neeman, An introduction to proofs of determinacy of long games. Logic Colloquium 01, pp. 4386, 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. 11431162.
Donald A. Martin, Marco Vervoort, and Itay Neeman, The strength of Blackwell determinacy. J. of Symb. Logic, vol. 68 (2003), pp. 615636.
Itay Neeman, Optimal proofs of determinacy II. J. of Math. Logic, vol. 2 (2002), pp. 227258.
Itay Neeman, Inner models in the region of a Woodin limit of Woodin cardinals. Ann. of Pure and Applied Logic, vol. 116 (2002), pp. 67155.
Alex Andretta, Itay Neeman, and John Steel, The domestic levels of $K^c$ are iterable. Israel J. of Math., vol. 125 (2001), pp. 157201.
Itay Neeman and Jindrich Zapletal, Proper forcing and $L({\mathbb R})$. J. of Symb. Logic, vol. 66 (2001), pp. 801810.
Itay Neeman, Unraveling $\Pi^1_1$ sets. Ann. of Pure and Applied Logic, vol. 106 (2000), pp. 151205.
Itay Neeman and John Steel, A weak DoddJensen lemma. J. of Symb. Logic, vol. 64 (1999), pp. 12851294.
Itay Neeman, Games of countable length. In Sets and Proofs, LMS Lecture Note Series 258, pp. 159196, 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. 281301.
Itay Neeman, Optimal proofs of determinacy. Bull. of Symb. Logic, vol. 1 (1995), pp. 327339.