Related papers: Infinite pointwise lineability: general criteria a…
In this paper, we show that the set of continuous functions defined on $\mathbb{R}^n$ that approach zero at infinity and attain their maximum at precisely one (and only one) point is $n$-lineable but not $(n+2)$-lineable. This result…
Some properties of $m$-density points and density-degree functions are studied. Moreover the following main results are provided: \vskip2mm \begin{itemize} \item {\it Let $\lambda$ be a continuous differential form of degree $h$ in…
We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…
Many physical systems -- such as optical waveguide lattices and dense neuronal or vascular networks -- can be modeled by metric graphs, where slender "wires" (edges) support wave or diffusion equations subject to Kirchhoff conditions at the…
We introduce a new definition of topological degree for a meaningful class of operators which need not be continuous. Subsequently, we derive a number of fixed point theorems for such operators. As an application, we deduce a new existence…
We propose a generic framework for establishing the decidability of a wide range of logical entailment problems (briefly called querying), based on the existence of countermodels that are structurally simple, gauged by certain types of…
The second part of the paper mainly deals with convergence of infinite determinantal measures, understood as the convergence of the approximating finite determinantal measures. In addition to the usual weak topology on the space of…
We study the projective systems in both continuous and discrete settings. These systems are linearizable by construction and thus, obviously, integrable. We show that in the continuous case it is possible to eliminate all variables but one…
We give a new characterization of the space of functions of bounded variation in terms of a pointwise inequality connected to the maximal function of a measure. The characterization is new even in Euclidean spaces and it holds also in…
The aim of this paper is to extend the concept of measure density introduced by Buck for finite unions of arithmetic progressions, to arbitrary subsets of N defined by a given system of decompositions. This leads to a variety of new…
One of my recent papers transforms an NP-Complete problem into the question of whether or not a feasible real solution exists to some Linear Program. The unique feature of this Linear Program is that though there is no explicit bound on the…
In this paper, we introduce cone normed linear space, study the cone convergence with respect to cone norm. Finally, we prove the completeness of a finite dimensional cone normed linear space.
The properties of the spaces of Sugeno integrable functions are quite different from those of the ordinary spaces of Lebesgue integrable functions. The purpose of the paper is to further advance our study of the Sugeno-Lorentz spaces, in…
In this paper we extend the Tanaka finiteness theorem and inequality for the number of symmetries to arbitrary distributions (differential systems) and provide several applications.
We introduce the notion of uniform exactness, or uniform amenability at infinity, for discrete groups and prove it for a wide class of groups containing free groups and their limit groups. This shows a novel strong convergence phenomenon…
A joint characterization of reachability (controllability) and observability (constructibility) for linear SISO nonuniformly sampled discrete systems is presented. The work generalizes to the nonuniform sampling the criterion known for the…
This paper deals with formulas of set theory which force the infinity. For such formulas, we provide a technique to infer satisfiability from a finite assignment.
In a previous paper, the author introduced the idea of intrinsic density --- a restriction of asymptotic density to sets whose density is invariant under computable permutation. We prove that sets with well-defined intrinsic density (and…
We construct classifying $\infty$-topoi by showing that the $(\infty,2)$-category of topoi has weighted limits. We show that several prestacks of interest have a classifying topos, including the prestack of spectra.
We systematically investigate the complexity of model checking the existential positive fragment of first-order logic. In particular, for a set of existential positive sentences, we consider model checking where the sentence is restricted…