Related papers: A nonstandard take on central sets
This paper is devoted to the proof Gauss' divergence theorem in the framework of "ultrafunctions". They are a new kind of generalized functions, which have been introduced recently [2] and developed in [4], [5] and [6]. Their peculiarity is…
These Lectures have been given at Laboratori Nazionali di Frascati in the month of March, 2005. The main idea was to provide our young collegues, who joined us in our attempts to understand the structure of $N$-extended supersymmetric…
We extend theories of reverse mathematics by a non-principal ultrafilter, and show that these are conservative extensions of the usual theories ACA0, ATR0, and Pi11-Comprehension.
A novel semi-supervised learning technique is introduced based on a simple iterative learning cycle together with learned thresholding techniques and an ensemble decision support system. State-of-the-art model performance and increased…
From any given sequence of finite or infinite graphs, a nonstandard graph is constructed. The procedure is similar to an ultrapower construction of an internal set from a sequence of subsets of the real line, but now the individual entities…
Ultrafilters are a tool, originating in mathematical logic and general topology, that has steadily found more and more uses in multiple areas of mathematics, such as combinatorics, dynamics, and algebra, among others. The purpose of this…
The technique known as group averaging provides powerful machinery for the study of constrained systems. However, it is likely to be well defined only in a limited set of cases. Here, we investigate the possibility of using a `renormalized'…
We fully characterise the solvability of Rado equations inside linear combinations $a_{1}\U\oplus\dots\oplus a_{n}\U$ of idempotent ultrafilters $\U\in\beta\Z$ by exploiting known relations between such combinations and strings of integers.…
Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms…
We continue the research of the relation $\hspace{1mm}\widetilde{\mid}\hspace{1mm}$ on the set $\beta {\mathbb{N}}$ of ultrafilters on ${\mathbb{N}}$, defined as an extension of the divisibility relation. It is a quasiorder, so we see it as…
These notes are concerned with the existence and the basic properties of the set-theoretic universes for nonstandard analysis, compiled by a beginner in the subject. It assumes a basic background in first-order logic, though the necessary…
The theory of distributions provides generalized solutions for problems which do not have a classical solution. However, there are problems which do not have solutions, not even in the space of distributions. As model problem you may think…
The concept of a supercharacter theory of a finite group was introduced by Diaconis and Isaacs as an alternative to the usual irreducible character theory, and exemplified with a particular construction in the case of finite algebra groups.…
The Theorems of Hindman and van der Waerden belong to the classical theorems of partition Ramsey Theory. The Central Sets Theorem is a strong simultaneous extension of both theorems that applies to general commutative semigroups. We give a…
We consider exponential ultradistribution semigroups with non--densely defined generators and give structural theorems for ultradistribution semigroups. Also structural theorems for exponential ultradistribution semigroups are given.
The Dirichlet form is a generalization of the Laplacian, heavily used in the study of many diffusion-like processes. In this paper we present a nonstandard representation theorem for the Dirichlet form, showing that the usual Dirichlet form…
Under consideration are the construction and properties of some special class of second other tangent sets on using the technique of nonstandard analysis.
Currently the two popular ways to practice Robinson's nonstandard analysis are the model-theoretic approach and the axiomatic/syntactic approach. It is sometimes claimed that the internal axiomatic approach is unable to handle constructions…
Using Schmidt's Subspace Theorem, this paper improves and extends an existing transcendence result for sequences of algebraic numbers. The theorems thus produced correspond to a central theorem on the irrationality of sequences due to…
This is a Research and Instructional Development Project from the U. S. Naval Academy. In this monograph, the basic methods of nonstandard analysis for n-dimensional Euclidean spaces are presented. Specific rules are deveoped and these…