Itay Neeman

Publication Activity (10 Years)

Years Active: 1995-2022
Publications (10 Years): 7

Top Topics

Connected Regions

Fundamental Principles

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Notre Dame J. Formal Log.

Publications

Thomas Gilton, Itay Neeman
Abraham-Rubin-Shelah open colorings and a large continuum. J. Math. Log. 22 (1) (2022)
James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman, Dima Sinapova, Spencer Unger
The Tree Property at the two Immediate Successors of a singular cardinal. J. Symb. Log. 86 (2) (2021)
William Chen-Mertens, Itay Neeman
On the relationship between mutual and tight stationarity. Ann. Pure Appl. Log. 172 (7) (2021)
Itay Neeman, John Susice
-Erdős cardinal. Arch. Math. Log. 59 (7-8) (2020)
Itay Neeman, Zach Norwood
Happy and MAD families in l(ℝ). J. Symb. Log. 83 (2) (2018)
Itay Neeman
Two applications of finite side conditions at $$\omega _2$$ ω 2. Arch. Math. Log. 56 (7-8) (2017)
Itay Neeman, John R. Steel
Equiconsistencies at subcompact cardinals. Arch. Math. Log. 55 (1-2) (2016)
William Chen, Itay Neeman
Square principles with tail-end agreement. Arch. Math. Log. 54 (3-4) (2015)
Itay Neeman
. J. Symb. Log. 79 (2) (2014)
Itay Neeman
Forcing with Sequences of Models of Two Types. Notre Dame J. Formal Log. 55 (2) (2014)
Itay Neeman
Necessary use of Σ¹₁ induction in a reversal. J. Symb. Log. 76 (2) (2011)
Yuri Gurevich, Itay Neeman
Logic of infons: The propositional case. ACM Trans. Comput. Log. 12 (2) (2011)
Gunter Fuchs, Itay Neeman, Ralf Schindler
A criterion for coarse iterability. Arch. Math. Log. 49 (4) (2010)
Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman
Evidential Authorization. The Future of Software Engineering (2010)
Itay Neeman
Aronszajn Trees and Failure of the singular cardinal Hypothesis. J. Math. Log. 9 (1) (2009)
Yuri Gurevich, Itay Neeman
Teh Logic of Infons. Bull. EATCS 98 (2009)
Itay Neeman
Hierarchies of forcing axioms II. J. Symb. Log. 73 (2) (2008)
Itay Neeman
The strength of Jullien's indecomposability Theorem. J. Math. Log. 8 (1) (2008)
Itay Neeman, Ernest Schimmerling
Hierarchies of forcing axioms I. J. Symb. Log. 73 (1) (2008)
Yuri Gurevich, Itay Neeman
DKAL: Distributed-Knowledge Authorization Language. CSF (2008)
Itay Neeman
Finite state automata and monadic definability of singular cardinals. J. Symb. Log. 73 (2) (2008)
Alessandro Andretta, Greg Hjorth, Itay Neeman
Effective Cardinals of Boldface pointclasses. J. Math. Log. 7 (1) (2007)
Itay Neeman
. J. Math. Log. 7 (1) (2007)
Moti Gitik, Itay Neeman, Dima Sinapova
cofinality nonstationary. Arch. Math. Log. 46 (5-6) (2007)
Itay Neeman
Inner Models and Ultrafilters in L(R). Bull. Symb. Log. 13 (1) (2007)
Itay Neeman, John R. Steel
Counterexamples to the unique and cofinal branches hypotheses. J. Symb. Log. 71 (3) (2006)
Itay Neeman
Determinacy for games ending at the first admissible relative to the play. J. Symb. Log. 71 (2) (2006)
Itay Neeman
The Mitchell order below rank-to-rank. J. Symb. Log. 69 (4) (2004)
Donald A. Martin, Itay Neeman, Marco Vervoort
The strength of Blackwell determinacy. J. Symb. Log. 68 (2) (2003)
Itay Neeman
Optimal Proofs of Determinacy II. J. Math. Log. 2 (2) (2002)
Itay Neeman
Inner models in the region of a Woodin limit of Woodin cardinals. Ann. Pure Appl. Log. 116 (1-3) (2002)
Itay Neeman, Jindrich Zapletal
Proper Forcing and L(Real). J. Symb. Log. 66 (2) (2001)
Itay Neeman
. Ann. Pure Appl. Log. 106 (1-3) (2000)
Itay Neeman, John R. Steel
A Weak Dodd-Jensen Lemma. J. Symb. Log. 64 (3) (1999)
Itay Neeman
Optimal proofs of determinacy. Bull. Symb. Log. 1 (3) (1995)