1k citations
- Rutgers, The State University of New JerseyUS16 papers
- Tel Aviv UniversityIL11 papers
- Bar-Ilan UniversityIL10 papers
- Centre National de la Recherche ScientifiqueFR10 papers
- University of ChicagoUS10 papers
- Weizmann Institute of ScienceIL10 papers
- Hungarian Academy of SciencesHU9 papers
- University of WashingtonUS8 papers
- California Institute of TechnologyUS7 papers
- Purple Mountain ObservatoryCN6 papers
- Universidad de SalamancaES6 papers
- University of California, BerkeleyUS6 papers
31 papers · 1 filter
Algebraic geometry in First Order Logic
B. Plotkin
In every variety of algebras we can consider its logic and its algebraic geometry. In the previous papers geometry in equational logic, i.e., equational geometry has been studi…
Responsibility and blame: a structural-model approach
Hana Chockler, Joseph Y. Halpern
Causality is typically treated an all-or-nothing concept; either A is a cause of B or it is not. We extend the definition of causality introduced by Halpern and Pearl [2001] to tak…
What Causes a System to Satisfy a Specification?
Hana Chockler, Joseph Y. Halpern, Orna Kupferman
Even when a system is proven to be correct with respect to a specification, there is still a question of how complete the specification is, and whether it really covers all the beh…
Localization with respect to a class of maps II - Equivariant cellularization and its application
Boris Chorny
We present an example of a homotopical localization functor which is not a localization with respect to any set of maps. Our example arises from equivariant homotopy theory. The te…
Localization with respect to a class of maps I - Equivariant localization of diagrams of spaces
Boris Chorny
Homotopical localizations with respect to a set of maps are known to exist in cofibrantly generated model categories (satisfying additional assumptions). In this paper we expand th…
Constructing expander graphs by 2-lifts and discrepancy vs. spectral gap
Yonatan Bilu, Nathan Linial
We present a new explicit construction for expander graphs with nearly optimal spectral gap. The construction is based on a series of 2-lift operations. Let be a graph on v…