Related papers: Combining Combination Properties: Minimal Models
Using approximations, we give several characterizations of separability of bimodules. We also discuss how separability properties can be used to transfer some representation theoretic properties from one ring to another one: contravariant…
A previous work found that a nonminimally coupled theory of gravity can, under appropriate conditions, give rise to an additional contribution to the field equations interpreted as dark matter [1]: in particular, the density of this dark…
A number of general trends are known to occur in systems displaying secondary processes in glasses and glass formers. Universal features can be identified as components of large and small cooperativeness whose competition leads to excess…
We study compactness properties of the set of conformally flat singular metrics with constant, positive sixth order Q-curvature on a finitely punctured sphere. Based on a recent classification of the local asymptotic behavior near isolated…
We generalize a recently investigated lattice model of semiflexible polymers formed under equilibrium polymerization in a solution and conduct a comprehensive investigation of its melting properties. The model is characterized by six…
We define a notion of model for the $\lambda$$\Pi$-calculus modulo theory and prove a soundness theorem. We then define a notion of super-consistency and prove that proof reduction terminates in the $\lambda$$\Pi$-calculus modulo any…
In this article, we study the combinatorics of congruence subgroups of the modular group. More precisely, we consider the notion of minimal monomial solutions. These are the solutions of a matrix equation (also appearing in the study of…
We discuss two general aspects of the theory of cardinal characteristics of the continuum, especially of proofs of inequalities between such characteristics. The first aspect is to express the essential content of these proofs in a way that…
The study of rational conformal field theories in the moduli space is of particular interest since these theories correspond to points in moduli space where the algebraic and arithmetic structure are usually richer, while also being points…
We prove two completeness results for Kleene algebra with tests and a top element, with respect to guarded string languages and binary relations. While the equational theories of those two classes of models coincide over the signature of…
We introduce various probablistic finiteness conditions for profinite groups related to positive finite generation (PFG). We investigate completed group rings which are PFG as modules, and use this to answer a question of Kionke and the…
We investigate a number of simple toy models to explore interesting relationships between dynamics and typicality. We start with an infinite model that has been proposed as an illustration of how non-ergodic dynamics can produce interesting…
A key idea in convex optimization theory is to use well-structured affine functions to approximate general functions, leading to impactful developments in conjugate functions and convex duality theory. This raises the question: what are the…
The starting assumptions to study the convergence and complexity of gradient-type methods may be the smoothness (also called Lipschitz continuity of gradient) and the strong convexity. In this note, we revisit these two basic properties…
Several experimental results could be interpreted as evidence that certain neutrino mixing angles are large, of order unity. However, in the context of grand unified models the neutrino angles come out characteristically to be small, like…
We study optimization problems in which a linear functional is maximized over probability measures that are dominated by a given measure according to an integral stochastic order in an arbitrary dimension. We show that the following four…
This is the second in a series of articles developing abstract classification theory for classes that have a notion of prime models over independent pairs and over chains. It deals with the problem of smoothness and establishing the…
We introduce a new covering property, defined in terms of order types of sequences of open sets, rather than in terms of cardinalities of families. The most general form of this compactness notion depends on two ordinal parameters. In the…
We apply the recently developed technology of cofinality spectrum problems to prove a range of theorems in model theory. First, we prove that any model of Peano arithmetic is $\lambda$-saturated iff it has cofinality $\geq \lambda$ and the…
In this paper (propositional) probability logic ($PL$) is investigated from model theoretic point of view. First of all, the ultraproduct construction is adapted for $\sigma$-additive probability models, and subsequently when this class of…