Search results for "Itay Neeman"

Found 20 publication records. Showing 20 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Itay Neeman	Necessary use of Σ¹₁ induction in a reversal.	J. Symb. Log.	2011	DBLP BibTeX RDF
1	Yuri Gurevich, Itay Neeman	Logic of infons: The propositional case.	ACM Trans. Comput. Log.	2011	DBLP DOI BibTeX RDF
1	Gunter Fuchs, Itay Neeman, Ralf Schindler	A criterion for coarse iterability.	Arch. Math. Log.	2010	DBLP DOI BibTeX RDF
1	Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman	Evidential Authorization.	The Future of Software Engineering	2010	DBLP DOI BibTeX RDF
1	Yuri Gurevich, Itay Neeman	Teh Logic of Infons.	Bulletin of the EATCS	2009	DBLP BibTeX RDF
1	Itay Neeman, Ernest Schimmerling	Hierarchies of forcing axioms I.	J. Symb. Log.	2008	DBLP BibTeX RDF
1	Itay Neeman	Hierarchies of forcing axioms II.	J. Symb. Log.	2008	DBLP BibTeX RDF
1	Itay Neeman	Finite state automata and monadic definability of singular cardinals.	J. Symb. Log.	2008	DBLP BibTeX RDF
1	Yuri Gurevich, Itay Neeman	DKAL: Distributed-Knowledge Authorization Language.	CSF	2008	DBLP DOI BibTeX RDF	Datalog with constraints, existential fixed-point logic, infon, security, access control, authorization, Datalog, information leakage, distributed knowledge
1	Itay Neeman	Inner Models and Ultrafilters in L(R).	Bulletin of Symbolic Logic	2007	DBLP BibTeX RDF
1	Moti Gitik, Itay Neeman, Dima Sinapova	A cardinal preserving extension making the set of points of countable V cofinality nonstationary.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF
1	Itay Neeman	Determinacy for games ending at the first admissible relative to the play.	J. Symb. Log.	2006	DBLP BibTeX RDF
1	Itay Neeman, John R. Steel	Counterexamples to the unique and cofinal branches hypotheses.	J. Symb. Log.	2006	DBLP BibTeX RDF
1	Itay Neeman	The Mitchell order below rank-to-rank.	J. Symb. Log.	2004	DBLP BibTeX RDF
1	Donald A. Martin, Itay Neeman, Marco Vervoort	The strength of Blackwell determinacy.	J. Symb. Log.	2003	DBLP BibTeX RDF
1	Itay Neeman	Inner models in the region of a Woodin limit of Woodin cardinals.	Ann. Pure Appl. Logic	2002	DBLP DOI BibTeX RDF
1	Itay Neeman, Jindrich Zapletal	Proper Forcing and L(Real).	J. Symb. Log.	2001	DBLP BibTeX RDF
1	Itay Neeman	Unraveling Pi11.	Ann. Pure Appl. Logic	2000	DBLP DOI BibTeX RDF
1	Itay Neeman, John R. Steel	A Weak Dodd-Jensen Lemma.	J. Symb. Log.	1999	DBLP BibTeX RDF
1	Itay Neeman	Optimal proofs of determinacy.	Bulletin of Symbolic Logic	1995	DBLP BibTeX RDF

Publications of "Itay Neeman" ( http://dblp.L3S.de/Authors/Itay_Neeman )