Related papers: The uniqueness of the core model
Codd's rule of entity integrity stipulates that every table has a primary key. Hence, the attributes of the primary key carry unique and complete value combinations. In practice, data cannot always meet such requirements. Previous work…
Given an ideal $\mathcal{I}$ on $\omega$ and a sequence $x$ in a topological vector space, we let the $\mathcal{I}$-core of $x$ be the least closed convex set containing $\{x_n: n \notin I\}$ for all $I \in \mathcal{I}$. We show two…
We develop categorical foundations of discrete dynamical systems, aimed at understanding how the structure of the system affects its dynamics. The key technical innovation is the notion of a cycle set, which provides a formal language in…
A class of subsets designated as very thin subsets of natural numbers has been studied and seen that theory of convergence may be rediscovered if very thin sets are given to play main role instead of thin or finite sets which removes some…
We address the problem of characterising the compatible tuples of measurements that admit a unique joint measurement. We derive a uniqueness criterion based on the method of perturbations and apply it to show that extremal points of the set…
We introduce a framework for the description of a large class of delay-differential algebraic systems, in which we study three core problems: first we characterize abstractly the well-posedness of the initial-value problem, then we design a…
The structures $\langle M,\subseteq^M\rangle$ arising as the inclusion relation of a countable model of sufficient set theory $\langle M,\in^M\rangle$, whether well-founded or not, are all isomorphic. These structures $\langle…
An one-dimensional finite element model of a sandwich panel with insert is derived using the approach used in the Thomsen model. The one-dimensional model produces results that are close to those of a two-dimensional axisysmmetric model.…
Decomposing predictive uncertainty into epistemic (model ignorance) and aleatoric (data ambiguity) components is central to reliable decision making, yet most methods estimate both from the same predictive distribution. Recent empirical and…
As the prototypical category, $\mathbf{Set}$ has many properties which make it special amongst categories. From the point of view of mathematical logic, one such property is that $\mathbf{Set}$ has enough structure to "properly" formalise…
We study Tao's finitary viewpoint of convergence in metric spaces, as captured by the notion of metastability. We adopt the perspective of continuous model theory. We show that, in essence, metastable convergence with a given rate is the…
A cardinal is weakly Reinhardt if it is the critical point of an elementary embedding from the universe of sets into a model that contains the double powerset of every ordinal. This note establishes the equiconsistency of a proper class of…
In this article a surprising result is demonstrated using the neural tangent kernel. This kernel is defined as the inner product of the vector of the gradient of an underlying model evaluated at training points. This kernel is used to…
We introduce a criterion called the Devron property that a discrete dynamical system can possess. The Devron property is said to occur when a class of highly singular inputs of a mapping F are carried by some iterate of $F^{-1}$ to a class…
We propose a theoretical model for species that is focused on intrinsic organization and processes. Specifically, we regard species to be networks of organisms integrated by reproductive mechanisms (e.g., conjugation, meiosis, syngamy)…
Hierarchy is one of the most conspicuous features of numerous natural, technological and social systems. The underlying structures are typically complex and their most relevant organizational principle is the ordering of the ties among the…
We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary…
The richness of many complex systems stems from the interactions among their components. The higher-order nature of these interactions, involving many units at once, and their temporal dynamics constitute crucial properties that shape the…
This is a survey article on trees, with a modest number of proofs to give a flavor of the way these topologies can be efficiently handled. Trees are defined in set-theorist fashion as partially ordered sets in which the elements below each…
Chemotaxis systems of Keller--Segel type constitute one of the central mathematical frameworks for understanding aggregation phenomena in biological and ecological systems. Over the past decades, the theory has evolved from the classical…