Itay Neeman

List of publications from the DBLP Bibliography Server - FAQ

2008

8 EE Yuri Gurevich, Itay Neeman: DKAL: Distributed-Knowledge Authorization Language. CSF 2008: 149-162

2007

7 EE Moti Gitik, Itay Neeman, Dima Sinapova: A cardinal preserving extension making the set of points of countable V cofinality nonstationary. Arch. Math. Log. 46(5-6): 451-456 (2007)

2003

6 Donald A. Martin, Itay Neeman, Marco Vervoort: The strength of Blackwell determinacy. J. Symb. Log. 68(2): 615-636 (2003)

2002

5 Itay Neeman: Inner models in the region of a Woodin limit of Woodin cardinals. Ann. Pure Appl. Logic 116(1-3): 67-155 (2002)

2001

4 Itay Neeman, Jindrich Zapletal: Proper Forcing and L(Real). J. Symb. Log. 66(2): 801-810 (2001)

2000

3 Itay Neeman: Unraveling Pi¹₁. Ann. Pure Appl. Logic 106(1-3): 151-205 (2000)

1999

2 Itay Neeman, John Steel: A Weak Dodd-Jensen Lemma. J. Symb. Log. 64(3): 1285-1294 (1999)

1995

1 EE Itay Neeman: Optimal proofs of determinacy. Bulletin of Symbolic Logic 1(3): 327-339 (1995)

2008
8	EE	Yuri Gurevich, Itay Neeman: DKAL: Distributed-Knowledge Authorization Language. CSF 2008: 149-162
2007
7	EE	Moti Gitik, Itay Neeman, Dima Sinapova: A cardinal preserving extension making the set of points of countable V cofinality nonstationary. Arch. Math. Log. 46(5-6): 451-456 (2007)
2003
6		Donald A. Martin, Itay Neeman, Marco Vervoort: The strength of Blackwell determinacy. J. Symb. Log. 68(2): 615-636 (2003)
2002
5		Itay Neeman: Inner models in the region of a Woodin limit of Woodin cardinals. Ann. Pure Appl. Logic 116(1-3): 67-155 (2002)
2001
4		Itay Neeman, Jindrich Zapletal: Proper Forcing and L(Real). J. Symb. Log. 66(2): 801-810 (2001)
2000
3		Itay Neeman: Unraveling Pi¹₁. Ann. Pure Appl. Logic 106(1-3): 151-205 (2000)
1999
2		Itay Neeman, John Steel: A Weak Dodd-Jensen Lemma. J. Symb. Log. 64(3): 1285-1294 (1999)
1995
1	EE	Itay Neeman: Optimal proofs of determinacy. Bulletin of Symbolic Logic 1(3): 327-339 (1995)

Coauthor Index