Related papers: Differentiability of the Minkowski question mark f…
We prove two (strong) undefinability results for logics based on inquisitive semantics (or its variant, team semantics). Namely: 1) we show the undefinability of intuitionistic implication in extended propositional inquisitive logic with…
Piecewise Deterministic Markov Processes (PDMPs) are studied in a general framework. First, different constructions are proven to be equivalent. Second, we introduce a coupling between two PDMPs following the same differential flow which…
An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory.
This paper examines the application of Tarski's Undefinability Theorem to first-order arithmetic. The generally accepted view is that for this case the Theorem establishes that arithmetic truth is not arithmetic. A careful examination of…
We give a survey of some known and some new results about factors of different sorts of $q-$Fibonacci numbers.
In this paper, we prove a new generalized Mikhlin multiplier theorem whose conditions are given with respect to fractional derivatives in integral forms with two different integration intervals. We also discuss the connection between…
Finite differences have been widely used in mathematical theory as well as in scientific and engineering computations. These concepts are constantly mentioned in calculus. Most frequently-used difference formulas provide excellent…
New Orlicz Brunn-Minkowski inequalities are established for rigid motion compatible Minkowski valuations of arbitrary degree. These extend classical log-concavity properties of intrinsic volumes and generalize seminal results of Lutwak and…
We consider the conjecture of Brutman and Pasow on a totality divided differences and prove the conjecture for continuous functions.
A new simple proof of Stirling's formula via the partial fraction expansion for the tangent function is presented.
We give the counter-examples related to a Gaussian Brunn-Minkowski inequality and the (B) conjecture.
In this paper, we consider iterative propositional calculi, which are finite sets of propositional formulas together with the rules of modus ponens and weak substitution (when formula being substituted must be already inferred). We…
Previously, several natural integral transforms of the Minkowski question mark function F(x) were introduced by the author. Each of them is uniquely characterized by certain regularity conditions and the functional equation, thus encoding…
By some new recursive algorithms, in this paper, we will give some improvements on Waring's problem.
This paper enriches preexisting satisfiability tests for unquantified languages, which in turn augment a fragment of Tarski's elementary algebra with unary real functions possessing a continuous first derivative. Two sorts of individual…
Theory of differential subordination provides techniques to reduce differential subordination problems into verifying some simple algebraic condition called admissibility condition. We exploit the first order differential subordination…
We investigate how to model exchangeability with choice functions. Exchangeability is a structural assessment on a sequence of uncertain variables. We show how such assessments are a special indifference assessment, and how that leads to a…
The paper is devoted to discretization of integral norms of functions from a given finite dimensional subspace. We use recent general results on sampling discretization to derive a new Marcinkiewicz type discretization theorem for the…
In this paper, we established new inequalities of Ostrowski's type for the class of preinvex functions are introduced.
In earlier papers we changed the concept of the inner product to a more general one, to the so-called Minkowski product. This product changes on the tangent space hence we could investigate a more general structure than a Riemannian…