Related papers: The Aleph-zero or zero dichotomy
David Aspero asks on the possibility of having Forcing axiom FA_{aleph_2}(K), where K is the class of forcing notions preserving stationarity of subsets of aleph_1 and of aleph_2. We answer negatively, in fact we show the negative result…
G\"odel's second incompleteness theorem is standardly understood as showing that no sufficiently strong, consistent theory of arithmetic can prove its own consistency, a result typically interpreted against a model-theoretic background in…
We provide various counter-examples to the long-standing so-called "Omnibus Conjecture" in Rational Homotopy Theory. That is, we show that a space with finite dimensional even-degree rational cohomology and finite dimensional spherical…
We prove the Tree Alternative Conjecture for the topological minor relation: letting $[T]$ denote the equivalence class of $T$ under the topological minor relation we show that: $|[T]| = 1$ or $|[T]|\geq \aleph_0$ and $\forall r\in V(T)$,…
We prove an analog of the Ado theorem - the existence of a finite-dimensional faithful representation - for a certain kind of finite-dimensional nilpotent Hom-Lie algebras.
In this article we first correct a recent misconception about a topology that was suggested by Zeeman as a possible alternative to his Fine topology. This misconception appeared while trying to establish the causality in the ambient…
I'll discuss how Goedel's paradox "This statement is false/unprovable" yields his famous result on the limits of axiomatic reasoning. I'll contrast that with my work, which is based on the paradox of "The first uninteresting positive whole…
Four propositions are considered concerning the relationship between the zeros of two combinations of the Riemann zeta function and the function itself. The first is the Riemann hypothesis, while the second relates to the zeros of a…
We explain a direct topological proof for the multiplicativity of Duflo isomorphism for arbitrary finite dimensional Lie algebras, and derive the explicit formula for the Duflo map. The proof follows a series of implications, starting with…
We prove two principal results. Firstly, we characterise Maass forms in terms of functional equations for Dirichlet series twisted by primitive characters. The key point is that the twists are allowed to be meromorphic. This weakened…
Not any geometry can be axiomatized. The paradoxical Godel's theorem starts from the supposition that any geometry can be axiomatized and goes to the result, that not any geometry can be axiomatized. One considers example of two close…
We clarify what it means for two full dualities based on the same algebra to be different. Our main theorem gives conditions on two different alter egos of a finite algebra under which, if one yields a full duality, then the other does too.…
The symplectic leaves of W-algebras are the intersections of the symplectic leaves of the Kac-Moody algebras and the hypersurface of the second class constraints, which define the W-algebra. This viewpoint enables us to classify the…
In this note, we present a puzzle. We prove that Zermelo-Fraenkel set theory is inconsistent by proving, using Zermelo-Fraenkel set theory, the false statement that any algorithm that determines whether any $n \times n$ matrix over $\mathbb…
The paper contains an alternative proof of M. Kontsevich Formality Theorem.
The Hodge conjecture is shown to be equivalent to a question about the homology of very ample divisors with ordinary double point singularities. The infinitesimal version of the result is also discussed.
Inspired by Zermelo's quasi-categoricity result characterizing the models of second-order Zermelo-Fraenkel set theory $\text{ZFC}_2$, we investigate when those models are fully categorical, characterized by the addition to $\text{ZFC}_2$…
We address questions of logic and expressibility in the context of random rooted trees. Infiniteness of a rooted tree is not expressible as a first order sentence, but is expressible as an existential monadic second order sentence (EMSO).…
An elementary proof is given for the existence of infinite dimensional abelian subalgebras in quantum W-algebras. In suitable realizations these subalgebras define the conserved charges of various quantum integrable systems. We consider all…
We study the complexity of the model checking problem, for fixed model A, over certain fragments L of first-order logic. These are sometimes known as the expression complexities of L. We obtain various complexity classification theorems for…