Faculty

Institution

Unit

Venue

Itay Neeman

Professor

University of California, Los Angeles

Affiliations

the College

Mathematics

Itay Neeman is currently serving as a Mathematics Professor at University of California, Los Angeles.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Itay Neeman

University of California, Los Angeles

Professor

You can click a keyword to filter the displayed items

mathematics mathematical logic applied mathematics linguistics logic in computer science computer science set theory computer security formal methods game theory semantics theory of computation information science communication security logical formalism proof theory philosophy of logic applied logic analytic number theory inner models singular cardinals aronszajn trees tree property knowledge management data privacy data security automated reasoning automated deduction boundary value problems spectral theory distributed artificial intelligence type theory model theory computational model theory computational logic genetic determinants theoretical analysis logical access control information assurance happiness information theory inductive logic inductive inference inductive reasoning abstract analysis formal mathematical reasoning classical logic history of logic dynamic epistemic logic symbolic computation algebraic logic extended theory order theory higher category theory algebraic analysis applied algebra mutualistic interactions distributed-knowledge authorization language woodin cardinals woodin limit singular cardinal hypothesis long games optimal proofs determinacy ii domestic levels blackwell determinacy weak dodd-jensen lemma subcompact cardinals effective cardinals foundation of mathematics foundational theory large cardinals philosophy

Notable Scholarly Works

Notable Federal Grants

Collaborators

Abraham–Rubin–Shelah Open Colorings and a Large Continuum. Journal of Mathematical Logic (2021)

Thomas GiltonItay Neeman

abraham-rubin-shelah open coloringstopologyapplied mathematicslarge continuummathematical logicmathematics

On the Relationship Between Mutual and Tight Stationarity. Annals of Pure and Applied Logic (2021)

William Chen-MertensItay Neeman

correlationmutualistic interactionsinterpersonal relationshipsmutualism (biology)intimate relationshipsapplied logicapplied mathematicsinter-firm coordination

Chang’s Conjecture With $$\Square _{\Omega _1, 2}$$ From an $$\Omega _1$$-ErdőS Cardinal. Archive for Mathematical Logic (2020)

Itay NeemanJohn Susice

graph theorymathematical logicmathematicsmathematical analysis

The Ineffable Tree Property and Failure of the Singular Cardinals Hypothesis. Transactions of the American Mathematical Society (2020)

James CummingsYair HayutMenachem MagidorItay NeemanDima SinapovaSpencer Unger

number theorymathematicsineffable tree propertysingular cardinals hypothesis

The Tree Property at the Two Immediate Successors of a Singular Cardinal. Journal of Symbolic Logic (2020)

JAMES CUMMINGSYAIR HAYUTMENACHEM MAGIDORITAY NEEMANDIMA SINAPOVASPENCER UNGER

immediate successorsgraph theorytree propertylinguisticssingular cardinal

On the Powersets of Singular Cardinals in Hod. Proceedings of the American Mathematical Society (2019)

Omer Ben-NeriaMoti GitikItay NeemanSpencer Unger

mathematical analysisanalytic number theorynumber theorysingular cardinalsmathematics

Happy and Mad Families in L (ℝ). Journal of Symbolic Logic (2018)

ITAY NEEMANZACH NORWOOD

semanticsphilosophyhappinessculture

Two Applications of Finite Side Conditions at $$\Omega _2$$ ω 2. Archive for Mathematical Logic (2017)

Itay Neeman

mathematical analysistheory of computationboundary value problemsfinite side conditionsset theoryalgebraic logicproof theoryapplied mathematicsmathematical logicmathematicspure mathematics

Equiconsistencies at Subcompact Cardinals. Archive for Mathematical Logic (2015)

Itay NeemanJohn Steel

subcompact cardinalsmathematical logiclinguisticsmathematics

Square Principles With Tail-End Agreement. Archive for Mathematical Logic (2015)

William ChenItay Neeman

square principlestail-end agreementapplied mathematicsmathematical logicmathematics

1
2
3
4
5
10 / page

Itay Neeman

Professor

University of California, Los Angeles

Affiliations

the College

Mathematics

Itay Neeman is currently serving as a Mathematics Professor at University of California, Los Angeles.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Itay Neeman

