Related papers: Intuitionistic nonstandard bounded modified realis…
Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify…
We prove some fundamental properties of mu-differentiable functions. A new notion of local minimizer and maximizer is introduced and several extremum conditions are formulated using the language of nonstandard analysis.
We extend abstract interpretation for the purpose of verifying hybrid systems. Abstraction has been playing an important role in many verification methodologies for hybrid systems, but some special care is needed for abstraction of…
It has been widely believed for half a century that there will never exist a nonlinear theory of generalized functions, in any mathematical context. The aim of this text is to show the converse is the case and invite the reader to…
In this paper I explore a nonstandard formulation of Hausdorff dimension. By considering an adapted form of the counting measure formulation of Lebesgue measure, I prove a nonstandard version of Frostman's lemma and show that Hausdorff…
In a recent work, \cite{cgss}, we developed a functional calculus for bounded operators defined on quaternionic Banach spaces. In this paper we show how the results from \cite{cgss} can be extended to the unbounded case, and we highlight…
Assessing sensitivity to unmeasured confounding is an important step in observational studies, which typically estimate effects under the assumption that all confounders are measured. In this paper, we develop a sensitivity analysis…
We propose a nonparametric additive model for estimating interpretable value functions in reinforcement learning, with an application in optimizing postoperative recovery through personalized, adaptive recommendations. While reinforcement…
The usual reading of logical implication "A implies B" as "if A then B" fails in intuitionistic logic: there are formulas A and B such that "A implies B" is not provable, even though B is provable whenever A is provable. Intuitionistic…
This article surveys work done in the last six years on the unification of various functional interpretations including G\"odel's dialectica interpretation, its Diller-Nahm variant, Kreisel modified realizability, Stein's family of…
For any pair of bounded observables $A$ and $B$ with pure point spectra, we construct an associated "joint observable" which gives rise to a notion of a joint (projective) measurement of $A$ and $B$, and which conforms to the intuition that…
There are two definitions of the measurable functional on the topological vector space: as a linear and measurable real-valued function and as a pointwise limit of the sequence of the continious linear functionals. In general case they are…
This paper develops the geometry of locally bounded rational functions on non-singular real algebraic varieties. First various basic geometric and algebraic results regarding these functions are established in any dimension, culminating…
First-order linear real arithmetic enriched with uninterpreted predicate symbols yields an interesting modeling language. However, satisfiability of such formulas is undecidable, even if we restrict the uninterpreted predicate symbols to…
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…
A functional limit theorem for the empirical measure-valued process of eigenvalues of a matrix fractional Brownian motion is obtained. It is shown that the limiting measure-valued process is the non-commutative fractional Brownian motion…
Mechanistic interpretability aims to reverse engineer the computation performed by a neural network in terms of its internal components. Although there is a growing body of research on mechanistic interpretation of neural networks, the…
We introduce a new version of arithmetic in all finite types which extends the usual versions with primitive notions of extensionality and extensional equality. This new hybrid version allows us to formulate a strong form of extensionality,…
Unmeasured confounding is a threat to causal inference and gives rise to biased estimates. In this article, we consider the problem of individualized decision-making under partial identification. Firstly, we argue that when faced with…
In a previous work \cite{She} we constructed measures on symbolic spaces which satisfy an extended multifractal formalism (in the sense that Olsen's functions $b$ and $B$ differ and that their Legendre transforms have the expected…