Related papers: Parametricity, automorphisms of the universe, and …
In classical function theory, a function is holomorphic if and only if it is complex analytic. For higher dimensional spaces it is natural to work in the context of Clifford algebras. The structures of these algebras depend on the parity of…
The Bohr-van Leeuwen theorem is often summarized as saying that there is no classical magnetic susceptibility, in particular no diamagnetism. This is seriously misleading. The theorem assumes position dependent interactions but this is not…
Based on the most general principles of reality, gauge and reparametrization invariance, a problem of constructing the action describing dynamics of a classical color-charged particle interacting with background non-Abelian gauge and…
We give a brief survey on the interplay between forcing axioms and various other non-constructive principles widely used in many fields of abstract mathematics, such as the axiom of choice and Baire's category theorem. First of all we…
The classical motion of spinning particles can be described without employing Grassmann variables or Clifford algebras, but simply by generalizing the usual spinless theory. We only assume the invariance with respect to the Poincare' group;…
We study asymptotics of integrals of certain rational functions that depend on parameters in a field $K$ of characteristic zero. We use formal power series to represent the integral and prove certain identities about its coefficients…
We study the classical and quantum models of a flat Friedmann-Robertson-Walker (FRW) space-time, coupled to a perfect fluid, in the context of the consensus and a gauge-fixed Lagrangian frameworks. It is shown that, either in the usual or…
We introduce MTT, a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes, modalities, and transformations between them. We show that different choices of mode…
We show that restricting the elimination principle of the natural numbers type in Martin-L\"of Type Theory (MLTT) to a universe of types not containing $\Pi$-types ensures that all definable functions are primitive recursive. This extends…
Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker…
We construct a realizability model of linear dependent type theory from a linear combinatory algebra. Our model motivates a number of additions to the type theory. In particular, we add a universe with two decoding operations: one takes…
We formulate singular classical theories without involving constraints. Applying the action principle for the action (27) we develop a partial (in the sense that not all velocities are transformed to momenta) Hamiltonian formalism in the…
We establish rigidity (or uniqueness) theorems for nc automorphisms which are natural extensions of clasical results of H.~Cartan and are improvements of recent results. We apply our results to nc-domains consisting of unit balls of…
Here I explore a novel no-collapse interpretation of quantum mechanics which combines aspects of two familiar and well-developed alternatives, Bohmian mechanics and the many-worlds interpretation. Despite reproducing the empirical…
Taking symmetric extensions can be considered as a generalisation of forcing, which produces a richer multiverse of models with and without the axiom of choice. We can study the structure of this multiverse using modal logic. In particular,…
Elementary particles in quantum mechanics (QM) are indistinguishable when sharing the same intrinsic properties and the same quantum state. So, we can consider quantum particles as non-individuals, although non-individuality is usually…
A forcing extension may create new isomorphisms between two models of a first order theory. Certain model theoretic constraints on the theory and other constraints on the forcing can prevent this pathology. A countable first order theory is…
We develop a theory for describing composite objects in physics. These can be static objects, such as tables, or things that happen in spacetime (such as a region of spacetime with fields on it regarded as being composed of smaller such…
We introduce a notion of the ``explanation" of one (generalized) probabilistic model by another as particular kind of span in the category $\Prob$ of probabilistic models and morphisms. We show that explanations compose under a standard…
In dependent type theory, being able to refer to a type universe as a term itself increases its expressive power, but requires mechanisms in place to prevent Girard's paradox from introducing logical inconsistency in the presence of…