We say that a function $h \from \real \to \real$ is a Hamel function ($h \in \ham$) if $h$, considered as a subset of $\real^2$, is a Hamel basis for $\real^2$. We show that $\A(\ham)\geq\omega$, \emph{i.e.,} for every finite $F \subseteq \real^\real$ there exists $f\in\real^\real$ such that $f+F \subseteq \ham$. From the previous work of the author it then follows that $\A(\ham)=\omega$.

We prove, among other things, that if $C_p(X)$ is subcompact in the sense of de Groot, then the space $X$ is discrete. This generalizes a series of previous results on completeness properties of function spaces.

Given a countable set $S$ of positive reals, we study finite-dimensional Ramsey-theoretic properties of the countable ultrametric Urysohn space $\textbf{Q} _S$ with distances in $S$.

The homotopy groups of a finite partially ordered set (poset) can be described entirely in the context of posets, as shown in a paper by B. Larose and C. Tardif. In this paper we describe the relative version of such a homotopy theory, for pairs $(X,A)$ where $X$ is a poset and $A$ is a subposet of $X$. We also prove some theorems on the relevant version of the notion of weak homotopy equivalences for maps of pairs of such objects. We work in the category of reflexive binary relational structures which contains the posets as in the work of Larose and Tardif.

Let $f\colon X\to Y$ be a $\sigma$-perfect $k$-dimensional surjective map of metrizable spaces such that $\dim Y\leq m$. It is shown that for every positive integer $p$ with $ p\leq m+k+1$ there exists a dense $G_{\delta}$-subset ${\mathcal H}(k,m,p)$ of $C(X,\uin^{k+p})$ with the source limitation topology such that each fiber of $f\triangle g$, $g\in{\mathcal H}(k,m,p)$, contains at most $\max\{k+m-p+2,1\}$ points. This result provides a proof the following conjectures of S. Bogatyi, V. Fedorchuk and J. van Mill. Let $f\colon X\to Y$ be a $k$-dimensional map between compact metric spaces with $\dim Y\leq m$. Then: \begin{inparaenum}[\rm(1)] \item there exists a map $h\colon X\to\uin^{m+2k}$ such that $f\triangle h\colon X\to Y\times\uin^{m+2k}$ is 2-to-one provided $k\geq 1$; \item there exists a map $h\colon X\to\uin^{m+k+1}$ such that $f\triangle h\colon X\to Y\times\uin^{m+k+1}$ is $(k+1)$-to-one. \end{inparaenum}

A continuum is said to be Suslinian if it does not contain uncountably many mutually exclusive nondegenerate subcontinua. We prove that Suslinian continua are perfectly normal and rim-metrizable. Locally connected Suslinian continua have weight at most $\omega_1$ and under appropriate set-theoretic conditions are metrizable. Non-separable locally connected Suslinian continua are rim-finite on some open set.

The purpose of this note is to extend to an arbitrary generalized Hopf and Calabi-Eckmann manifold the following result of Kalyan Mukherjea: Let $V_n = \mathbb{S}^{2n+1} \times \mathbb{S}^{2n+1}$ denote a Calabi-Eckmann manifold. If $f,g \colon V_n \longrightarrow \mathbb{P}^n$ are any two holomorphic maps, at least one of them being non-constant, then there exists a coincidence: $f(x)=g(x)$ for some $x\in V_n$. Our proof involves a coincidence theorem for holomorphic maps to complex projective varieties of the form $G/P$ where $G$ is complex simple algebraic group and $P\subset G$ is a maximal parabolic subgroup, where one of the maps is dominant.

We show that every compactum has cohomological dimension $1$ with respect to a finitely generated nilpotent group $G$ whenever it has cohomological dimension $1$ with respect to the abelianization of $G$. This is applied to the extension theory to obtain a cohomological dimension theory condition for a finite-dimensional compactum $X$ for extendability of every map from a closed subset of $X$ into a nilpotent $\CW$-complex $M$ with finitely generated homotopy groups over all of $X$.

Applying the Sullivan conjecture we construct compacta of certain cohomological and extensional dimensions.

