An ordered field is a field which has a linear order and the order topology by this order. For a subfield $F$ of an ordered field, we give characterizations for $F$ to be Dedekind-complete or Archimedean in terms of the order topology and the subspace topology on $F$.

L'operazione «anti( )» di Paul Bankston fu introdotta in contesto della famiglia di tutti gli spazii topologici. Però, per molte ricerche ci conviene lavorare esclusivamente in una classe costretta di spazii di cui la struttura e ricca abbastanza di facilitare il ragionamento. In quest'articolo descriviamo come trasferire anti ( ), e concetti allacciati, dentro una tale classe costretta; con riferimento speciale all'esistenza di «pre-antis».

A topological space $X$ is totally Brown if for each $n\in \mathbb{N}\setminus \left\{1\right\}$ and every nonempty open subsets $U_1,U_2,...,U_n$ of $X$ we have ${\mathrm{cl}}_X\left(U_1\right)\cap {\mathrm{cl}}_X\left(U_2\right)\cap \cdots \cap {\mathrm{cl}}_X\left(U_n\right)\ne \varnothing$. Totally Brown spaces are connected. In this paper we consider the Golomb topology ${\tau }_G$ on the set $\mathbb{N}$ of natural numbers, as well as the Kirch topology ${\tau }_K$ on $\mathbb{N}$. Then we examine subsets of these spaces which are totally Brown. Among other results, we characterize the arithmetic progressions which are either totally Brown or totally separated in $(\mathbb{N},{\tau }_G)$. We also show that $(\mathbb{N},{\tau }_G)$ and $(\mathbb{N},{\tau }_K)$ are aposyndetic. Our results...

We describe a totally proper notion of forcing that can be used to shoot uncountable free sequences through certain countably compact non-compact spaces. This is almost (but not quite!) enough to produce a model of ZFC + CH in which countably tight compact spaces are sequential-we still do not know if the notion of forcing described in the paper can be iterated without adding reals.

In this paper we find a one-to-one correspondence between transitive relations and partial orders. On the basis of this correspondence we deduce the recurrence formula for enumeration of their numbers. We also determine the number of all transitive relations on an arbitrary $n$-element set up to $n=14$.

In this paper, two cardinal inequalities for functionally Hausdorff spaces are established. A bound on the cardinality of the $\tau \theta$-closed hull of a subset of a functionally Hausdorff space is given. Moreover, the following theorem is proved: if $X$ is a functionally Hausdorff space, then $\left|X\right|\le 2^{\chi \left(X\right)\mathit{\text{wcd}}\left(X\right)}$.

We prove that (A) if a countably compact space is the union of countably many $D$ subspaces then it is compact; (B) if a compact $T_2$ space is the union of fewer than $N\left(ℝ\right)$ = $cov\left(ℳ\right)$ left-separated subspaces then it is scattered. Both (A) and (B) improve results of Tkačenko from 1979; (A) also answers a question that was raised by Arhangel’skiǐ and improves a result of Gruenhage.

It is shown that no generalized Luzin space condenses onto the unit interval and that the discrete sum of ${\aleph }_1$ copies of the Cantor set consistently does not condense onto a connected compact space. This answers two questions from [2].

We consider the spaces called $Seq\left(u_t\right)$, constructed on the set $Seq$ of all finite sequences of natural numbers using ultrafilters $u_t$ to define the topology. For such spaces, we discuss continuity, homogeneity, and rigidity. We prove that $S\left(u_t\right)$ is homogeneous if and only if all the ultrafilters $u_t$ have the same Rudin-Keisler type. We proved that a space of Louveau, and in certain cases, a space of Sirota, are homeomorphic to $Seq\left(p\right)$ (i.e., $u_t=p$ for all $t\in Seq$). It follows that for a Ramsey ultrafilter $p$, $Seq\left(p\right)$ is a topological group....

A refined common generalization of known theorems (Arhangel’skii, Michael, Popov and Rančin) on the Fréchetness of products is proved. A new characterization, in terms of products, of strongly Fréchet topologies is provided.

A function is two-to-one if every point in the image has exactly two inverse points. We show that every two-to-one continuous image of ℕ* is homeomorphic to ℕ* when the continuum hypothesis is assumed. We also prove that there is no irreducible two-to-one continuous function whose domain is ℕ* under the same assumption.