Rationals with exotic convergences
We generalize the notion of a coarse sequential convergence compatible with an algebraic structure to a coarse one in a given class of convergences. In particular, we investigate coarseness in the class of all compatible convergences (with unique limits) the restriction of which to a given subset is fixed. We characterize such convergences and study relative coarseness in connection with extensions and completions of groups and rings. E.g., we show that: (i) each relatively coarse dense group precompletion...
We prove a convenient equivalent criterion for monotone completeness of ordered fields of generalized power series with exponents in a totally ordered Abelian group G and coefficients in an ordered field F. This enables us to provide examples of such fields (monotone complete or otherwise) with or without integer parts, i.e. discrete subrings approximating each element within 1. We include a new and more straightforward proof that is always Scott complete. In contrast, the Puiseux series field...
The ring of all real-valued measurable functions, carrying the pointwise convergence, is a sequential ring completion of the subring of all continuous functions and, similarly, the ring of all Borel measurable subsets of is a sequential ring completion of the subring of all finite unions of half-open intervals; the two completions are not categorical. We study -rings of maps and develop a completion theory covering the two examples. In particular, the -fields of sets form an epireflective...