Related papers: An introduction to b-minimality
Discussion of "Likelihood Inference for Models with Unobservables: Another View" by Youngjo Lee and John A. Nelder [arXiv:1010.0303]
We continue the analysis of higher and multiple Mahler measures using log-sine integrals as started in "Log-sine evaluations of Mahler measures" and "Special values of generalized log-sine integrals" by two of the authors. This motivates a…
We introduce the quasiminimal subshifts, subshifts having only finitely many subsystems. With $\mathbb{N}$-actions, their theory essentially reduces to the theory of minimal systems, but with $\mathbb{Z}$-actions, the class is much larger.…
We derive new identities involving zeros of the Bessel function $J_{\nu}$ and some related functions. These are special cases of more general identities obtained in this note, which might also be of interest.
{Researchers recently introduced interpolative metric spaces and established fixed-point theorems in this setting. We demonstrate that these metrics are a special case of b-metrics. On the other hand, suprametrics and b-suprametrics have…
In this paper, we present a new axiomatic system that is a minimal axiomatization of Boolean algebras. Furthermore, the symmetric difference is shown to be algebraically analogous to the modular difference of two numbers. Finally, a new…
In this paper we introduce a term calculus ${\cal B}$ which adds to the affine $\lambda$-calculus with pairing a new construct allowing for a restricted form of contraction. We obtain a Curry-Howard correspondence between ${\cal B}$ and the…
New results related to the Boas-Bellman generalisation of Bessel's inequality in inner product spaces are given.
One of the main lines of research in algorithmic randomness is that of lowness notions. Given a randomness notion R, we ask for which sequences A does relativization to A leave R unchanged (i.e., R^A = R)? Such sequences are call low for R.…
A recent continuous family of multiplicity functions on local rings was introduced by Taylor interpolating between Hilbert-Samuel and Hilbert-Kunz multiplicities. The obvious goal is to use this as a tool for deforming results from one to…
We attempt to survey recent results and open problems connected to Lieb-Thirring inequalities.
We comment on some apparently weak points in the novel strategies recently developed by various authors aiming at a proof of the Riemann hypothesis. After noting the existence of relevant previous papers where similar tools have been used,…
We introduce the notion of limiting theories, giving examples and providing a sufficient condition under which the first order theory of a structure is the limit of the first order theories of a collection of substructures. We also give a…
These are yet another lecture notes on Seiberg-Witten invariants, where no claim of originality is made, they contain a discussion of some related results from the recent literature.
Despite significant developments in Proof Theory, surprisingly little attention has been devoted to the concept of proof verifier. In particular, the mathematical community may be interested in studying different types of proof verifiers…
We present new counterexamples, which provide stronger limitations to sums-differences statements than were previously known. The main idea is to consider non-uniform probability measures.
Inspired by the fundamental results obtained by P. Halmos and A. Monteiro, concerning equivalence relations and monadic Boolean algebras, we recall the `concrete' Rauszer Boolean algebra pointed out by C. Rauszer (1971), via un preorder R.…
We prove a stronger version of a termination theorem appeared in the paper "On existence of log minimal models II". We essentially just get rid of the redundant assumptions so the proof is almost the same as in there. However, we give a…
This paper presents a plausible reasoning system to illustrate some broad issues in knowledge representation: dualities between different reasoning forms, the difficulty of unifying complementary reasoning styles, and the approximate nature…
In this article, we give a simple proof of the comparison of nearby and vanishing cycles in the sense of Riemann-Hilbert correspondence following the idea of Beilinson and Bernstein, without using the Kashiwara-Malgrange $V$-filtrations.