Chapter 10 Complexity theoretic model theory and algebra

In this paper and the companion paper [9] we describe a number of contrasts between the theory of linear orderings and the theory of two-dimensional partial orderings.The notion of dimensionality for partial orderings was introduced by Dushnik and Miller [3], who defined a partial ordering 〈A, R〉 to be n-dimensional if there are n linear orderings of A, 〈A, L1〉, 〈A, L2〉 …, 〈A, Ln〉 such that R = L1 ∩ L2 ∩ … ∩ Ln. Thus, for example, if Q is the linear ordering of the rationals, then the (rational) plane Q × Q with the product ordering (〈x1, y1〉 ≤Q×Q 〈x2, y2, if and only if x1 ≤ x2 and y1 ≤ y2) is 2-dimensional, since ≤Q×Q is the intersection of the two lexicographic orderings of Q × Q. In fact, as shown by Dushnik and Miller, a countable partial ordering is n-dimensional if and only if it can be embedded as a subordering of Qn.Two-dimensional partial orderings have attracted the attention of a number of combinatorialists in recent years. A basis result recently obtained, independently, by Kelly [7] and Trotter and Moore [10], describes explicitly a collection of finite partial orderings such that a partial ordering is a 2dpo if and only if it contains no element of as a subordering.

Extendability of ZF Models in the von Neuman Hierarchy to Models of KM theory of classes

Recursion Theory as a Branch of Model Theory

We employ an infinite-signature Hrushovski amalgamation construction to yield two results in Recursive Model Theory. The first result, that there exists a strongly minimal theory whose only recursively presentable models are the prime and saturated models, adds a new spectrum to the list of known possible spectra. The second result, that there exists a strongly minimal theory in a finite language whose only recursively presentable model is saturated, gives the second non-trivial example of a spectrum produced in a finite language.

The purpose of this paper is to compute the filtering equations when the state process, given as the solution of a stochastic differential equation on an infinite dimensional Hilbert space, is observed through a counting observation.

Finite dimensional approximation and Newton-based algorithm for stochastic approximation in Hilbert space

The purpose of this paper is to compute the risk-sensitive filtering equations when the state process, given as the solution of a stochastic differential equation on an infinite dimensional Hilbert space, is observed through a counting observation.

We study classes of mappings between finite and infinite dimensional Banach spaces that are monotone and mappings which are differences of monotone mappings (DM). We prove a Radó–Reichelderfer estimate for monotone mappings in finite dimensional spaces that remains valid for DM mappings. This provides an alternative proof of the Fréchet differentiability a.e. of DM mappings. We establish a Morrey-type estimate for the distributional derivative of monotone mappings. We prove that a locally DM mapping between finite dimensional spaces is also globally DM. We introduce and study a new class of the so-called UDM mappings between Banach spaces, which generalizes the concept of curves of finite variation.

This paper consists of two main results. In the first one we describe all Kaehler immersions of a bounded symmetric domain into the infinite dimensional complex projective space in terms of the Wallach set of the domain. In the second one we exhibit an example of complete and non-homogeneous Kaehler-Einstein metric with negative scalar curvature which admits a Kaehler immersion into the infinite dimensional complex projective space.

: The parameter in a Bayesian nonparametric problem is the unknown distribution P of the observation X. A Bayesian uses a prior distribution for P, and after observing X, solves the statistical inference problem by using the posterior distribution of P, which is the conditional distribution of P given X. For Bayesian nonparametrics to be successful one needs a large class of priors for which posterior distributions can be easily calculated. Unless X takes values in a finite space, the unknown distribution P varies in an infinite dimensional space. Thus one has to talk about measures in a complicated space like the space of all probability measures on a large space. This has always required a more careful attention to the attendant measure theoretic problems. A class of priors known as Dirichlet measures have been used for the distribution of a random variable X when it takes values in R sub K.

Homotopy type theory is a version of Martin-Lof type theory taking advantage of its homotopical models. In particular, we can use and construct objects of homotopy theory and reason about them using higher inductive types. In this article, we construct the real projective spaces, key players in homotopy theory, as certain higher inductive types in homotopy type theory. The classical definition of RPn, as the quotient space identifying antipodal points of the n-sphere, does not translate directly to homotopy type theory. Instead, we define RPn by induction on n simultaneously with its tautological bundle of 2-element sets. As the base case, we take RP-1 to be the empty type. In the inductive step, we take RPn+1 to be the mapping cone of the projection map of the tautological bundle of RPn, and we use its universal property and the univalence axiom to define the tautological bundle on RPn+1.By showing that the total space of the tautological bundle of RPn is the n-sphere Sn, we retrieve the classical description of RPn+1 as RPn with an (n + 1)-disk attached to it. The infinite dimensional real projective space RP∞, defined as the sequential colimit of RPn with the canonical inclusion maps, is equivalent to the Eilenberg-MacLane space K(Z/2Z, 1), which here arises as the subtype of the universe consisting of 2-element types. Indeed, the infinite dimensional projective space classifies the 0-sphere bundles, which one can think of as synthetic line bundles.These constructions in homotopy type theory further illustrate the utility of homotopy type theory, including the interplay of type theoretic and homotopy theoretic ideas.

SOME RESULTS RELATED TO THE SEPARABLE QUOTIENT PROBLEM

Internal points were introduced in the literature of topological vector spaces to characterize the finest locally convex vector topology. Later on, they have been generalized to the context of real vector spaces by means of the inner points. Inner points can be seen as the most opposite concept to the extreme points. In this manuscript we solve the “faceless problem”, that is, the informally posed open problem of characterizing those convex sets free of proper faces. Indeed, we prove that a non-singleton convex subset of a real vector space is free of proper faces if and only if every point of the convex set is an inner point. As a consequence, we prove the following dichotomy theorem: a point of a convex set of a real vector space is either a extreme point or an inner point of some face. We also characterize the non-singleton closed convex subsets of a topological vector space free of proper faces, which turn out to be the linear manifolds. An application of this allows us to show that the only possible minimal faces of a linearly bounded closed convex subset of a topological vector space are the extreme points. As an application of the technique we develop to prove our results, we easily construct dense proper faces of convex sets and non-dense proper faces whose closure is not a face. This fact allows us to equivalently renorm any infinite dimensional Banach space so that its unit ball contains a non-closed face. Even more, we prove that every infinite dimensional Banach space containing an isomorphic copy of $$c_0$$ or $$\ell _p$$ , $$1<p<\infty $$ , can be equivalently renormed so that its unit ball contains a face whose closure is not a face.

In this paper we introduce certain basic notions concerning infinite dimensional complex manifolds, and prove that the Dolbeault cohomology groups of infinite dimensional projective spaces, with values in finite rank vector bundles, vanish. Some applications of such vanishing theorems are discussed; e.g., we classify vector bundles of finite rank over infinite dimensional projective spaces. Finally, we prove a sharp theorem on solving the inhomogeneous Cauchy–Riemann equations on affine spaces.

This paper shows if $X$ is an infinite dimensional Banach space, $X$ contains a linearly independent arc. Also based on the continuum hypothesis, that if $X$ is an infinite dimensional Banach space and card $X = c$, then $X$ contains a dense arcwise connected Hamel basis.