3 papers
math.LO2010
Hereditary Zero-One Laws for Graphs
Mor Doron, Saharon Shelah
We consider the random graph M^n_{\bar{p}} on the set [n], were the probability of {x,y} being an edge is p_{|x-y|}, and \bar{p}=(p_1,p_2,p_3,...) is a series of probabilities. We…
math.LO2006
Bounded m-ary Patch-Width Are Equivalent For m > 2
Saharon Shelah, Mor Doron
We consider the notion of bounded m-ary patch-width and its very close relative m-constructible. We show that the notions of m-constructibility all coincide for m>2, while 1-constr…
math.LO2004
A dichotomy in classifying quantifiers for finite models
Mor Doron, Saharon Shelah
We consider a family U of finite universes. The second order quantifier Q_R, means for each u in U quantifying over a set of n(R)-place relations isomorphic to a given relation. We…