” topology types. In this paper, (1) we survey pure topology types along with existing sampling algorithms that generate them, (2) we introduce novel algorithms that enhance the diversity of samples, and address the case of cellular topologies, (3) we perform statistical studies of the stability

smooth projective surfaces is a composite of blow-ups and blow-downs. Theorem 2. There are 3 species of “pure-bred ” surfaces: (Rational): For these surfaces the internal birational geometry is very complicated, but, up to birational equivalence, we have only P 2. These frequently appear in the classical

” topology types. In this paper, (1) we survey pure topology types along with existing sampling algorithms that generate them, (2) we introduce novel algorithms that enhance the diversity of samples, and address the case of cellular topologies, (3) we perform statistical studies of the stability

surveys the topological complications implied by non-mean-field-type social network structures in general. The next three sections discuss in detail the dynamic behavior of three prominent classes of models: the Prisoner’s Dilemma, the Rock–Scissors–Paper game, and Competing Associations. The major theme

In their seminal paper, Mertens and Zamir (1985) proved the existence of a universal Harsanyi type space which consists of all possible types. Their method of proof depends crucially on topological assumptions. Whether such assumptions are essential to the existence of a universal space remained

Combinatory Reduction Systems, or CRSs for short, were designed to combine the usual first-order format of term rewriting with the presence of bound variables as in pure λ-calculus and various typed -calculi. Bound variables are also present in many other rewrite systems, such as systems

concepts. This captures many basic properties of compact and closed subspaces, despite the absence of any explicitly infinitary axiom. It offers dual results that link general topology to recursion theory. The extensions and applications of ASD elsewhere that this paper survey include a purely recursive

Abstract The concept of types was introduced by Harsányi [8]. In the literature there are two approaches for formalizing types, type spaces: the purely measurable and the topological models. In the former framework Heifetz and Samet

with enhanced probability. Further we observed such nontrivial correlation functions in the deconfinement phase. We continue our visualization project to analyze several specific gauge-field configurations. There are two different types of topological objects which seem to be important candidates

We give a purely topological definition of the perturbative quantum invariants of links and 3-manifolds associated with Chern-Simons field theory. Our definition is as close as possible to one given by Kontsevich. We will also establish some basic properties of these invariants, in particular