Related papers: A Note About Universality Theorem as an Enumerativ…
I analyse the extension of the Ryu Takayanagi formula from the perspective of the universal coefficient theorem and cohomology with different coefficients. Looking at the axioms of cohomology, the so called Eilenberg-Steenrod axioms, the…
A strong generalized topological space is an ordered pair $\mathbf{X}=\langle X, \mathcal{T}\rangle$ such that $X$ is a set and $\mathcal{T}$ is a collection of subsets of $X$ such that $\emptyset, X\in \mathcal{T}$ and $\mathcal{T}$ is…
The definition of a non-trivial space of generalized functions of a complex variable allowing to consider derivatives of continuous functions is a non-obvious task, e.g. because of Morera theorem, because distributional Cauchy-Riemann…
This paper is part of the general project of proof mining, developed by Kohlenbach. By "proof mining" we mean the logical analysis of mathematical proofs with the aim of extracting new numerically relevant information hidden in the proofs.…
We consider from a geometric point of view the conjectural fundamental lemma of Langlands and Shelstad for unitary groups over a local field of positive characteristic. We introduce projective algebraic varieties over the finite residue…
This paper is part of a program that aims to understand the connection between the emergence of chaotic behaviour in dynamical systems in relation with the multi-valuedness of the solutions as functions of complex time $\tau$. In this work…
The statement of the Riemann hypothesis makes sense for all global fields, not just the rational numbers. For function fields, it has a natural restatement in terms of the associated curve. Weil's work on the Riemann hypothesis for curves…
Universal algebraic geometry is generalised from solutions of equations in a single algebra to the study of $\varphi$- or $K$-spectra, akin to the prime spectrum of a ring. We explore their basic properties and constructions, give a…
We generalize the Yao-Yao partition theorem by showing that for any smooth measure in $R^d$ there exist equipartitions using $(t+1)2^{d-1}$ convex regions such that every hyperplane misses the interior of at least $t$ regions. In addition,…
For any subset $Z \subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing…
The ``unification'' of fundamental physical forces (interactions) imagines a ``single'' conceptual entity using which {\em all} the observable or physical phenomena, {\em ie}, changes to physical bodies, would be suitably describable. The…
We give a precise definition of a formal mathematical object as any symbol for an individual constant, predicate letter, or a function letter that can be introduced through definition into a formal mathematical language without inviting…
The purpose of this paper is to elucidate, by means of concepts and theorems drawn from mathematical logic, the conditions under which the existence of a multiverse is a logical necessity in mathematical physics, and the implications of…
We prove the universality of the regular realizability problems for several classes of filters. The filters are encodings of finite relations on the set of non-negative integers in the format proposed by P. Wolf and H. Fernau. The…
Based on the equivalence of the two different types of measurement protocols and the asymmetry between the Schr\"odinger and Heisenberg pictures, it has been previously proposed that negative sea fills the universe as a nondeterministic…
Four-dimensional Einstein's General Relativity is shown to arise from a gauge theory for the conformal group, SO(4,2). The theory is constructed from a topological dimensional reduction of the six-dimensional Euler density integrated over a…
This article is a guide to theorems on existence and global dynamics of solutions of the Einstein equations. It draws attention to open questions in the field. The local in time Cauchy problem, which is relatively well understood, is…
We consider an inverse problem associated with some 2-dimensional non-compact surfaces with conical singularities, cusps and regular ends. Our motivating example is a Riemann surface $\mathcal M = \Gamma\backslash{\bf H}^2$ associated with…
Gleason's theorem [A. Gleason, J. Math. Mech., \textbf{6}, 885 (1957)] is an important result in the foundations of quantum mechanics, where it justifies the Born rule as a mathematical consequence of the quantum formalism. Formally, it…
Earlier, we had presented \cite{heuristic} heuristic arguments to show that a {\em natural unification} of the ideas of the quantum theory and those underlying the general principle of relativity is achievable by way of the measure theory…