Related papers: Higher-Order Platonism and Multiversism
We prove that every ordered partial action of an inverse semigroupoid on a partially ordered set admits a globalization. This result is used to establish a connection between ordered partial actions of groupoids and a multi-object analogue…
We investigate the presence of twinlike models in theories described by several real scalar fields. We focus on the first-order formalism, and we show how to build distinct scalar field theories that support the same extended solution, with…
Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…
When modelling spacetime and classical physical fields, one typically assumes smoothness (infinite differentiability). But this assumption and its philosophical implications have not been sufficiently scrutinized. For example, we can appeal…
By leveraging both texts and images, large vision language models (LVLMs) have shown significant progress in various multi-modal tasks. Nevertheless, these models often suffer from hallucinations, e.g., they exhibit inconsistencies between…
A canonical result in model theory is the homomorphism preservation theorem (h.p.t.) which states that a first-order formula is preserved under homomorphisms iff it is equivalent to an existential-positive formula, standardly proved via a…
We attack the classification problem of multi-faced independences, the first non-trivial example being Voiculescu's bi-freeness. While the present paper does not achieve a complete classification, it formalizes the idea of lifting an…
I defend the extremist position that the fundamental ontology of the world consists of a vector in Hilbert space evolving according to the Schr\"odinger equation. The laws of physics are determined solely by the energy eigenspectrum of the…
We consider anti-unification for simply typed lambda terms in associative, commutative, and associative-commutative theories and develop a sound and complete algorithm which takes two lambda terms and computes their generalizations in the…
This is a companion note to Zinde-Walsh (2010), arXiv:1009.4217v1[MATH.ST], to clarify and extend results on identification in a number of problems that lead to a system of convolution equations. Examples include identification of the…
Functions with uniform level sets can represent orders, preference relations or other binary relations and thus turn out to be a tool for scalarization that can be used, e.g., in multicriteria optimization, decision theory, mathematical…
In resisting attempts to explain the unity of a whole in terms of a multiplicity of interacting parts, quantum mechanics calls for an explanatory concept that proceeds in the opposite direction: from unity to multiplicity. It concerns the…
We present a deductive theory of space-time which is realistic, objective, and relational. It is realistic because it assumes the existence of physical things endowed with concrete properties. It is objective because it can be formulated…
There is knowledge. There is belief. And there is tacit agreement.' 'We may talk about objects. We may talk about attributes of the objects. Or we may talk both about objects and their attributes.' This work inspects tacit agreements on…
This article has been withdrawn in 2013. The class of LOTS (linearly ordered topological spaces) contains many important spaces, like the set of real numbers, the set of rational numbers and the ordinals. Such spaces have rich topological…
According to Cantor, a set is a collection into a whole of defined and separate (we shall say distinct) objects. So, a natural question is ``How to treat as `sets' collections of indistinguishable objects?". This is the aim of quasi-set…
Given an undirected graph representing similarities between a set of items and an additive measure evaluating the items, we treat the position of a special subset of items in an ordinal ranking through a collection of combinatorial…
Although foundation models (FMs) claim to be powerful, their generalization ability significantly decreases when faced with distribution shifts, weak supervision, or malicious attacks in the open world. On the other hand, most domain…
The interplay between the two fundamental concepts of topological order and reflection positivity allows one to characterize the ground states of certain many-body Hamiltonians. We define topological order in an appropriate fashion and show…
The common-sense view of reality is expressed logically in Boolean subset logic (each element is either definitely in or not in a subset, i.e., either definitely has or does not have a property). But quantum mechanics does not agree with…