Related papers: Weyl and intuitionistic infinitesimals
We provide a novel perspective on "regularity" as a property of representations of the Weyl algebra. In Part I, we critiqued a proposal by Halvorson [2004, "Complementarity of representations in quantum mechanics", Studies in History and…
We introduce the intuitive method to select an analytic Abel function of an analytic function f at a non-fixpoint. Due to the complexity of this method by involving matrix inversion of increasing size there is little known about its…
In this paper, we focus on the strong subconvexity bounds for triple product L-functions in the cubic level aspect. Our proof on the Weyl-type bound synthesizes techniques from classical analytic number theory with methods in automorphic…
We examine some recent scholarship on Leibniz's philosophy of the infinitesimal calculus. We indicate difficulties that arise in articles by Bassler, Knobloch, and Arthur, due to a denial to Leibniz's infinitesimals of the status of…
Inquisitive modal logic, InqML, in its epistemic incarnation, extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. We use the natural notion of…
In this paper we study Weyl sums over friable integers (more precisely $y$-friable integers up to $x$ when $y = (\log x)^C$ for a large constant $C$). In particular, we obtain an asymptotic formula for such Weyl sums in major arcs,…
Using a differential equation approach asymptotic expansions are rigorously obtained for Lommel, Weber, Anger-Weber and Struve functions, as well as Neumann polynomials, each of which is a solution of an inhomogeneous Bessel equation. The…
A criterion for the validity of the Riemann hypothesis reduced the problem to the search for a certain estimate, for a hermitian form associated by means of the Weyl symbolic calculus of operators to a distribution in the plane of an…
John S. Bell introduced the notion of beable, as opposed to the standard notion of observable, in order to emphasize the need for an unambiguous formulation of quantum mechanics. In the paper I show that Bell formulated in fact two…
By means of Ernst complex potential formalism it is shown, that previously studied static axisymmetric Einstein-Maxwell fields obtained though the application of the Horsky-Mitskievitch generating conjecture represent a combination of…
Let $X,Y$ be two irreducible subvarieties of the projective space $\mathbb{P}^n$, and $d\geq 1$ an integer number. The main result of this paper is an algorithm to construct {\bf explicitly}, in terms of $d$ and the ideals defining $X$ and…
There exist initial segments of both the Dyment lattice and the Dyment-Muchnik lattice that yield Brouwer algebras modeling exactly the intuitionistic propositional calculus. For the Dyment-Muchnik lattice, this result is obtained by…
We extend description logics (DLs) with non-monotonic reasoning features. We start by investigating a notion of defeasible subsumption in the spirit of defeasible conditionals as studied by Kraus, Lehmann and Magidor in the propositional…
We present a survey on Weil sums in which an additive character of a finite field $F$ is applied to a binomial whose individual terms (monomials) become permutations of $F$ when regarded as functions. Then we indicate how these Weil sums…
We analyze the developments in mathematical rigor from the viewpoint of a Burgessian critique of nominalistic reconstructions. We apply such a critique to the reconstruction of infinitesimal analysis accomplished through the efforts of…
Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that…
In intuitionistic mathematics, the Brouwer Continuity Theorem states that all total real functions are (uniformly) continuous on the unit interval. We study this theorem and related principles from the point of view of Reverse Mathematics…
Two models of integral theory based on the concept of a differential as a certain infinitesimal quantity are considered. One theory treats an infinitesimal quantity as a zero-tending sequence. The second is as an infinitesimal Hyper-real.
This note discusses Watson and Holmes (2016) and their pro- posals towards more robust Bayesian decisions. While we acknowledge and commend the authors for setting new and all-encompassing prin- ciples of Bayesian robustness, and we…
Motives of Brauer-Severi schemes of Cayley-smooth algebras associated to homogeneous superpotentials are used to compute inductively the motivic Donaldson-Thomas invariants of the corresponding Jacobian algebras. This approach can be used…