Itay Neeman

According to our database, Itay Neeman authored at least 35 papers between 1995 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2022

Abraham-Rubin-Shelah open colorings and a large continuum.

Thomas Gilton, Itay Neeman

J. Math. Log., 2022

2021

The Tree Property at the two Immediate Successors of a singular cardinal.

James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman, Dima Sinapova, Spencer Unger

J. Symb. Log., 2021

On the relationship between mutual and tight stationarity.

William Chen-Mertens, Itay Neeman

Ann. Pure Appl. Log., 2021

2020

Chang's Conjecture with $\square _{\omega _1, 2}$ from an ømega ₁-Erdős cardinal.

Itay Neeman, John Susice

Arch. Math. Log., 2020

2018

Happy and MAD families in l(ℝ).

Itay Neeman, Zach Norwood

J. Symb. Log., 2018

2017

Two applications of finite side conditions at $$\omega _2$$ ω 2.

Itay Neeman

Arch. Math. Log., 2017

2016

Equiconsistencies at subcompact cardinals.

Itay Neeman, John R. Steel

Arch. Math. Log., 2016

2015

Square principles with tail-end agreement.

William Chen, Itay Neeman

Arch. Math. Log., 2015

2014

Forcing with Sequences of Models of Two Types.

Itay Neeman

Notre Dame J. Formal Log., 2014

The Tree Property up to א_<i>ω</i>+1.

Itay Neeman

J. Symb. Log., 2014

2011

Logic of infons: The propositional case.

Yuri Gurevich, Itay Neeman

ACM Trans. Comput. Log., 2011

Necessary use of Σ¹₁ induction in a reversal.

Itay Neeman

J. Symb. Log., 2011

2010

A criterion for coarse iterability.

Gunter Fuchs, Itay Neeman, Ralf Schindler

Arch. Math. Log., 2010

Evidential Authorization.

Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman

Proceedings of the Future of Software Engineering., 2010

2009

Aronszajn Trees and Failure of the singular cardinal Hypothesis.

Itay Neeman

J. Math. Log., 2009

Teh Logic of Infons.

Yuri Gurevich, Itay Neeman

Bull. EATCS, 2009

2008

Hierarchies of forcing axioms I.

Itay Neeman, Ernest Schimmerling

J. Symb. Log., 2008

Hierarchies of forcing axioms II.

Itay Neeman

J. Symb. Log., 2008

Finite state automata and monadic definability of singular cardinals.

Itay Neeman

J. Symb. Log., 2008

The strength of Jullien's indecomposability Theorem.

Itay Neeman

J. Math. Log., 2008

DKAL: Distributed-Knowledge Authorization Language.

Yuri Gurevich, Itay Neeman

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

2007

Games of Length ω₁.

Itay Neeman

J. Math. Log., 2007

Effective Cardinals of Boldface pointclasses.

Alessandro Andretta, Greg Hjorth, Itay Neeman

J. Math. Log., 2007

Inner Models and Ultrafilters in L(R).

Itay Neeman

Bull. Symb. Log., 2007

A cardinal preserving extension making the set of points of countable <i>V</i> cofinality nonstationary.

Moti Gitik, Itay Neeman, Dima Sinapova

Arch. Math. Log., 2007

2006

Counterexamples to the unique and cofinal branches hypotheses.

Itay Neeman, John R. Steel

J. Symb. Log., 2006

Determinacy for games ending at the first admissible relative to the play.

Itay Neeman

J. Symb. Log., 2006

2004

The Mitchell order below rank-to-rank.

Itay Neeman

J. Symb. Log., 2004

2003

The strength of Blackwell determinacy.

Donald A. Martin, Itay Neeman, Marco Vervoort

J. Symb. Log., 2003

2002

Optimal Proofs of Determinacy II.

Itay Neeman

J. Math. Log., 2002

Inner models in the region of a Woodin limit of Woodin cardinals.

Itay Neeman

Ann. Pure Appl. Log., 2002

2001

Proper Forcing and L(Real).

Itay Neeman, Jindrich Zapletal

J. Symb. Log., 2001

2000

Unraveling Pi¹₁.

Itay Neeman

Ann. Pure Appl. Log., 2000

1999

A Weak Dodd-Jensen Lemma.

Itay Neeman, John R. Steel

J. Symb. Log., 1999

1995

Optimal proofs of determinacy.

Itay Neeman

Bull. Symb. Log., 1995