Related papers: A short nonstandard proof of the Doob-Meyer and Do…
Using nonstandard analysis, an intuitive and very short proof of the Radon-Nikodym theorem is provided
Every submartingale S of class D has a unique Doob-Meyer decomposition S=M+A, where M is a martingale and A is a predictable increasing process starting at 0. We provide a short and elementary prove of the Doob-Meyer decomposition theorem.…
We give a simple proof of the Fourier Inversion Theorem, using the methods of nonstandard analysis.
By nonstandard analysis, a very short and elementary proof of the Spectral Theorem for unbounded self-adjoint operators is given.
We prove results on the existence of Dol\'{e}ans-Dade measures and of the Doob-Meyer decomposition for supermartingales indexed by a general index set
The following paper follows on from work by Kamae, and gives a rigorous proof of the Ergodic Theorem, using nonstandard analysis.
The aim of this short note is to present an elementary, self-contained, and direct proof for the classical Lebesgue decomposition theorem.
Short nonstandard proofs are given for some results about infinite systems of equations in infinitely many variables.
Doob's theorem provides guarantees of consistent estimation and posterior consistency under very general conditions. Despite the limitation that it only guarantees consistency on a set with prior probability 1, for many models arising in…
In the paper, we introduce the notion of a local regular supermartingale relative to a convex set of equivalent measures and prove for it an optional Doob decomposition in the discrete case. This Theorem is a generalization of the famous…
We present a nonstandard simple elementary proof of Szemer\'{e}di's theorem by a straightforward induction with the help of three levels of infinities and four different elementary embeddings in a nonstandard universe.
We provide an outline of the proof of the Donovan--Wemyss Conjecture in the context of the Homological Minimal Model Program for threefolds. The proof relies on results of August, of Hua and the second-named author, Wemyss, and on the…
These lecture notes, to be completed in a later version, offer a short and rigorous introduction to Nostandard Analysis, mainly aimed to reach to a presentation of the basics of Loeb integration, and in particular, Loeb measures. The…
We give a proof of a Martingale Representation Theorem using the methods of nonstandard analysis.
We provide a general Doob-Meyer decomposition for $g$-supermartingale systems, which does not require any right-continuity on the system. In particular, it generalizes the Doob-Meyer decomposition of Mertens (1972) for classical…
The aim of this paper is to highlight a hitherto unknown computational aspect of Nonstandard Analysis. Recently, a number of nonstandard versions of Goedel's system T have been introduced ([2,9,12]), and it was shown in [26] that the…
This paper extends classical probabilistic results to the broader class of demimartingales and demisubmartingales. We establish variants of Doob's-type optional sampling theorem under minimal structural conditions on stopping times, relying…
We use standard constructions in algebraic geometry and homological algebra to extend the decomposition and hard Lefschetz theorems of T. Mochizuki and C. Sabbah so that they remains valid without the quasi-projectivity assumptions.
We give a proof of the uniform convergence of Fourier series, using the methods of nonstandard analysis.
In this paper, we develop Terence Tao's harmonic analysis method and apply it to restricted sumsets. The well known Cauchy-Davenport theorem asserts that if $A$ and $B$ are nonempty subsets of $Z/pZ$ with $p$ a prime, then $|A+B|\ge…