Related papers: A note on $\mathbb{Z}$ as a direct summand of nons…
Many a concrete theorem of abstract algebra admits a short and elegant proof by contradiction but with Zorn's Lemma (ZL). A few of these theorems have recently turned out to follow in a direct and elementary way from the Principle of Open…
The aim of this paper is to highlight a hitherto unknown computational aspect of Nonstandard Analysis. Recently, a number of nonstandard versions of Goedel's system T have been introduced ([2,9,12]), and it was shown in [26] that the…
We study the ISR (von Neumann invariant subalgebra rigidity) property for certain discrete groups arising as semidirect products from algebraic actions on certain 2-torsion groups, mostly arising as direct products of $\mathbb{Z}_2$. We…
We consider alternative orders of summation for the conditionally convergent series defining the weight-2 Eisenstein series G2 and the Weierstrass p-function. The resulting sums differ from the standard ones by a residual term that can be…
Let $\mathbf{G}$ be either a simple linear algebraic group over an algebraically closed field of positive characteristic or a quantum group at a root of unity. We define new classes of indecomposable $\mathbf{G}$-modules, which we call…
Let $A$ be a von Neumann algebra with no central summands of type $I_1$. We will show that every nonlinear Lie $n$-derivation on $A$ is of the standard form, i.e. it can be expressed as a sum of an additive derivation and a central-valued…
A theory T is tight if different deductively closed extensions of T (in the same language) cannot be bi-interpretable. Many well-studied foundational theories are tight, including PA [Visser2006], ZF, Z2, and KM [enayat2017]. In this…
Let $\mathcal{A}$ be a finite subset of $\mathbb{N}$ including $0$ and $f_\mathcal{A}(n)$ be the number of ways to write $n=\sum_{i=0}^{\infty}\epsilon_i2^i$, where $\epsilon_i\in\mathcal{A}$. We consider asymptotics of the summatory…
We introduce a new family of real analytic modular forms on the upper half plane. They are arguably the simplest class of `mixed' versions of modular forms of level one and are constructed out of real and imaginary parts of iterated…
In this paper, we introduce a method of converting implicit equations to the usual forms of functions locally without differentiability. For a system of implicit equations which are equipped with continuous functions, if there are unique…
This paper aims to build a new understanding of the nonstandard mathematical analysis. The main contribution of this paper is the construction of a new set of numbers, $\mathbb{R}^{\mathbb{Z}_< }$, which includes infinities and…
This paper consists of a description of the variety of two dimensional associative algebras within the framework of Nonstandard Analysis. By decomposing each algebra in A^2 as sum of a Jordan algebra and a Lie algebra, we calculate the…
We apply methods of nonstandard mathematics in order to regard analytic geometry in a very different way. For example, complex spaces are seen to be the "standard part" of certain algebraic nonstandard schemes. We construct a category of…
We propose a set theory strong enough to interpret powerful type theories underlying proof assistants such as LEGO and also possibly Coq, which at the same time enables program extraction from its constructive proofs. For this purpose, we…
We show that an arithmetic function which satisfies some weak multiplicativity properties and in addition has a non-decreasing or $\log$-uniformly continuous normal order is close to a function of the form $n\mapsto n^c$. As an application…
The GAI (Generalized Additive Independence) model proposed by Fishburn is a generalization of the additive utility model, which need not satisfy mutual preferential independence. Its great generality makes however its application and study…
The theory of associative $n$-categories has recently been proposed as a strictly associative and unital approach to higher category theory. As a foundation for a proof assistant, this is potentially attractive, since it has the potential…
In this paper we show that the $K_0$ groups of noncommutative $\mathbb{R}^{2n}$ are $\mathbb{Z}$ for $\forall n\in\mathbb{N}^*$ and make an approach to the calculation of the smooth case, which will bring many new sequence problems relating…
We study equivariant primitives of Eisenstein series for principal congruence subgroups and show that they are precisely the corresponding non-holomorphic Eisenstein series. We present closed formulas that naturally generalise existing…
We prove various extensions of the Tennenbaum phenomenon to the case of computable quotient presentations of models of arithmetic and set theory. Specifically, no nonstandard model of arithmetic has a computable quotient presentation by a…