Related papers: Fake reflection
The main goal of this paper is to formulate a constructive analogue of Ackermann's observation about finite set theory and arithmetic. We will see that Heyting arithmetic is bi-interpretable with $\mathsf{CZF^{fin}}$, the finitary version…
In the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in $\mathbf{ZF}$, some are shown to be independent of…
The property that a Jacobi matrix is reflectionless is usually characterized either in terms of Weyl m-functions or the vanishing of the real part of the boundary values of the diagonal matrix elements of the resolvent. We introduce a…
A general theorem due to Howe of dual action of a classical group and a certain non-associative algebra on a space of symmetric or alternating tensors is reformulated in a setting of second quantization, and familiar examples in atomic and…
We introduce the notion of $\mathcal{C}$-system of filters, generalizing the standard definitions of both extenders and towers of normal ideals. This provides a framework to develop the theory of extenders and towers in a more general and…
The standard axioms of set theory, the Zermelo-Fraenkel axioms (ZFC), do not suffice to answer all questions in mathematics. While this follows abstractly from Kurt G\"odel's famous incompleteness theorems, we nowadays know numerous…
We establish a correspondence between higher-derivative gravitational scalar-tensor theories of the form $\Psi(R,(\nabla R)^2,\Box R)$ and generalized hybrid metric-Palatini models $f(R,\mathcal{R})$. Restricting to the physically relevant…
The paper demonstrates that falsifiability is fundamental to learning. We prove the following theorem for statistical learning and sequential prediction: If a theory is falsifiable then it is learnable -- i.e. admits a strategy that…
The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. What will be proved is that a form of simultaneous reflection follows from the Set Mapping…
In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…
We explore an application of homological algebra to set theoretic objects by developing a cohomology theory for Hausdorff gaps. The cohomology theory is introduced with enough generality to be applicable to other questions in set theory.…
Much mathematical writing exists that is, explicitly or implicitly, based on set theory, often Zermelo-Fraenkel set theory (ZF) or one of its variants. In ZF, the domain of discourse contains only sets, and hence every mathematical object…
Baer's Criterion of injectivity implies that injectivity of a module is a factorization property w.r.t. a single monomorphism. Using the notion of a cotorsion pair, we study generalizations and dualizations of factorization properties in…
We show that the category of simplicial sets is a co-reflective subcategory of the category of cubical sets with connections, with the inclusion given by a version of the straightening functor. We show that using the co-reflector, one can…
We construct a new class of representations of the canonical commutation relations, which generalizes previously known classes. We perturb the infinitesimal generator of the initial Fock representation (i.e. the free quantum field) by a…
A one-parameter generalized fermion algebra ${\cal B}_{\kappa}(1)$ is introduced. The Fock representation is studied. The associated coherent states are constructed and the polynomial representation, in the Bargmann sense, is derived. A…
Learning compatible representations enables the interchangeable use of semantic features as models are updated over time. This is particularly relevant in search and retrieval systems where it is crucial to avoid reprocessing of the gallery…
Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…
When an oscillating line source is placed in front of a special mirror consisting of an array of flat uniformly spaced ferrite rods, half of the image disappeared at some frequency. We believe that this comes from the coupling to photonic…
We give a presentation of a finite crystallographic reflection group in terms of an arbitrary seed in the corresponding cluster algebra of finite type and interpret the presentation in terms of companion bases in the associated root system.