Related papers: A generalization of Ohkawa's theorem
We show that a compact operator $A$ is a multiple of a positive semi-definite operator if and only if $$ \sigma(AB) \subseteq \overline{W(A)W(B)}, \quad\text{for all (rank one) operators $B$}. $$ An example of a normal operator is given to…
We prove that every stable, combinatorial model category has a natural enrichment by symmetric spectra (or more precisely, a natural equivalence class of enrichments). This in some sense generalizes the simplicial enrichments of model…
We generalize the construction of reflection functors from classical representation theory of quivers to arbitrary small categories with freely attached sinks or sources. These reflection morphisms are shown to induce equivalences between…
We investigate an extension of ZFC set theory (in an extended language) that stipulates the existence of a proper class of indiscernibles over the universe. One of the main results of the paper shows that the purely set-theoretical…
The Gauss-Bonnet theorem for a polyhedron (a union of finitely many compact convex polytopes) in $n$-dimensional Euclidean space expresses the Euler characteristic of the polyhedron as a sum of certain curvatures, which are different from…
Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.
In this paper we define generalizations of boson normal ordering. These are based on the number of contractions whose vertices are next to each other in the linear representation of the boson operator function. Our main motivation is to…
A stratification of a singular set, e.g. an algebraic or analytic variety, is, roughly, a partition of it into manifolds so that these manifolds fit together "regularly". A classical theorem of Whitney says that any complex analytic set has…
We prove that Solovay's set $\Sigma$ is generic over the ground model via a forcing notion whose order relation $\subseteq$-extends the given order relation.
We develop a general theory for class-sized symmetric systems as a natural extension of symmetric systems with respect to class forcing. In particular, adapting the usual notions of pretameness and tameness for class forcing, we present…
The generality of a derivation is an equivalence relation on the set of occurrences of variables in its premises and conclusion such that two occurrences of the same variable are in this relation iff they must remain occurrences of the same…
We prove and explain several classical formulae for homotopy (co)limits in general (combinatorial) model categories which are not necessarily simplicially enriched. Importantly, we prove versions of the Bousfield-Kan formula and the fat…
A uniformly bounded complete orthonormal system of functions $\Theta =\{ \theta_n\}_{n=1}^{\infty},$ $ \|\theta_n\|_{L^\infty_{[0,1]} } \leq M $ is constructed such that $\sum_{n=1}^{\infty} a_{n}\theta_{n}$ converges almost everywhere on…
We give a short overview of the proof of Shelah's eventual categoricity conjecture in universal classes with amalgamation in arXiv:1506.07024 .
We adopt semimodel categories to extend fundamental results related to Bousfield localizations of model categories. More specifically, we generalize Bousfield-Friedlander Theorem and Hirschhorn Localization Theorem of cellular model…
In this note we characterize, within the framework of the theory of finite set, those categories of graphs that are {\em algebraic universal} in the sense that every concrete category embeds in them. The proof of the characterization is…
Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…
We consider the algebra $\mathcal O(\mathsf M)$ of observables and the (formally) versal morphism $\eta: A \to \mathcal O(\mathsf M)$ defined by the noncommutative deformation functor $\mathsf{Def}_{\mathsf M}$ of a family $\mathsf M = \{…
We develop an analogue of universal algebra in which generating symbols are interpreted as relations. We prove a variety theorem for these relational algebraic theories, in which we find that their categories of models are precisely the…
We describe a point-set category of parametrized orthogonal spectra, a model structure on this category, and a separate, more geometric class of cofibrant-and-fibrant objects. The structures we describe are "convenient" in that they are…