Related papers: Vop\v{e}nka's Alternative Set Theory as a framewor…
The convex feasibility problem asks to find a point in the intersection of a collection of nonempty closed convex sets. This problem is of basic importance in mathematics and the physical sciences, and projection (or splitting) methods…
We introduce the concept of inverse powerset by adding three axioms to the Zermelo-Fraenkel set theory. This extends the Zermelo-Fraenkel set theory with a new type of set which is motivated by an intuitive meaning and interesting…
An initial-and boundary-value problem for the Kelvin-Voigt system, modeling a mixture of n incompressible and viscoelastic fluids, with non-constant density, is investigated in this work. The existence of global-in-time weak solutions is…
We define a new divergence of von Neumann algebras using a variational expression that is similar in nature to Kosaki's formula for the relative entropy. Our divergence satisfies the usual desirable properties, upper bounds the sandwiched…
The aim of this work is to prove the global-in-time existence of weak solutions for a viscoelastic phase separation model in three space dimensions. To this end we apply the relative energy concept provided by [3]. We consider the case of…
Representations are essential to mathematically model phenomena, but there are many options available. While each of those options provides useful properties with which to solve problems related to the phenomena in study, comparing results…
New concepts of rough natural number systems are introduced in this research paper from both formal and less formal perspectives. These are used to improve most rough set-theoretical measures in general Rough Set theory (\textsf{RST}) and…
In a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality, we study strict subsets, i.e. sets whose variational capacity with respect to a larger reference set is finite, in the case $p=1$.…
We study the removability of compact sets for continuous Sobolev functions. In particular, we focus on sets with infinitely many complementary components, called "detour sets", which resemble the Sierpi\'nski gasket. The main theorem is…
We explain the basic ideas, describe with proofs the main results, and demonstrate the effectiveness, of an evolving theory of vector-valued modular forms (vvmf). To keep the exposition concrete, we restrict here to the special case of the…
The paper presents an algebraic framework for optimization problems expressible as Valued Constraint Satisfaction Problems. Our results generalize the algebraic framework for the decision version (CSPs) provided by Bulatov et al. [SICOMP…
In generic realizability for set theories, realizers treat unbounded quantifiers generically. To this form of realizability, we add another layer of extensionality by requiring that realizers ought to act extensionally on realizers, giving…
A special final coalgebra theorem, in the style of Aczel's, is proved within standard Zermelo-Fraenkel set theory. Aczel's Anti-Foundation Axiom is replaced by a variant definition of function that admits non-well-founded constructions.…
A series of associative algebras $A_n(V)$ for a vertex operator algebra $V$ over an arbitrary algebraically closed field and nonnegative integers $n$ are constructed such that there is a one to one correspondence between irreducible…
We establish the existence of global weak solutions of the 2D incompressible Euler equation, for a large class of non-smooth open sets. These open sets are the complements (in a simply connected domain) of a finite number of connected…
We study the dependence on various parameters of the exceptional set in Vojta's conjecture. In particular, by making use of certain elliptic surfaces, we answer in the negative the often-raised question of whether Vojta's conjecture holds…
A variational principle for determining unstable periodic orbits of flows as well as unstable spatio-temporally periodic solutions of extended systems is proposed and implemented. An initial loop approximating a periodic solution is evolved…
We define a generic Vop\v{e}nka cardinal to be an inaccessible cardinal $\kappa$ such that for every first-order language $\mathcal{L}$ of cardinality less than $\kappa$ and every set $\mathscr{B}$ of $\mathcal{L}$-structures, if…
The level set method is a widely used tool for solving reachability and invariance problems. However, some shortcomings, such as the difficulties of handling dissipation function and constructing terminal conditions for solving the…
The weak-strong uniqueness of solutions to a broad class of cross-diffusion systems with volume filling is established. In general, the diffusion matrices are neither symmetric nor positive definite. This issue is overcome by supposing that…