Related papers: Hyperprojective Hierarchy of QCB_0-spaces

Summability methods for ultraholomorphic classes in sectors, defined in terms of a strongly regular sequence $\mathbb{M}=(M_p)_{p\in\mathbb{N}_0}$, have been put forward by A. Lastra, S. Malek and the second author [1], and their validity…

We extend the Theory of Computation on real numbers, continuous real functions, and bounded closed Euclidean subsets, to compact metric spaces $(X,d)$: thereby generically including computational and optimization problems over higher types,…

Ballico proved that a smooth projective variety $X$ of degree $d$ over a finite field of $q$ elements admits a smooth hyperplane section if $q\geq d(d-1)^{\dim X}$. In this paper, we refine this criterion for higher codimensional linear…

We use the projection complex machinery of Bestvina--Bromberg--Fujiwara to study hierarchically hyperbolic groups. In particular, we show that if the group has a BBF colouring and its associated hyperbolic spaces are quasiisometric to…

A topological space is called Loeb if the collection of all its non-empty closed sets has a choice function. In this article, in the absence of the axiom of choice, connections between Loeb and sequential spaces are investigated. Among…

We introduce the notion of trace convexity for functions and respectively, for subsets of a compact topological space. This notion generalizes both classical convexity of vector spaces, as well as Choquet convexity for compact metric…

Kuelbs-Steadman spaces are introduced in this article on a separable metric space with finite diameter and finite positive Borel measure. Kuelbs-Steadman spaces of the Lipschitz type are also discussed. Various inclusion properties are also…

We characterize cofinally Bourbaki quasi-complete metric spaces and their completions in terms of certain Lipschitz-type functions. To this end, we introduce and study a new class of functions, namely strongly uniformly locally Lipschitz…

The class of Hausdorff spaces that are continuous images of compact orderable spaces is studied by analyzing the relationship between the elements of this class and compact orderable spaces in a back-and-forth fashion. Structure results for…

Over any field of positive characteristic we construct 2-CY-tilted algebras that are not Jacobian algebras of quivers with potentials. As a remedy, we propose an extension of the notion of a potential, called hyperpotential, that allows to…

We show that every definable subset of an uncountably categorical pseudofinite structure has pseudofinite cardinality which is polynomial (over the rationals) in the size of any strongly minimal subset, with the degree of the polynomial…

We show that closed hypersurfaces in Euclidean space with nonnegative scalar curvature are weakly mean convex. In contrast, the statement is no longer true if the scalar curvature is replaced by the k-th mean curvature, for k greater than…

We introduce and study higher order Jacobian ideals, higher order and mixed Hessians, higher order polar maps, and higher order Milnor algebras associated to a reduced projective hypersurface. We relate these higher order objects to some…

We prove the following Hartogs-Bochner type theorem: Let $M$ be a connected $C^2$ hypersurface of $P_n(\mathbb{C})$ ($n\geq 2$) which divides $P_n(\mathbb{C})$ in two connected open sets $\Omega_1$ and $\Omega_2$. Then there exists $i \in…

Let A be an indecomposable principally polarized abelian variety of dimension g . Third order theta functions embed A in a projective space P(V_3), while second order theta functions embed the Kummer variety K=A/<-1> in a projective space…

We show that it is consistent relative to ZF, that there is no well-ordering of $\mathbb{R}$ while a wide class of special sets of reals such as Hamel bases, transcendence bases, Vitali sets or Bernstein sets exists. To be more precise, we…

We construct a non-commutative scheme that behaves as if it is the space of Penrose tilings of the plane. Let k be a field and B=k<x,y>(y^2). We consider B as the homogeneous coordinate ring of a non-commutative projective scheme. The…

Higher order set theory has been a topic of interest for some time, with recent efforts focused on the strength of second order set theories [KW16]. In this paper we strive to present one 'theory of collections' that allows for a formal…

The $K$-type formulas of the space of $K$-finite solutions to the Heisenberg ultrahyperbolic equation $\square_sf=0$ for the non-linear group $\widetilde{SL}(3,\mathbb{R})$ are classified. This completes a previous study of Kable for the…

Real projective structures on $n$-orbifolds are useful in understanding the space of representations of discrete groups into $\mathrm{SL}(n+1, \mathbb{R})$ or $\mathrm{PGL}(n+1, \mathbb{R})$. A recent work shows that many hyperbolic…