Related papers: A Model Existence Theorem for Infinitary Formulas …
This paper makes a formal study of asymptotically hyperbolic Einstein metrics given, as conformal infinity, a conformal manifold with boundary. The space on which such an Einstein metric exists thus has a finite boundary in addition to the…
We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the null ideal of the…
By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…
A generic method for combinatorial constructions of intrinsic geometrical spaces is presented. It is based on the well known inverse sequences of finite graphs that determine (in the limit) topological spaces. If a pattern of the…
We introduce the notion of limiting theories, giving examples and providing a sufficient condition under which the first order theory of a structure is the limit of the first order theories of a collection of substructures. We also give a…
We are considering typed hierarchies of total, continuous functionals using complete, separable metric spaces at the base types. We pay special attention to the so called Urysohn space constructed by P. Urysohn. One of the properties of the…
The paper is devoted to modal properties of the ternary strict betweenness relation as used in the development of various systems of geometry. We show that such a relation is non-definable in a basic similarity type with a binary operator…
We prove an existence and uniqueness theorem for fixed points of contraction maps in the framework of quantum metric spaces, where distinguishability is defined by the $L^2$ norm: $d_Q(\psi_1,\psi_2) = \|\psi_1 - \psi_2\|$. The result…
An important, if relatively less well known aspect of the singularity theorems in Lorentzian Geometry is to understand how their conclusions fare upon weakening or suppression of one or more of their hypotheses. Then, theorems with modified…
Given any two Einstein (pseudo-)metrics, with scalar curvatures suitably related, we give an explicit construction of a Poincar\'e-Einstein (pseudo-)metric with conformal infinity the conformal class of the product of the initial metrics.…
In this paper, we study the coupled Einstein constraint equations on complete manifolds through the conformal method, focusing on non-compact manifolds with flexible asymptotics. This is physically well-motivated by standard cosmological…
Hypersurfaces embedded in conformal manifolds appear frequently as boundary data in boundary-value problems in cosmology and string theory. Viewed as the non-null conformal infinity of a spacetime, we consider hypersurfaces embedded in a…
This paper unifies problems and results related to (embedding) universal and homomorphism universal structures. On the one side we give a new combinatorial proof of the existence of universal objects for homomorphism defined classes of…
A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a…
Gleason's theorem [A. Gleason, J. Math. Mech., \textbf{6}, 885 (1957)] is an important result in the foundations of quantum mechanics, where it justifies the Born rule as a mathematical consequence of the quantum formalism. Formally, it…
In this work, we present a proof of the existence of real and ordered solutions to the generalized Bethe Ansatz equations for the one dimensional Hubbard model on a finite lattice, with periodic boundary conditions. The existence of a…
Some known fixed point theorems for nonexpansive mappings in metric spaces are extended here to the case of primitive uniform spaces. The reasoning presented in the proofs seems to be a natural way to obtain other general results.
Counterfactual reasoning is a foundational topic in both philosophical and logical studies \cite{Stalnaker1968-STAATO-5, Lewis1973-LEWC-2}. A pivotal component of counterfactual analysis is the concept of similarity between possible worlds…
We present an existence theorem for a large class of nonlinearly elastic shells with low regularity in the framework of a two-dimensional theory involving the mean and Gaussian curvatures. We restrict our discussion to hyperelastic…
We prove the existence and uniqueness of geometric models of local isometry classes of locally homogeneous spaces with sectional curvature $|\operatorname{sec}|\leq 1$. Moreover, we show that the set of geometric models is compact in the…