Itay Neeman - RankMe

37 papers A 1Journal 35Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Indestructible Suslin trees. Ann. Pure Appl. Log. Itay Neeman
2026	J	`jnl`	UNREACHABILITY OF INDUCTIVE-LIKE POINTCLASSES IN $L(\mathbb {R})$. J. Symb. Log. Derek Levinson, Itay Neeman, Grigor Sargsyan
2022	J	`jnl`	Abraham-Rubin-Shelah open colorings and a large continuum. J. Math. Log. Thomas Gilton, Itay Neeman
2021	J	`jnl`	On the relationship between mutual and tight stationarity. Ann. Pure Appl. Log. William Chen-Mertens, Itay Neeman
2021	J	`jnl`	The Tree Property at the two Immediate Successors of a singular cardinal. J. Symb. Log. James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman, Dima Sinapova, Spencer Unger
2020	J	`jnl`	Chang's Conjecture with $\square _{\omega _1, 2}$ from an ømega Arch. Math. Log. Itay Neeman, John Susice
2018	J	`jnl`	Happy and MAD families in l(ℝ). J. Symb. Log. Itay Neeman, Zach Norwood
2017	J	`jnl`	Two applications of finite side conditions at $$\omega _2$$ ω 2. Arch. Math. Log. Itay Neeman
2016	J	`jnl`	Equiconsistencies at subcompact cardinals. Arch. Math. Log. Itay Neeman, John R. Steel
2015	J	`jnl`	Square principles with tail-end agreement. Arch. Math. Log. William Chen, Itay Neeman
2014	J	`jnl`	Forcing with Sequences of Models of Two Types. Notre Dame J. Formal Log. Itay Neeman
2014	J	`jnl`	The Tree Property up to א J. Symb. Log. Itay Neeman
2011	J	`jnl`	Logic of infons: The propositional case. ACM Trans. Comput. Log. Yuri Gurevich, Itay Neeman
2011	J	`jnl`	Necessary use of Σ¹₁ induction in a reversal. J. Symb. Log. Itay Neeman
2010	J	`jnl`	A criterion for coarse iterability. Arch. Math. Log. Gunter Fuchs, Itay Neeman, Ralf Schindler
2010	—	`conf`	Evidential Authorization. The Future of Software Engineering Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman
2009	J	`jnl`	Aronszajn Trees and Failure of the singular cardinal Hypothesis. J. Math. Log. Itay Neeman
2009	J	`jnl`	Teh Logic of Infons. Bull. EATCS Yuri Gurevich, Itay Neeman
2008	A	`conf`	DKAL: Distributed-Knowledge Authorization Language. CSF Yuri Gurevich, Itay Neeman
2008	J	`jnl`	Finite state automata and monadic definability of singular cardinals. J. Symb. Log. Itay Neeman
2008	J	`jnl`	Hierarchies of forcing axioms I. J. Symb. Log. Itay Neeman, Ernest Schimmerling
2008	J	`jnl`	Hierarchies of forcing axioms II. J. Symb. Log. Itay Neeman
2008	J	`jnl`	The strength of Jullien's indecomposability Theorem. J. Math. Log. Itay Neeman
2007	J	`jnl`	A cardinal preserving extension making the set of points of countable Arch. Math. Log. Moti Gitik, Itay Neeman, Dima Sinapova
2007	J	`jnl`	Effective Cardinals of Boldface pointclasses. J. Math. Log. Alessandro Andretta, Greg Hjorth, Itay Neeman
2007	J	`jnl`	Games of Length ω J. Math. Log. Itay Neeman
2007	J	`jnl`	Inner Models and Ultrafilters in L(R). Bull. Symb. Log. Itay Neeman
2006	J	`jnl`	Counterexamples to the unique and cofinal branches hypotheses. J. Symb. Log. Itay Neeman, John R. Steel
2006	J	`jnl`	Determinacy for games ending at the first admissible relative to the play. J. Symb. Log. Itay Neeman
2004	J	`jnl`	The Mitchell order below rank-to-rank. J. Symb. Log. Itay Neeman
2003	J	`jnl`	The strength of Blackwell determinacy. J. Symb. Log. Donald A. Martin, Itay Neeman, Marco Vervoort
2002	J	`jnl`	Inner models in the region of a Woodin limit of Woodin cardinals. Ann. Pure Appl. Log. Itay Neeman
2002	J	`jnl`	Optimal Proofs of Determinacy II. J. Math. Log. Itay Neeman
2001	J	`jnl`	Proper Forcing and L(Real). J. Symb. Log. Itay Neeman, Jindrich Zapletal
2000	J	`jnl`	Unraveling Pi Ann. Pure Appl. Log. Itay Neeman
1999	J	`jnl`	A Weak Dodd-Jensen Lemma. J. Symb. Log. Itay Neeman, John R. Steel
1995	J	`jnl`	Optimal proofs of determinacy. Bull. Symb. Log. Itay Neeman