Related papers: An $\mathrm{NSOP}_{1}$ theory without the existenc…
Let $P_1,\dots,P_m\in\mathbb{Z}[y]$ be polynomials with distinct degrees, each having zero constant term. We show that any subset $A$ of $\{1,\dots,N\}$ with no nontrivial progressions of the form $x,x+P_1(y),\dots,x+P_m(y)$ has size…
Popular multiverse models such as the one based on the string theory landscape require an underlying set of unexplained laws containing many specific features and highly restrictive prerequisites. I explore the consequences of relaxing some…
Recently we have obtained two simple proofs of Sharkovsky's theorem, one with directed graphs [7] and the other without [8]. In this note, we present yet more simple proofs of Sharkovsky's theorem.
A general no-go theorem dampens hope that the cosmological constant problem can be solved by a local symmetry mechanism. The possibility is considered here that this no-go theorem can be avoided by a pseudo-symmetry. A simple macroscopic…
In this paper the conditions, under which non-topological solitons are absent in the Yang-Mills theory coupled to a non-linear scalar field in Minkowski space, are obtained in a very simple way. It is also shown that non-topological…
We give a uniform construction of free pseudospaces of dimension n extending work by Baudisch and Pillay. This yields examples of $\omega$-stable theories which are n-ample, but not (n+1)-ample. The prime models of these theories are…
We show that the sum of two free random variables can have a free Poisson law without any of them having a free Poisson law.
It is shown that the absence of an objective existence of the results of quantum measurements cannot be proved by known experiments. There are also general arguments confirming this conclusion.
Inspired by Raychaudhuri's work, and using the equation named after him as a basic ingredient, a new singularity theorem is proved. Open non-rotating everywhere expanding universes with non-vanishing spatial average of the matter variables…
The Kochen-Specker theorem is one of the fundamental no-go theorems in quantum theory. It has far-reaching consequences for all attempts trying to give an interpretation of the quantum formalism. In this work, we examine the hypotheses…
We give a new characterization of $SOP$ (the strict order property) in terms of the behaviour of formulas in any model of the theory as opposed to having to look at the behaviour of indiscernible sequences inside saturated ones. We refine a…
We extend a dichotomy between 1-basedness and supersimplicity proved in a previous paper. The generalization we get is to arbitrary language, with no restrictions on the topology (we do not demand type-definabilty of the open set in the…
We prove a result about the non-existence of certain sums-of-squares formulas over a field. This generalizes an old theorem which used topological K-theory to obtain obstruction conditions when the field is the real numbers. Our result…
We give a necessary and sufficient condition for the following property of an integer $d\in\mathbb N$ and a pair $(a,A)\in\mathbb R^2$: There exist $\kappa > 0$ and $Q_0\in\mathbb N$ such that for all $\mathbf x\in \mathbb R^d$ and $Q\geq…
We propose a new formulation of a vanishing theorem for surfaces. Although this vanishing theorem follows easily from the well-known Kawamata--Viehweg vanishing theorem, it turns out to be remarkably useful. In particular, it is sufficient…
We introduce a class of non-Moufang loops satisfying the Moufang's theorem.
Stringent restrictions for model building are imposed by a no-go theorem in noncommutative gauge field theory. Circumventing this theorem is crucial for the construction of realistic models of particle interactions. To this end, the…
First the crucial but very confidential fact is brought into evidence that, as Kolmogorov himself repeatedly claimed, there exists no abstract theory of probabilities, simply because the factual concept of probability is itself unachieved:…
This paper investigates $\exists\mathbb{R}(r^{\mathbb{Z}})$, that is the extension of the existential theory of the reals by an additional unary predicate $r^{\mathbb{Z}}$ for the integer powers of a fixed computable real number $r > 0$. If…
We introduce the model-companion of the theory of fields expanded by a unary function for a multiplicative map, which we call ACFH. Among others, we prove that this theory is NSOP$_1$ and not simple, that the kernel of the map is a generic…