We show a result slightly more general than the following. Let $K$ be a compact Hausdorff space, $F$ a closed subset of $K$, and $d$ a lower semi-continuous metric on $K$. Then each continuous function $f$ on $F$ which is Lipschitz in $d$ admits a continuous extension on $K$ which is Lipschitz in $d$. The extension has the same supremum norm and the same Lipschitz constant. As a corollary we get that a Banach space $X$ is reflexive if and only if each bounded, weakly continuous and norm Lipschitz function defined on a weakly closed subset of $X$ admits a weakly continuous, norm Lipschitz extension defined on the entire space $X$.

Given a TQFT in dimension $d+1,$ and an infinite cyclic covering of a closed $(d+1)$-dimensional manifold $M$, we define an invariant taking values in a strong shift equivalence class of matrices. The notion of strong shift equivalence originated in R.~Williams' work in symbolic dynamics. The Turaev-Viro module associated to a TQFT and an infinite cyclic covering is then given by the Jordan form of this matrix away from zero. This invariant is also defined if the boundary of $M$ has an $S^1$ factor and the infinite cyclic cover of the boundary is standard. We define a variant of a TQFT associated to a finite group $G$ which has been studied by Quinn. In this way, we recover a link invariant due to D.~Silver and S.~Williams. We also obtain a variation on the Silver-Williams invariant, by using the TQFT associated to $G$ in its unmodified form.

A $Q$-set is a set of reals every subset of which is a relative $G_\delta$. We investigate the combinatorics of $Q$-sets and discuss a question of Miller and Zhou on the size $\qq$ of the smallest set of reals which is not a $Q$-set. We show in particular that various natural lower bounds for $\qq$ are consistently strictly smaller than $\qq$.

We study Hausdorff continua in which every set of certain cardinality contains a subset which disconnects the space. We show that such continua are rim-finite. We give characterizations of this class among metric continua. As an application of our methods, we show that continua in which each countably infinite set disconnects are generalized graphs. This extends a result of Nadler for metric continua.

It is known that the product $\omega_1 \times X$ of $\omega_1$ with an $M_1$-space may be nonnormal. In this paper we prove that the product $\kappa \times X$ of an uncountable regular cardinal $\kappa$ with a paracompact semi-stratifiable space is normal if{f} it is countably paracompact. We also give a sufficient condition under which the product of a normal space with a paracompact space is normal, from which many theorems involving such a product with a countably compact factor can be derived.

A space $X$ is a $D$-space if, for every neighborhood assignment $f$ there is a closed discrete set $D$ such that $\bigcup{f(D)}=X$. In this paper we give some necessary conditions and some sufficient conditions for a resolution of a topological space to be a $D$-space. In particular, if a space $X$ is resolved at each $x\in X$ into a $D$-space $Y_x$ by continuous mappings $f_x\colon X-\{{x}\} \rightarrow Y_x$, then the resolution is a $D$-space if and only if $\bigcup{\{{x}\}}\times \Bd(Y_x)$ is a $D$-space.

A new shorter proof of the existence of index pairs for discrete dynamical systems is given. Moreover, the index pairs defined in that proof are stable with respect to small perturbations of the generating map. The existence of stable index pairs was previously known in the case of diffeomorphisms and flows generated by smooth vector fields but it was an open question in the general discrete case.

If ${\cal A} $ and ${\cal B}$ are disjoint ideals on $\omega$, there is a {\it tower preserving\/} $\sigma$-centered forcing which introduces a subset of $\omega$ which meets every infinite member of ${\cal A}$ in an infinite set and is almost disjoint from every member of ${\cal B}$. We can then produce a model in which all compact separable radial spaces are Fr\'echet, thus answering a question of P.~Nyikos. The question of the existence of compact ccc radial spaces which are not Fr\'echet was first asked by Chertanov (see \cite{Ar78}).

This paper deals with the projective objects in the category of all $Z$-frames, where the latter is a common generalization of different types of frames. The main result obtained here is that a $Z$-frame is ${\bf E}$-projective if and only if it is stably $Z$-continuous, for a naturally arising collection ${\bf E}$ of morphisms.