相关论文: Towards a general theory of unprojection

We study projective functions. We prove that projective functions generalise lower and upper-semianalytic ones while being stable by composition and difference. We show that the class of projective functions is closed under sums,…

We discuss the question of if and how undecidability might be translatable into physics, in particular with respect to prediction and description, as well as to complementarity games.

We introduce a complex q-Fourier transform as a generalization of the (real) one analyzed in [Milan J. Math. {\bf 76} (2008) 307]. By recourse to tempered ultradistributions we show that this complex plane-generalization overcomes all…

We prove a uniformization theorem in complex algebraic geometry.

We present the general construction of the $U$-projector (the homomorphism of the algebra into its field of $U$-invariants identical on the subalgebra of $U$-invariants). It is shown how to apply $U$-projector to find the systems of free…

Projection operators are important in Analysis, Optimization and Algorithm. It is well known that these operators are firmly nonexpansive. In this paper, we provide an exact result that sharpens this well-known result. We develop the theory…

We extend the inequality of Audenaert et al to general von Neumann algebras.

In this note, we demonstrate the convergence of the Demailly approximation of a general (weakly) upper semi-continuous weight.

Abstraction is key to human and artificial intelligence as it allows one to see common structure in otherwise distinct objects or situations and as such it is a key element for generality in AI. Anti-unification (or generalization) is…

This paper concerns diffraction-tomographic reconstruction of an object characterized by its scattering potential. We establish a rigorous generalization of the Fourier diffraction theorem in arbitrary dimension, giving a precise relation…

I summarize here the logic that leads us to a program for the Theory of the Total Field in Einstein's sense. The purpose is to show that this theory is a logical culmination of the developments of (fundamental) physical concepts and, hence,…

In this article we discuss a generalized Wirtinger inequality.

The foundations of forcing theory are reworked to streamline the presentation and to show how the most basic results are applicable in very general contexts.

We provide sufficient conditions for norm convergence of various projection and reflection methods, as well as giving limiting examples regarding convergence rates.

Although there are many mathematical theories to address uncertain phenomena however, these theories are presented under implicit presupposition that uncertainty of objects is accurately measurable while not considering that the measure of…

A generalization of topos theory is proposed giving an abstract realization of such categories as, say, the categories of manifolds and of Grothendieck schemes on the one hand, and permitting one, on the other hand, a view on…

We give a new proof of the straightening/unstraightening correspondence by proving a generalization of the univalence property of the universal coCartesian fibration.

This article is a primer on concept extrapolation - the ability to take a concept, a feature, or a goal that is defined in one context and extrapolate it safely to a more general context. Concept extrapolation aims to solve model…

Our goal in the present paper is to give a new ergodic proof of a well-known Veech's result, build upon our previous works.

Generalizations of the classical affine Lelieuvre formula to surfaces in projective three-dimensional space and to hypersurfaces in multi- dimensional projective space are given. A discrete version of the projective Lelieuvre formula is…