Related papers: Logical Dreams
In this article a sequential theory in the category of spaces and proper maps is described and developed. As a natural extension a sequential theory for exterior spaces and maps is obtained.
We propose and study a system whose dynamics are governed by predictions of its future states. General formalism and concrete examples are presented. We find that the dynamical characteristics depend on both how to shape predictions as well…
As Physics did in previous centuries, there is currently a common dream of extracting generic laws of nature in economics, sociology, neuroscience, by focalising the description of phenomena to a minimal set of variables and parameters,…
We study sums of arithmetic functions, defined on Gaussian integers and taken over those pairs of integers whose coordinates give rise to a singular system.
This is a introductory survey of some recent developments of "Galois ideas" in Arithmetic, Complex Analysis, Transcendental Number Theory and Quantum Field Theory, and of some of their interrelations.
In this paper we present a brief study of the $\sigma$-set-$\sigma$-antiset duality that occurs in $\sigma$-set theory and we also present the development of the integer space $3^{A}=\left\langle 2^{A}, 2^{A^{-}} \right\rangle$ for the…
We use model theoretic techniques to construct explicit first-order axiomatizations for the classes of posets that can be represented as systems of sets, where the order relation is given by inclusion, and existing meets and joins of…
Cyclotomic polylogarithms are reviewed and new results concerning the special constants that occur are presented. This also allows some comments on previous literature results using PSLQ.
The idea of monotonicity (or positive-definiteness in the linear case) is shown to be the central theme of the solution theories associated with problems of mathematical physics. A "grand unified" setting is surveyed covering a…
Mathematicians invented Mathematics to escape from words, but at last they depend on them just as much as everybody else. At the end, all basic definitions will be reliant on words, yet the mathematician believes that he's elevated from…
We investigate game-theoretic variants of cardinal invariants of the continuum. The invariants we treat are the reaping number $\mathfrak{r}$, the bounding number $\mathfrak{b}$, the dominating number $\mathfrak{d}$, and the additivity…
Logarithmic conformal field theories have a vast range of applications, from critical percolation to systems with quenched disorder. In this paper we thoroughly examine the structure of these theories based on their symmetry properties. Our…
This article is devoted to the study of classical and new results concerning equidistant sets, both from the topological and metric point of view. We start with a review of the most interesting known facts about these sets in the euclidean…
We solve an elementary number theory problem on sums of fractional parts, using methods from group theory. We apply our result to deduce the finiteness of certain monodromy representations.
It is presently our aim to undertake the discussion, of the Parts I and II, on the infinitesimal level and outline as well the transition from infinitesimal to finite, the main reason for this being, of course, the well known fact that…
Some notions from algorithmic randomness are extended to measures and to quantum states. There is a lot on group theory and its relation to logic. This includes some new results on oligomorphic groups. There's also metric spaces and Scott…
We study the set of algebraic numbers of bounded height and bounded degree where an analytic transcendental function takes algebraic values.
This essay examines the relationship between artificial intelligence and the historical evolution of modern Mathematics. Rather than viewing AI as an external rupture, we argue that its effectiveness reveals a structural tendency already…
We explain and explore class-theoretic potentialism -- the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning…
Some particular examples of classical and quantum systems on the lattice are solved with the help of orthogonal polynomials and its connection to continuous models are explored.