The purpose of the paper is to study the asymptotic geometry of a smooth-grained Boolean model (X[t])t≥0 restricted to a bounded domain as the intensity parameter t goes to ∞. Our approach is based on investigating the asymptotic properties as t → ∞ of the random sets X[t;β], β≥0, defined as the Gibbsian modifications of X[t] with the Hamiltonian given by βtμ(·), where μ is a certain normalized measure on the setting space. We show that our model exhibits a phase transition at a certain critical value of the inverse temperature β and we prove that at higher temperatures the behaviour of X[t;β] is qualitatively very similar to that of X[t] but it becomes essentially different in the low-temperature region. From these facts we derive information about the asymptotic properties of the original process X[t]. The results obtained include large- and moderate-deviation principles. We conclude the paper with an example application of our methods to analyse the asymptotic moderate-deviation properties of convex hulls of large uniform samples on a multidimensional ball. To translate the above problem to the Boolean model setting considered we use an appropriate representation of convex sets in terms of their support functions.

Johnson–Mehl tessellations can be considered as the results of spatial birth–growth processes. It is interesting to know when such a birth–growth process is completed within a bounded region. This paper deals with the limiting distributions of the time of completion for various models of Johnson–Mehl tessellations in ℝd and k-dimensional sectional tessellations, where 1 ≦ k < d, by considering asymptotic coverage probabilities of the corresponding Boolean models. Random fractals as the results of birth–growth processes are also discussed in order to show that a birth–growth process does not necessarily lead to a Johnson–Mehl tessellation.

We establish several first- or second-order properties of models of first-order theories by considering their elements as atoms of a new universe of set theory and by extending naturally any structure of Boolean model on the atoms to the whole universe. For example, complete f-rings are “boundedly algebraically compact” in the language (+, −, ·, ∧, ∨, ≤), and the positive cone of a complete l-group with infinity adjoined is algebraically compact in the language (+, ∨, ≤). We also give an example with any first-order language. The proofs can be translated into “naive set theory” in a uniform way.