Related papers: Diagonals and Block-Ordered Relations
Many theories of physical interest, which admit a Hamiltonian description, exhibit symmetries under a particular class of non - strictly canonical transformation, known as dynamical similarities. The presence of such symmetries allows a…
The first-order logical environment FOLE [5] provides a rigorous and principled approach to distributed interoperable first-order information systems. FOLE has been developed in two forms: a classification form and an interpretation form.…
Rectangulations are partitions of a square into axis-aligned rectangles. A number of results provide bijections between combinatorial equivalence classes of rectangulations and families of pattern-avoiding permutations. Other results deal…
Analogical reasoning depends fundamentally on the ability to learn and generalize about relations between objects. We develop an approach to relational learning which, given a set of pairs of objects…
We introduce the linear operators of fractional integration and fractional differentiation in the framework of the Riemann-Liouville fractional calculus. Particular attention is devoted to the technique of Laplace transforms for treating…
In La G\'eom\'etrie, Descartes proposed a balance between geometric constructions and symbolic manipulation with the introduction of suitable ideal machines. In modern terms, that is a balance between analog and symbolic computation.…
For fractals on Riemannian manifolds, the theory of iterated function systems often does not apply well directly, as fractal sets are often defined by relations that are multivalued or non-contractive. To overcome this difficulty, we…
This article is a continuation of my former article "On Connectivity Spaces". After some brief historical references relating to the subject, separation spaces and then adjoint notions of connective representation and connective foliation…
The Univalent Foundations requires a logic that allows us to define structures on homotopy types, similar to how first-order logic with equality ($\text{FOL}_=$) allows us to define structures on sets. We develop the syntax, semantics and…
The family of relevant logics can be faceted by a hierarchy of increasingly fine-grained variable sharing properties -- requiring that in valid entailments $A\to B$, some atom must appear in both $A$ and $B$ with some additional condition…
Dimension theory lies at the heart of fractal geometry and concerns the rigorous quantification of how large a subset of a metric space is. There are many notions of dimension to consider, and part of the richness of the subject is in…
In our previous papers, we have introduced within the theory of the Riemann zeta function the following notions: Jacob's ladders, oscillating systems, $\zeta$-factorization, metamorphoses, \dots In this paper we obtain $\zeta$-analogue of…
This article contributes to the debate of the meaning of relationalism and background independence, which has remained of interest in theoretical physics from Newton versus Leibniz through to foundational issues for today's leading…
We introduce the general notions of an index and a core of a relation. We postulate a limited form of the axiom of choice -- specifically that all partial equivalence relations have an index -- and explore the consequences of adding the…
This paper provides a summary of the fractal calculus framework. It presents higher-order homogeneous and nonhomogeneous linear fractal differential equations with $\alpha$-order. Solutions for these equations with constant coefficients are…
A new calculus based on fractal subsets of the real line is formulated. In this calculus, an integral of order $\alpha, 0 < \alpha \leq 1$, called $F^\alpha$-integral, is defined, which is suitable to integrate functions with fractal…
We establish a dilation-theoretic characterization of the Choquet order on the space of measures on a compact convex set using ideas from the theory of operator algebras. This yields an extension of Cartier's dilation theorem to the…
We consider the concept of rank as a measure of the vertical levels and positions of elements of partially ordered sets (posets). We are motivated by the need for algorithmic measures on large, real-world hierarchically-structured data…
Many innovations are inspired by past ideas in a non-trivial way. Tracing these origins and identifying scientific branches is crucial for research inspirations. In this paper, we use citation relations to identify the descendant chart,…
Higher-order networks, naturally described as hypergraphs, are essential for modeling real-world systems involving interactions among three or more entities. Stochastic block models offer a principled framework for characterizing mesoscale…