We study the asymptotic behaviour of random walks in i.i.d. random environments on ${{\mathbb{Z}}^{d}}$. The environments need not be elliptic, so some steps may not be available to the random walker. We prove a monotonicity result for the velocity (when it exists) for any 2-valued environment, and show that this does not hold for 3-valued environments without additional assumptions. We give a proof of directional transience and the existence of positive speeds under strong but non-trivial conditions on the distribution of the environment. Our results include generalisations (to the non-elliptic setting) of 0-1 laws for directional transience and, in 2-dimensions, the existence of a deterministic limiting velocity.

Each relational structure X has an associated Gaifman graph, which endows X with the properties of a graph. If x is an element of X, let Bn(x) be the ball of radius n around x. Suppose that X is infinite, connected and of bounded degree. A first-order sentence ϕ in the language of X is almost surely true (resp. a.s. false) for finite substructures of X if for every x ∈ X, the fraction of substructures of Bn(x) satisfying ϕ approaches 1 (resp. 0) as n approaches infinity. Suppose further that, for every finite substructure, X has a disjoint isomorphic substructure. Then every ϕ is a.s. true or a.s. false for finite substructures of X. This is one form of the geometric zero-one law. We formulate it also in a form that does not mention the ambient infinite structure. In addition, we investigate various questions related to the geometric zero-one law.

We study the probability theory of countable dense random subsets of (uncountably infinite) Polish spaces. It is shown that if such a set is stationary with respect to a transitive (locally compact) group of symmetries then any event which concerns the random set itself (rather than accidental details of its construction) must have probability zero or one. Indeed the result requires only quasi-stationarity (null-events stay null under the group action). In passing, it is noted that the property of being countable does not correspond to a measurable subset of the space of subsets of an uncountably infinite Polish space.