Related papers: Yoneda completeness and flat completeness of order…
In this paper we generalise a useful result due to J. Mierczynski which states that for a strictly cooperative system on the positive orthant, with increasing first integral, all bounded orbits are convergent. Moreover any equilibrium…
Properties of an infinite system of nonlinearly coupled ordinary differential equations are discussed. This system models some properties present in the equations of motion for an inviscid fluid such as the skew symmetry and the…
We prove a converse Lyapunov theorem for boundedness of reachability sets for a general class of control systems whose flow is Lipschitz continuous on compact intervals with respect to trajectory-dominated inputs. We show that this…
We show that every flat nonlinear discrete-time system with two inputs can be transformed into a structurally flat normal form by state- and input transformations. This normal form has a triangular structure and allows to read off the flat…
In the first part, after showing that the most natural approach to define an order on sets of conformal classes fails, we define a nontrivial order $\leq_2$ on the set of conformal classes of compact Cauchy slabs with fixed past boundary…
At the first, we revise the Kosinski definition of the sum of ordered fuzzy numbers. The associativity of revised sum is investigated here. In addition, we show that the multiple revised sum of finite sequence of trapezoidal ordered fuzzy…
Our approach establishes a natural correspondence between complete orthomodular lattices and certain types of quantales. Firstly, given a complete orthomodular lattice X, we associate with it a Foulis quantale Lin(X) consisting of its…
A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial…
A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial…
The concept of convex compactness, weaker than the classical notion of compactness, is introduced and discussed. It is shown that a large class of convex subsets of topological vector spaces shares this property and that is can be used in…
This article explores several fundamental aspects of fuzzy $\mathscr{F}$-metric spaces and their applications in mathematical analysis. We investigate some essential properties concerning compactness and total boundedness in fuzzy…
We derive completeness criteria for sequences of functions of the form $% f(x\lambda_{n})$, where $\lambda_{n}$ is the $nth$ zero of a suitably chosen entire function. Using these criteria, we construct systems of nonorthogonal…
This paper investigates Smyth completeness of categories enriched over a quantale obtained by equipping the unit interval of real numbers with a continuous t-norm. A real-enriched category is Smyth-complete if each of its forward Cauchy…
We investigate the completeness and completions of the normed algebras $D^{(1)}(X)$ for perfect, compact plane sets $X$. In particular, we construct a radially self-absorbing, compact plane set $X$ such that the normed algebra $D^{(1)}(X)$…
The primary purpose of this article is to show that a certain natural set of axioms yields a completeness result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is (completely)…
A net $(x_\alpha)$ in a vector lattice $X$ is unbounded order convergent to $x \in X$ if $\lvert x_\alpha - x\rvert \wedge u$ converges to $0$ in order for all $u\in X_+$. This convergence has been investigated and applied in several recent…
For a function $f$ from $\mathbb{F}_2^n$ to $\mathbb{F}_2^n$, the planarity of $f$ is usually measured by its differential uniformity and differential spectrum. In this paper, we propose the concept of vanishing flats, which supplies a…
In fairly elementary terms this paper presents how the theory of preordered fuzzy sets, more precisely quantale-valued preorders on quantale-valued fuzzy sets, is established under the guidance of enriched category theory. Motivated by…
In this paper, we first introduce a technique that we call "Yoneda representation of flat functors", based on ideas from indexed category theory; then we provide applications of this technique to the theory of classifying toposes.…
We prove a multidimensional weighted analogue of the well-known theorem of Kurzweil (1955) in the metric theory of inhomogeneous Diophantine approximation. Let $A$ be matrix of real numbers, $\Psi$ an $n$-tuple of monotonic decreasing…