By analyzing how one obtains the Stone space of the reduced product of an indexed collection of Boolean algebras from the Stone spaces of those algebras, we derive a topological construction, the “reduced coproduct”, which makes sense for indexed collections of arbitrary Tichonov spaces. When the filter in question is an ultrafilter, we show how the “ultracoproduct” can be obtained from the usual topological ultraproduct via a compactification process in the style of Wallman and Frink. We prove theorems dealing with the topological structure of reduced coproducts (especially ultracoproducts) and show in addition how one may use this construction to gain information about the category of compact Hausdorff spaces.
A road system is a collection of subsets of a set-the roads-such that every singleton subset is a road in the system and every doubleton subset is contained in a road. The induced ternary (betweenness) relation is defined by saying that a point c lies between points a and b if c is an element of every road that contains both a and b. Traditionally, betweenness relations have arisen from a plethora of other structures on a given set, reflecting intuitions that range from the order-theoretic to the geometric and topological. In this paper we initiate a study of road systems as a simple mechanism by means of which a large majority of the classical interpretations of betweenness are induced in a uniform way.
Abstract. The Chang-Loś-Suszko theorem of first-order model theory characterizes universal-existential classes of models as just those elementary classes that are closed under unions of chains. This theorem can then be used to equate two model-theoretic closure conditions for elementary classes; namely unions of chains and existential substructures. In the present paper we prove a topological analogue and indicate some applications.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.