A characterization of internal sets
A workable nonstandard definition of the Kurzweil-Henstock integral is given via a Daniell integral approach. This allows us to study the HL class of functions from . The theory is recovered together with a few new results.
We propose a concept of decomposable bi-capacities based on an analogous property of decomposable capacities, namely the valuation property. We will show that our approach extends the already existing concepts of decomposable bi-capacities. We briefly discuss additive and -additive bi-capacities based on our definition of decomposability. Finally we provide examples of decomposable bi-capacities in our sense in order to show how they can be constructed.
Kelley's Theorem is a purely combinatorial characterization of measure algebras. We first apply linear programming to exhibit the duality between measures and this characterization for finite algebras. Then we give a new proof of the Theorem using methods from nonstandard analysis.
As a counterpart to classical topological vector spaces in the alternative set theory, biequivalence vector spaces (over the field of all rational numbers) are introduced and their basic properties are listed. A methodological consequence opening a new view towards the relationship between the algebraic and topological dual is quoted. The existence of various types of valuations on a biequivalence vector space inducing its biequivalence is proved. Normability is characterized in terms of total...