Optimal proofs of determinacy. - Itay Neeman (Bull. Symb. Log., 1995)

A Weak Dodd-Jensen Lemma. - Itay Neeman; John R. Steel (J. Symb. Log., 1999)

Unraveling Pi11. - Itay Neeman (Ann. Pure Appl. Log., 2000)

Proper Forcing and L(Real). - Itay Neeman; Jindrich Zapletal (J. Symb. Log., 2001)

Inner models in the region of a Woodin limit of Woodin cardinals. - Itay Neeman (Ann. Pure Appl. Log., 2002)

Optimal Proofs of Determinacy II. - Itay Neeman (J. Math. Log., 2002)

The strength of Blackwell determinacy. - Donald A. Martin; Itay Neeman; Marco Vervoort (J. Symb. Log., 2003)

The Mitchell order below rank-to-rank. - Itay Neeman (J. Symb. Log., 2004)

Determinacy for games ending at the first admissible relative to the play. - Itay Neeman (J. Symb. Log., 2006)

Counterexamples to the unique and cofinal branches hypotheses. - Itay Neeman; John R. Steel (J. Symb. Log., 2006)

A cardinal preserving extension making the set of points of countable V cofinality nonstationary. - Moti Gitik; Itay Neeman; Dima Sinapova (Arch. Math. Log., 2007)

Inner Models and Ultrafilters in L(R). - Itay Neeman (Bull. Symb. Log., 2007)

Effective Cardinals of Boldface pointclasses. - Alessandro Andretta; Greg Hjorth; Itay Neeman (J. Math. Log., 2007)

Games of Length ω1. - Itay Neeman (J. Math. Log., 2007)

DKAL: Distributed-Knowledge Authorization Language. - Yuri Gurevich; Itay Neeman (CSF, 2008)

The strength of Jullien's indecomposability Theorem. - Itay Neeman (J. Math. Log., 2008)

Finite state automata and monadic definability of singular cardinals. - Itay Neeman (J. Symb. Log., 2008)

Hierarchies of forcing axioms II. - Itay Neeman (J. Symb. Log., 2008)

Hierarchies of forcing axioms I. - Itay Neeman; Ernest Schimmerling (J. Symb. Log., 2008)

Teh Logic of Infons. - Yuri Gurevich; Itay Neeman (Bull. EATCS, 2009)

Aronszajn Trees and Failure of the singular cardinal Hypothesis. - Itay Neeman (J. Math. Log., 2009)

Evidential Authorization. - Andreas Blass; Yuri Gurevich; Michal Moskal; Itay Neeman (The Future of Software Engineering, 2010)

A criterion for coarse iterability. - Gunter Fuchs; Itay Neeman; Ralf Schindler (Arch. Math. Log., 2010)

Necessary use of Σ¹₁ induction in a reversal. - Itay Neeman (J. Symb. Log., 2011)

Logic of infons: The propositional case. - Yuri Gurevich; Itay Neeman (ACM Trans. Comput. Log., 2011)

The Tree Property up to אω+1. - Itay Neeman (J. Symb. Log., 2014)

Forcing with Sequences of Models of Two Types. - Itay Neeman (Notre Dame J. Formal Log., 2014)

Square principles with tail-end agreement. - William Chen; Itay Neeman (Arch. Math. Log., 2015)

Equiconsistencies at subcompact cardinals. - Itay Neeman; John R. Steel (Arch. Math. Log., 2016)

Two applications of finite side conditions at $$ omega _2$$ ω 2. - Itay Neeman (Arch. Math. Log., 2017)

Happy and MAD families in l(ℝ). - Itay Neeman; Zach Norwood (J. Symb. Log., 2018)

Chang's Conjecture with $ square _{ omega _1, 2}$ from an ømega 1-Erdős cardinal. - Itay Neeman; John Susice (Arch. Math. Log., 2020)

On the relationship between mutual and tight stationarity. - William Chen-Mertens; Itay Neeman (Ann. Pure Appl. Log., 2021)

The Tree Property at the two Immediate Successors of a singular cardinal. - James Cummings 001; Yair Hayut; Menachem Magidor; Itay Neeman; Dima Sinapova; Spencer Unger (J. Symb. Log., 2021)

Abraham-Rubin-Shelah open colorings and a large continuum. - Thomas Gilton; Itay Neeman (J. Math. Log., 2022)