Related papers: Tameness and Extending Frames
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to an arbitrary set of axioms is hard, even for relatively…
We introduce a new class of possibly infinite dimensional Lie algebras and study their structural properties. Examples of this new class of Lie algebras are finite dimensional simple Lie algebras containing a nonzero split torus, affine and…
In this survey we present the criterion for tameness of strongly simply connected algebras due to Br\"ustle, de la Pe\~na and Skowro\'nski. We recall relevant concepts of representation theory and discuss some applications and connections…
As we typically teach in an introductory mechanics course, choosing a "good" reference frame with convenient axes may present a major simplification to a problem. Additionally, knowing some conserved quantities provides an extremely…
Farkas' lemma is an ubiquitous tool in optimisation, as it provides necessary and sufficient conditions to have $b \in A(P)$, where $P$ is a closed convex cone, $A$ is a (continuous) linear mapping and $b$ is a fixed vector. The standard…
We give a novel formal theoretical framework for unsupervised learning with two distinctive characteristics. First, it does not assume any generative model and based on a worst-case performance metric. Second, it is comparative, namely…
The paper is devoted to frame expansions in Fr\'echet spaces. First we review some results which concern series expansions in general Fr\'echet spaces via Fr\'echet and General Fr\'echet frames. Then we present some new results on series…
This paper concerns frames and equiangular lines over finite fields. We find a necessary and sufficient condition for systems of equiangular lines over finite fields to be equiangular tight frames (ETFs). As is the case over subfields of…
We investigate how the following properties are related to each other: i)-A manifold is "transversally" exponentially stable; ii)-The "transverse" linearization along any solution in the manifold is exponentially stable; iii)-There exists a…
Based on Crapo's theory of one point extensions of combinatorial geometries, we find various classes of geometric lattices that behave very well from the point of view of stability theory. One of them, $(\mathbf{K}^3, \preccurlyeq)$, is…
Assuming the existence of a monster model, tameness and continuity of nonsplitting in an abstract elementary class (AEC), we extend known superstability results: let $\mu>LS({\bf K})$ be a regular stability cardinal and let $\chi$ be the…
In this note, based on a conference talk, we show how a 3 dimensional topological field theory leads to an algebraic gadget roughly equivalent to a quantum group. This is an expository version of some material in hep-th/9212115 (where we…
We prove a new, efficient version of the hypergraph container theorems that is suited for hypergraphs with large uniformities. The main novelty is a refined approach to constructing containers that employs simple ideas from high-dimensional…
We give several versions of local and global inverse mapping theorem for tame non necessarily smooth, mappings. Here tame mapping means a mapping which is subanalytic or, more generally, definable in some o-minimal structure. Our sufficient…
We develop a framework which allows us to prove the essential general quasi-orthogonality for the non-symmetric Johnson-Nedelec finite element/boundary element coupling. General quasi-orthogonality was first proposed in [Axioms of…
Forward and inverse models are used throughout different engineering fields to predict and understand the behaviour of systems and to find parameters from a set of observations. These models use root-finding and minimisation techniques…
A submodel of the so-called conformal affine Toda model coupled to the matter field (CATM) is defined such that its real Lagrangian has a positive-definite kinetic term for the Toda field and a usual kinetic term for the (Dirac) spinor…
J{\'o}nsson and Tarski's notion of the perfect extension of a Boolean algebra with operators has evolved into an extensive theory of canonical extensions of lattice-based algebras. After reviewing this evolution we make two contributions.…
We present a new proof of descent for stably dominated types in any theory, dropping the hypothesis of the existence of global invariant extensions. Additionally, we give a much simpler proof of descent for stably dominated types in…
We investigate in ZFC what can be the family of large enough cardinals mu in which an a.e.c. K is categorical or even just solvable. We show that for not few cardinals lambda<mu there is a superlimit model in K_lambda. Moreover, our main…