Related papers: An $\mathrm{NSOP}_{1}$ theory without the existenc…
The associators/antiassociators for the product of four non-associative operators are deduced. By analogy with SU(3) gauge theory the notion of colorless (white) operators is introduced. Some properties of white operators are considered. It…
A recent breakthrough [Hirahara and Nanashima, STOC'2024] established that if $\mathsf{NP} \not \subseteq \mathsf{ioP/poly}$, the existence of zero-knowledge with negligible errors for $\mathsf{NP}$ implies the existence of one-way…
We introduce a family of local ranks DQ depending on a finite set Q of pairs of the form (\varphi(x,y),q(y)) where \varphi(x,y) is a formula and q(y) is a global type. We prove that in any NSOP1 theory these ranks satisfy some desirable…
We give a concise proof of the fundamental theorem of smoothing theory in the special case when a smoothing exists.
Regularity theorems are presented for cosmology and gravitational collapse in non-Riemannian gravitational theories. These theorems establish conditions necessary to allow the existence of timelike and null path complete spacetimes for…
In my opinion, nothing useful has ever been written on the question in the title, and small is the contribution that I have to offer. I outline an explanation for why there is something rather than nothing, an explanation which, however, I…
We classify the stable formulas in the theory of Dense Linear Orders without endpoints, the stable formulas in the theory of Divisible Abelian Groups, and the stable formulas without parameters in the theory of Real Closed Fields. The third…
It is useful to have a criterion for when the predictions of an operational theory should be considered classically explainable. Here we take the criterion to be that the theory admits of a generalized-noncontextual ontological model.…
Here, by introducing a version of "Unexpected hanging paradox" we try to open a new way and a new explanation for paradoxes, similar to liar paradox. Also, we will show that we have a semantic situation which no syntactical logical system…
Gleason-type theorems for quantum theory allow one to recover the quantum state space by assuming that (i) states consistently assign probabilities to measurement outcomes and that (ii) there is a unique state for every such assignment. We…
There exist NIP and non-NTP$_2$ theories satisfying all the following conditions: It is not o-minimal; All models are strongly locally o-minimal; It has a model which is an expansion of the linearly ordered abelian group over the reals…
Like all other knot polynomials, the superpolynomials should be defined in arbitrary representation R of the gauge group in (refined) Chern-Simons theory. However, not a single example is yet known of a superpolynomial beyond symmetric or…
It has been shown in the late 1960s that each formula of first-order logic without constants and function symbols obeys a zero-one law: As the number of elements of finite models increases, every formula holds either in almost all or in…
To date, there has been no experimental evidence that invalidates quantum theory. Yet it may only be an effective description of the world, in the same way that classical physics is an effective description of the quantum world. We ask…
We study rational remainders associated with gluon amplitudes in gauge theories coupled to matter in arbitrary representations. We find that these terms depend on only a small number of invariants of the matter-representation called…
Based on various strategies and a new general doubling operator, we obtain several simple proofs of the celebrated Sharkovsky's cycle coexistence theorem. A simple non-directed graph proof which is especially suitable for a calculus course…
A very simple illustration of the Bell-Kochen-Specker contradiction is presented using continuous observables in infinite dimensional Hilbert space. It is shown that the assumption of the \emph{existence} of putative values for position and…
In this paper, we prove the non-existence of certain semistable Galois representations of a number field. Our consequence can be applied to some geometric problems. For example, we prove a special case of a Conjecture of Rasmussen and…
This paper examines the representation and explicit description of social welfare orders on infinite utility streams. It is assumed that the social welfare orders under investigation satisfy upper asymptotic Pareto and anonymity axioms. We…
We investigate Hindman- and Owings-type Ramsey-theoretic statements in Zermelo-Fraenkel set theory without the Axiom of Choice, with some occasional extra assumptions (such as the Axiom of Dependent Choice and/or the Axiom of Determinacy).…