activity
19962025
most citedElementary Proof of a Theorem of Jean Ville

9 citations · 15 across the 6 of their papers we have counts for

collaborators

8 papers

math.LO2025

Hanf Locality and Invariant Elementary Definability

Steven Lindell, Henry Towsner, Scott Weinstein

We introduce some notions of invariant elementary definability which extend the notions of first-order order-invariant definability, and, more generally, definability invariant wit…

cs.LG2022

Reconciling Individual Probability Forecasts

Aaron Roth, Alexander Tolbert, Scott Weinstein

Individual probabilities refer to the probabilities of outcomes that are realized only once: the probability that it will rain tomorrow, the probability that Alice will die within…

cs.LO2020

Traversal-invariant characterizations of logarithmic space

Siddharth Bhaskar, Steven Lindell, Scott Weinstein

We give a novel descriptive-complexity theoretic characterization of L and NL computable queries over finite structures using traversal invariance. We summarize this as (N)L = FO +…

cs.LO2014★ 4 cited

Deontic modality based on preference

Daniel Osherson, Scott Weinstein

Deontic modalities are here defined in terms of the preference relation explored in our previous work (Osherson and Weinstein, 2012). Some consequences of the system are discussed.

cs.CC2012★ 1 cited

Notes on random reals

Daniel Osherson, Scott Weinstein

The theory of random real numbers is exceedingly well-developed, and fascinating from many points of view. It is also quite challenging mathematically. The present notes are intend…

cs.LO2012★ 1 cited

Quantified preference logic

Daniel Osherson, Scott Weinstein

The logic of reason-based preference advanced in Osherson and Weinstein (2012) is extended to quantifiers. Basic properties of the new system are discussed.