Related papers: Nonstandard methods in large-scale topology II
In order to apply nonstandard methods to questions of algebraic geometry we continue our investigation from "Enlargements of categories" (Theory Appl. Categ. 14 (2005), No. 16, 357--398) and show how important homotopical constructions…
We develop some nonstandard techniques for bornological and coarse spaces. We first generalise the notion of bornology to prebornology, which better fits to coarse spaces. We then give nonstandard characterisations of some basic large-scale…
We present Nonstandard Analysis by three axioms: the {\em Extension, Transfer and Saturation Principles} in the framework of the superstructure of a given infinite set. We also present several applications of this axiomatic approach to…
In order to apply nonstandard methods to modern algebraic geometry, as a first step in this paper we study the applications of nonstandard constructions to category theory. It turns out that many categorial properties are well behaved under…
We survey techniques for constructing spaces with non-trivial self covers. These processes include methods for building low and high dimension continua which non-trivially self. We also discuss several related group theoretic and…
We give a survey on higher invariants in noncommutative geometry and their applications to differential geometry and topology.
We study varieties defined over nonstandard fields using techniques of nonstandard mathematics.
We introduce a framework for internal topological symmetries in quantum field theory, including "noninvertible symmetries" and "categorical symmetries". This leads to a calculus of topological defects which takes full advantage of…
We determine sufficient structure for an elementary topos to emulate E. Nelson's Internal Set Theory in its internal language, and show that any topos satisfying the internal axiom of choice occurs as a universe of standard objects and…
In section 1 of this paper, we characterize the isomorphism property of nonstandard universes in terms of the realization of some second--order types in model theory. In section 2, several applications are given. One of the applications…
We apply a modern axiomatic system of nonstandard analysis in metric fixed point theory. In particular, we formulate a nonstandard iteration scheme for nonexpansive mappings and present a nonstandard approach to fixed-point problems in…
In this paper, we develop a space-time upscaling framework that can be used for many challenging porous media applications without scale separation and high contrast. Our main focus is on nonlinear differential equations with multiscale…
We apply methods of nonstandard mathematics in order to regard analytic geometry in a very different way. For example, complex spaces are seen to be the "standard part" of certain algebraic nonstandard schemes. We construct a category of…
Nonstandard analysis is very complex, so finding a simple description of infinitesimal points will be useful. In this paper, ultrafilters as infinitesimal points in a topological space will be proposed, and some topological concepts is…
Torsions, curvatures, structure equations and Bianchi identities for locally anisotropic superspaces (containing as particular cases different supersymmetric extensions and prolongations of Riemann, Finsler, Lagrange and Kaluza--Klein…
In this paper, we study a new model of nonlocal geometric equations which appears in tomographic reconstruction when using the level-set method. We treat two additional difficulties which make the work original. On one hand, the level lines…
In this paper, nonstandard multistep methods are considered. It is shown that under some (sufficient and necessary) conditions, these methods attain the same order as their standard counterparts - to prove this statement, a nonstandard…
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…
The article is devoted to a structure of topological spaces related with topological quasigroups. Regular and complete spaces over topological quasigroups are studied. Separations and embeddings are also investigated for them. Their…
This is a sequel to our paper arXiv:1402.2546 to appear in the Journal of Geometric Analysis in which we concentrate on developing some of the topological properties of Sasaki-Einstein manifolds. In particular, we explicitly compute the…