Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper the authors study the generalization where countable is replaced by uncountable. They explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. They also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. The authors' results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper the authors study the generalization where countable is replaced by uncountable. They explore properties of generalized Baire and Cantor spaces equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical countable case. They also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. The authors' results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.

The author develops a homology theory for Smale spaces, which include the basics sets for an Axiom A diffeomorphism. It is based on two ingredients. The first is an improved version of Bowen's result that every such system is the image of a shift of finite type under a finite-to-one factor map. The second is Krieger's dimension group invariant for shifts of finite type. He proves a Lefschetz formula which relates the number of periodic points of the system for a given period to trace data from the action of the dynamics on the homology groups. The existence of such a theory was proposed by Bowen in the 1970s.

In this paper the authors extend the notion of a continuous bundle random dynamical system to the setting where the action of R or N is replaced by the action of an infinite countable discrete amenable group. Given such a system, and a monotone sub-additive invariant family of random continuous functions, they introduce the concept of local fiber topological pressure and establish an associated variational principle, relating it to measure-theoretic entropy. They also discuss some variants of this variational principle. The authors introduce both topological and measure-theoretic entropy tuples for continuous bundle random dynamical systems, and apply variational principles to obtain a relationship between these of entropy tuples. Finally, they give applications of these results to general topological dynamical systems, recovering and extending many recent results in local entropy theory.

The authors consider the Hodge Laplacian \Delta on the Heisenberg group H_n, endowed with a left-invariant and U(n)-invariant Riemannian metric. For 0\le k\le 2n+1, let \Delta_k denote the Hodge Laplacian restricted to k-forms. In this paper they address three main, related questions: (1) whether the L^2 and L^p-Hodge decompositions, 1

This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016. The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions. The conference CiE 2016 has six special sessions – two sessions, cryptography and information theory and symbolic dynamics, are organized for the first time in the conference series. In addition to this new developments in areas frequently covered in the CiE conference series were addressed in the following sessions: computable and constructive analysis; computation in biological systems; history and philosophy of computing; weak arithmetic.

The authors study higher form Proca equations on Einstein manifolds with boundary data along conformal infinity. They solve these Laplace-type boundary problems formally, and to all orders, by constructing an operator which projects arbitrary forms to solutions. They also develop a product formula for solving these asymptotic problems in general. The central tools of their approach are (i) the conformal geometry of differential forms and the associated exterior tractor calculus, and (ii) a generalised notion of scale which encodes the connection between the underlying geometry and its boundary. The latter also controls the breaking of conformal invariance in a very strict way by coupling conformally invariant equations to the scale tractor associated with the generalised scale.