Related papers: Tameness and frames revisited
Notions of freedom and independence for hypergraphs of models of a theory are defined. Properties of these notions and their applications to some natural classes of theories are studied.
We develop infinite-dimensional Ramsey theory for Fra\"iss\'e limits of finitely constrained free amalgamation classes in finite binary languages. We show that our approach is optimal and in particular, recovers the exact big Ramsey degrees…
We prove that the category of countable Tate modules over an arbitrary discrete ring embeds fully faithfully into that of condensed modules. If the base ring is of finite type, we characterize the essential image as generated by the free…
In my PhD thesis a version of Shelah's Presentation Theorem in the setting of Metric Abstract Elementary Classes was proved, where we claimed that the new function symbols are not necessarily uniformly continuous. In this paper we provide a…
The notion of framings, recently emerging in P. G. Casazza, D. Han, and D. R. Larson, Frames for Banach spaces, in {\em The functional and harmonic analysis of wavelets and frames} (San Antonio, TX, 1999), {\em Contemp. Math}. {\bf 247}…
Extending the concept of frame to continuous frame, in this manuscript we will show that under certain conditions on the measure of $\Omega$ and the dimension of $\h$ we can construct continuous frames. Also, some examples are given.
Frames and Bessel sequences in Fr\'echet spaces and their duals are defined and studied. Their relation with Schauder frames and representing systems is analyzed. The abstract results presented here, when applied to concrete spaces of…
We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties…
Motivated by team semantics and existential second-order logic, we develop a model-theoretic framework for studying second-order objects such as sets and relations. We introduce a notion of abstract elementary team categories that…
It is shown that the geometry of parallelizable manifolds can be extended to non-parallelizable ones by extending the connection that a global frame field would define on a parallelizable manifold to a connection that a singular frame field…
In this paper we will look at the connection of frames and finite dimensionality. A main focus is to present simple algorithms and make them available online. The main result is a way to 'switch' between different frames, giving an…
Many economic theory models incorporate finiteness assumptions that, while introduced for simplicity, play a real role in the analysis. We provide a principled framework for scaling results from such models by removing these finiteness…
Parametricity is a key metatheoretic property of type systems, which implies strong uniformity & modularity properties of the structure of types within systems possessing it. In recent years, various systems of dependent type theory have…
Tate objects have been studied by many authors. They allow us to deal with infinite dimensional spaces by identifying some more structure. In this article, we set up the theory of Tate objects in stable $(\infty,1)$-categories, while the…
For every frame spectral measure $ \mu $, there exists a discrete measure $ \nu $ as a frame measure. Since if $ \mu $ is not a frame spectral measure, then there is not any general statement about the existence of frame measures $ \nu $…
We give a classification theorem of certain geometric objects, called torsors over the sheaf of K-theory spaces, in terms of Tate vector bundles. This allows us to present a very natural and simple, alternative approach to the Tate central…
Frames for Hilbert spaces are interesting for mathematicians but also important for applications e.g. in signal analysis and in physics. Both in mathematics and physics it is natural to consider a full scale of spaces, and not only a single…
We develop a probabilistic latent-variable model to discover semantic frames---types of events and their participants---from corpora. We present a Dirichlet-multinomial model in which frames are latent categories that explain the linking of…
Hilbert space frames generalize orthonormal bases to allow redundancy in representations of vectors while keeping good reconstruction properties. A frame comes with an associated frame operator encoding essential properties of the frame. We…
We provide several crucial technical extensions of the theory of stable independence notions in accessible categories. In particular, we describe circumstances under which a stable independence notion can be transferred from a subcategory…