Related papers: Intermediate models and Kinna--Wagner Principles
We present a probabilistic framework for both (i) determining the initial settings of kernel adaptive filters (KAFs) and (ii) constructing fully-adaptive KAFs whereby in addition to weights and dictionaries, kernel parameters are learnt…
We provide a new proof of ``most" cases of the polynomial Wiener-Wintner theorem for $\sigma$-finite spaces, using hard-analytic methods. Specifically, we prove that whenever $(X,\mu,T)$ is a $\sigma$-finite measure-preserving system, and…
It is shown that Vop\v{e}nka's Principle (VP) can restore almost the entire ZF over a weak fragment of it. Namely, if EST is the theory consisting of the axioms of Extensionality, Empty Set, Pairing, Union, Cartesian Product,…
We offer a $\forall\exists$-definition for (affine) Campana points over $\mathbb{P}^1_K$ (where $K$ is a number field), which constitute a set-theoretical filtration between $K$ and $\mathcal{O}_{K,S}$ ($S$-integers), which are well-known…
We lay the ground for an Isabelle/ZF formalization of Cohen's technique of forcing. We formalize the definition of forcing notions as preorders with top, dense subsets, and generic filters. We formalize the definition of forcing notions as…
We use the theory of reduced determinant functors from [24] to give a new, computationally useful, description of the relative $K_0$-groups of orders in finite dimensional separable algebras that need not be commutative. By combining this…
We observe that Kirchberg's QWEP conjecture is equivalent to the statement that $C^*(\mathbb{F})$ is elementarily equivalent to a QWEP C$^*$ algebra. We also make a few other model-theoretic remarks about WEP and LLP C$^*$ algebras.
We continue the work done by Gitik, Kanovei, Koepke, and later by the authors. We prove that for every set $A$ in a Magidor-Radin generic extension using a coherent sequence such that $o^{\vec{U}}(\kappa)<\kappa$, there is a subset $C'$ of…
We characterize the wave front set $WF^P_\ast(u)$ with respect to the iterates of a linear partial differential operator with constant coefficients of a classical distribution $u\in{\mathcal D}'(\Omega)$, $\Omega$ an open subset in…
We extend the notion of an enumeration scheme developed by Zeilberger and Vatter to the case of vincular patterns (also called "generalized patterns" or "dashed patterns"). In particular we provide an algorithm which takes in as input a set…
With the aim of completing the previous study by A. Or{\l}owski and the author concerning intertwining maps between induced representations and conjugation representation, termed here weighted class operators, we compute the latter…
A rigorous microscopic theory for the description of quantum-transport phenomena in systems with open boundaries is proposed. We shall show that the application of the conventional Wigner-function formalism to this problem leads to…
We analyse linear maps of operator algebras $\mathcal{B}_H(\mathcal{H})$ mapping the set of rank-$k$ projectors onto the set of rank-$l$ projectors surjectively. We give a complete characterisation of such maps for prime $n =…
Semiparametric mixture models are parametric models with latent variables. They are defined kernel, $p_\theta(x | z)$, where z is the unknown latent variable, and $\theta$ is the parameter of interest. We assume that the latent variables…
Gregory McColm conjectured that positive elementary inductions are bounded in a class K of finite structures if every (FO + LFP) formula is equivalent to a first-order formula in K. Here (FO + LFP) is the extension of first-order logic with…
If $F$ and $G$ are iterated function systems, then any infinite word $W$ in the symbols $F$ and $G$ induces a limit set. It is natural to ask whether this Cantor set can also be realized as the limit set of a single $C^{1 + \alpha}$…
By combining the definition of the Wigner distribution function (WDF) and the matrix method of optical system modeling, we can evaluate the transformation of the former in centered systems with great complexity. The effect of stops and lens…
We study the C$^*$-algebra of Wiener-Hopf operators $A_\Omega$ on a cone $\Omega$ with polyhedral base $P$. As is known, a sequence of symbol maps may be defined, and their kernels give a filtration by ideals of $A_\Omega$, with liminary…
Motivated by our subfactor generalization of Wall's conjecture, in this paper we determine all intermediate subfactors for conformal subnets corresponding to four infinite series of conformal inclusions, and as a consequence we verify that…
In this paper we formulate a conjecture which partially generalizes the Gross-Kohnen-Zagier theorem to higher weight modular forms. For f in S_k(N) satisfying certain conditions, we construct a map from the Heegner points of level N to a…