Related papers: Some constructions in the M\=anava \'Sulvas\=utra
Recent analyses of Brahmagupta's discourse on the cyclic quadrilateral, and of Baudh\=ayana's approximate quadrature of the circle, have shown that it is useful to submit mathematical texts to a form of literary analysis. Several passages…
We compare the expressiveness of two extensions of monadic second-order logic (MSO) over the class of finite structures. The first, counting monadic second-order logic (CMSO), extends MSO with first-order modulo-counting quantifiers,…
If there is a "platonic world" M of mathematical facts, what does M contain precisely? I observe that if M is too large, it is uninteresting, because the value is in the selection, not in the totality; if it is smaller and interesting, it…
We provide new examples of integrable rational maps in four dimensions with two rational invariants, which have unexpected geometric properties, as for example orbits confined to non algebraic varieties, and fall outside classes studied by…
This chapter describes interrelations between: (1) algebraic structure on sets of scalars, (2) properties of monads associated with such sets of scalars, and (3) structure in categories (esp. Lawvere theories) associated with these monads.…
Constructivists (and intuitionists in general) asked what kind of mental construction is needed to convince ourselves (and others) that some mathematical statement is true. This question has a much more practical (and even cynical)…
This work was intended to be an attempt to introduce the meta-language for working with multiple-conclusion inference rules that admit asserted propositions along with the rejected propositions. The presence of rejected propositions, and…
In this article, the theory of sheaves is studied from a categorical point of view. This perspective vastly generalizes the usual theory of sheaves of sets to a more abstract setting which allows us to investigate the theory of sheaves with…
These Notes deal with various areas of mathematics, and seek reciprocal combinations, explore mutual relations, ranging from abstract objects to problems in physics.
Computations in renormalizable perturbative quantum field theories reveal mathematical structures which go way beyond the formal structure which is usually taken as underlying quantum field theory. We review these new structures and the…
We interpret the additive middle convolution operation in terms of the Harnad duality, and as an application, generalize the operation to have a multi-parameter and act on irregular singular systems.
We survey indications from different branches of Physics that the fine scale structure of spacetime is not adequately described by a manifold. Based on the hints we accumulate, we propose a new structure, which we call a quantum topos. In…
Generally, in any human field, a Smarandache Structure on a set A means a weak structure W on A such that there exists a proper subset B which is embedded with a stronger structure S. By proper subset one understands a set included in A,…
In all setups when the structure of UMVUEs is known, there exists a subalgebra $\cal U$ (MVE-algebra) of the basic $\sigma$-algebra such that all $\cal U$-measurable statistics with finite second moments are UMVUEs. It is shown that…
Considering a linearly ordered set, we introduce its symmetric version, and endow it with two operations extending supremum and infimum, so as to obtain an algebraic structure close to a commutative ring. We show that imposing symmetry…
We give a short historical review of early Kaluza-Klein theories. We study various causal structures on manifolds, especially those which cannot be described by a metric tensor with signature (+---). The smooth structure (atlas) on a…
Translations between different nonmonotonic formalisms always have been an important topic in the field, in particular to understand the knowledge-representation capabilities those formalisms offer. We provide such an investigation in terms…
The main goal of this paper is to study the extent of freedom one has in constructing quasi-copulas vs. copulas. Specifically, it exhibits three construction methods for quasi-copulas based on recent developments: a representation of…
This is an essay that considering the knowledge structure and language of a different nature, attempts to build on an explanation of the object of study and characteristics of the mathematical science. We end up with a learning cycle of…
In this paper we will relate hyperstructures and the general $\mathscr{H}$-principle to known mathematical structures, and also discuss how they may give rise to new mathematical structures. The main purpose is to point out new ideas and…