Related papers: Lofty Models of Peano Arithmetic

We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Goedel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones.…

Let L be a restricted Lie superalgebra with its enveloping algebra u(L) over a field F of characteristic p>2. A polynomial identity is called non-matrix if it is not satisfied by the algebra of 2\times 2 matrices over F. We characterize L…

An L-embedded Banach spaace is a Banach space which is complemented in its bidual such that the norm is additive between the two complementary parts. On such spaces we define a topology, called an abstract measure topology, which by known…

Expansion of real numbers is a basic research topic in number theory. Usually we expand real numbers in one given base. In this paper, we begin to systematically study expansions in multiple given bases in a reasonable way, which is a…

It is shown that there exists a normal uniform algebra, on a compact metrizable space, that fails to be strongly regular at some peak point. This answers a 31-year-old question of Joel Feinstein. Our example is R(K) for a certain compact…

Any finite-dimensional complex pointed Hopf algebra with group of group-likes isomorphic to a sporadic group, with the possible exception of the Fischer groups Fi22, the Baby Monster B and the Monster M, is a group algebra.

Let I be a dense linear order with a left endpoint but no right endpoint. We consider the lattice L(I) of finite unions of closed intervals of I. This lattice arises naturally in the setting of o-minimality, as these are precisely the…

We classify strongly homotopy Lie algebras - also called L-infinity algebras - of one even and two odd dimensions, which are related to $2|1$-dimensional $Z_2$-graded Lie algebras. What makes this case interesting is that there are many…

We show that if $p \colon M \to N$ is a normal Riemannian covering, with $N$ closed, and $M$ has exponential volume growth, then there are non-constant, positive harmonic functions on $M$. This was conjectured by Lyons and Sullivan in…

We parameterize the finite-dimensional irreducible representations of a class of pointed Hopf algebras over an algebraically closed field of characteristic zero by dominant characters. The Hopf algebras we are considering arise in the work…

We study point sets arising from cut-and-project constructions. An important class is weak model sets, which include squarefree numbers and visible lattice points. For such model sets, we give a non-trivial upper bound on their pattern…

I shall explore various senses in which ultrafinitism can be fruitfully understood as engaging with a potentialist perspective in mathematics. First, I explain that every model $M$ of the theory of finite arithmetic -- arithmetic with a…

We review and analyse techniques from the literature for extending a normed algebra, A to a normed algebra, B, so that B has interesting or desirable properties which A may lack. For example, B might include roots of monic polynomials over…

We introduce the notion of extended affine Lie superalgebras and investigate the properties of their root systems. Extended affine Lie algebras, invariant affine reflection algebras, finite dimensional basic classical simple Lie…

In this short note we give a construction of an infinite series of Delone simplices whose relative volume grows super-exponentially with their dimension. This dramatically improves the previous best lower bound, which was linear.

Suppose that a function $F$ is meromorphic in the domain $\mathbb H(-m) = \{ z : \mathrm{Im}\, z > -m(\mathrm{Re}\, z) \}$, where $m$ is an even, positive, and continuous function that does not increase on $\mathbb R_{\ge 0}$, and suppose…

The aim of this work is to show that contemporary mathematics, including Peano arithmetic, is inconsistent, to construct firm foundations for mathematics, and to begin building on these foundations.

While the number of polyominoes is known to be supermultiplicative by a simple concatenation argument, it is still unknown whether the same applies to polyiamonds. This article proves that if $\ell,m$ are not both $1$, then $T(\ell+m)\ge…

We study a new bi-Lipschitz invariant \lambda(M) of a metric space M; its finiteness means that Lipschitz functions on an arbitrary subset of M can be linearly extended to functions on M whose Lipschitz constants are enlarged by a factor…

We introduce a class of convolutions on arithmetical functions that are regular in the sense of of Narkiewicz, homogeneous in the sense of Burnett et al, and bounded, in the sense that there exists a common finite bound for the rank of…