University of California, Los Angeles

Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Abraham–Rubin–Shelah Open Colorings and a Large Continuum. Journal of Mathematical Logic (2021)

Thomas GiltonItay Neeman

abraham-rubin-shelah open coloringstopologyapplied mathematicslarge continuummathematical logicmathematics

On the Relationship Between Mutual and Tight Stationarity. Annals of Pure and Applied Logic (2021)

William Chen-MertensItay Neeman

correlationmutualistic interactionsinterpersonal relationshipsmutualism (biology)intimate relationshipsapplied logicapplied mathematicsinter-firm coordination

Chang’s Conjecture With $$\Square _{\Omega _1, 2}$$ From an $$\Omega _1$$-ErdőS Cardinal. Archive for Mathematical Logic (2020)

Itay NeemanJohn Susice

graph theorymathematical logicmathematicsmathematical analysis

The Ineffable Tree Property and Failure of the Singular Cardinals Hypothesis. Transactions of the American Mathematical Society (2020)

James CummingsYair HayutMenachem MagidorItay NeemanDima SinapovaSpencer Unger

number theorymathematicsineffable tree propertysingular cardinals hypothesis

The Tree Property at the Two Immediate Successors of a Singular Cardinal. Journal of Symbolic Logic (2020)

JAMES CUMMINGSYAIR HAYUTMENACHEM MAGIDORITAY NEEMANDIMA SINAPOVASPENCER UNGER

immediate successorsgraph theorytree propertylinguisticssingular cardinal

On the Powersets of Singular Cardinals in Hod. Proceedings of the American Mathematical Society (2019)

Omer Ben-NeriaMoti GitikItay NeemanSpencer Unger

mathematical analysisanalytic number theorynumber theorysingular cardinalsmathematics

Happy and Mad Families in L (ℝ). Journal of Symbolic Logic (2018)

ITAY NEEMANZACH NORWOOD

semanticsphilosophyhappinessculture

Two Applications of Finite Side Conditions at $$\Omega _2$$ ω 2. Archive for Mathematical Logic (2017)

Itay Neeman

mathematical analysistheory of computationboundary value problemsfinite side conditionsset theoryalgebraic logicproof theoryapplied mathematicsmathematical logicmathematicspure mathematics

Equiconsistencies at Subcompact Cardinals. Archive for Mathematical Logic (2015)

Itay NeemanJohn Steel

subcompact cardinalsmathematical logiclinguisticsmathematics

Square Principles With Tail-End Agreement. Archive for Mathematical Logic (2015)

William ChenItay Neeman

square principlestail-end agreementapplied mathematicsmathematical logicmathematics

1
2
3
4
5
10 / page

Similar Faculty Members

Thomas Scanlon

Institution

University of California, Berkeley

mathematics

applied mathematics

W. Hugh Woodin

Institution

University of California, Berkeley

set theory

inner models

Dana Scott

Institution

University of California, Berkeley

set theory

logic in computer science

Artem Chernikov

Institution

University of California, Los Angeles

mathematics

mathematical logic

Gabriel Goldberg

Institution

University of California, Berkeley

set theory

logic in computer science

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

Valentina S. Harizanov

Institution

George Washington University

computable model theory

mathematical logic

Thomas Jech

Institution

Pennsylvania State University

mathematics

mathematics education

John R. Steel

Institution

University of California, Berkeley

foundation of mathematics

set theory

Stephen Jackson

Institution

University of North Texas

philosophy

general system

Similar Faculty Members

Thomas Scanlon

Institution

University of California, Berkeley

mathematics

applied mathematics

W. Hugh Woodin

Institution

University of California, Berkeley

set theory

inner models

Dana Scott

Institution

University of California, Berkeley

set theory

logic in computer science

Artem Chernikov

Institution

University of California, Los Angeles

mathematics

mathematical logic

Gabriel Goldberg

Institution

University of California, Berkeley

set theory

logic in computer science

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

Valentina S. Harizanov

Institution

George Washington University

computable model theory

mathematical logic

Thomas Jech

Institution

Pennsylvania State University

mathematics

mathematics education

John R. Steel

Institution

University of California, Berkeley

foundation of mathematics

set theory

Stephen Jackson

Institution

University of North Texas

philosophy

general system