Concepedia

Itay Neeman

IN

Statistics

Publications

26

Citations

755

H-Index

17

Active since

1995

Affiliations

University of California, Los Angeles(Current)

Harvard University

University of California, Berkeley

University of California System

Microsoft (United States)

Itay Neeman is an author at University of California, Los Angeles specializing in natural sciences, mathematics, and set theory.

Publications per year

1995–2018

26

Publications

26

DKAL: Distributed-Knowledge Authorization Language

Yuri Gurevich, Itay Neeman · 2008 · 118 citations

, , +15

Optimal Proofs of Determinacy

Itay Neeman · Bulletin of Symbolic Logic · 1995 · 74 citations

, , +10

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

Itay Neeman · Annals of Pure and Applied Logic · 2002 · 62 citations

, , +5

Forcing with Sequences of Models of Two Types

Itay Neeman · Notre Dame Journal of Formal Logic · 2014 · 42 citations · Full text

, , +9

OPTIMAL PROOFS OF DETERMINACY II

Itay Neeman · Journal of Mathematical Logic · 2002 · 36 citations

, , +5

1–5 of 26