相关论文: A Survey of Ultraproduct Constructions in General …

The article motivates recent work on saturation of ultrapowers from a general mathematical point of view.

This paper presents a novel possible worlds semantics, designed to elucidate the underpinnings of ultrafinitism. By constructing a careful modification of the well-known Kripke models for inuitionistic logic, we seek to extend our…

In the present paper we prove the compactness theorem with respect to partial structures and quasi-truth, using the technique of ultraproducts. Partial structures and quasi-truth are two notions developed within the partial structures…

This note is a survey on the topology of hyperplane arrangements. We mainly focus on the relationship between topology and the real structure, such as adjacent relations of chambers and stratifications related to real structures.

Starting from filters over the set of indices, we introduce structures in a product of sets where the coordinate sets have the given structures.

Transseries in the sense of \'Ecalle are constructed using a topological approach. A general contractive mapping principle is formulated and proved, showing the closure of transseries under a wide class of operations. In the second part we…

Ultraproducts are a well-known tool in the classical model theory of first-order logic. We explore their uses in the context of finite model theory.

The goal of this paper is to unify two lines in a particular area of graph limits. First, we generalize and provide unified treatment of various graph limit concepts by means of a combination of model theory and analysis. Then, as an…

The survey contains a brief description of the ideas, constructions, results, and prospects of the theory of hypergroups and generalized translation operators. Representations of hypergroups are considered, being treated as continuous…

We present an introduction to modern continuous model theory with an emphasis on its interactions with topics covered in this volume such as $C^*$-algebras and von Neumann algebras. The role of ultraproducts is highlighted and expositions…

In a previous publication, we introduced an abstract logic via an abstract notion of quantifier. Drawing upon concepts from categorical logic, this abstract logic interprets formulas from context as subobjects in a specific category, e.g.,…

For real application and theoretical investigation of ordinary hypergraphs and non-ordinary hypergraphs, researchers need to establish standard rules and feasible operating methods. We propose a visualization tool for investigating…

In this short note, we argue that directed homotopy can be given the structure of generalized modules, over particular monoids. This is part of a general attempt for refoundation of directed topology.

In this text, we are concerned with ring epimorphisms, and more specifically universal localisations, from path algebras to matrix algebras. We are mainly focused on constructing ring epimorphisms and universal localisations by extending…

We present several aspects of the "topology of meromorphic functions", which we conceive as a general theory which includes the topology of holomorphic functions, the topology of pencils on quasi-projective spaces and the topology of…

This is a review of the fundamental concepts of general topology.

In this article topologies on metagroups are studied. They are related with generalized $C^*$-algebras over ${\bf R}$ or ${\bf C}$. Homomorphisms and quotient maps on them are investigated. Structure of topological metagroups is…

We survey some results on toric topology.

In this work, we generalize several topological results and concepts from ring theory to the setting of monoids.

Many current challenges involve understanding the complex dynamical interplay between the constituents of systems. Typically, the number of such constituents is high, but only limited data sources on them are available. Conventional…