Building on the correspondence between finitely axiomatised theories in Łukasiewicz logic and rational polyhedra, we prove that the unification type of the fragment of Łukasiewicz logic with $n\geqslant 2$ variables is nullary. This solves a problem left open by V. Marra and L. Spada [Ann. Pure Appl. Logic 164 (2013), pp. 192–210]. Furthermore, we refine the study of unification with bounds on the number of variables. Our proposal distinguishes the number m of variables allowed in the problem and the number n in the solution. We prove that the unification type of Łukasiewicz logic for all $m,n \geqslant 2$ is nullary.

In this paper we apply Conley index theory in a covering space of an invariant set S, possibly not isolated, in order to describe the dynamics in S. More specifically, we consider the action of the covering translation group in order to define a topological separation of S which distinguishes the connections between the Morse sets within a Morse decomposition of S. The theory developed herein generalizes the classical connection matrix theory, since one obtains enriched information on the connection maps for non-isolated invariant sets, as well as for isolated invariant sets. Moreover, in the case of an infinite cyclic covering induced by a circle-valued Morse function, one proves that the Novikov differential of f is a particular case of the p-connection matrix defined herein.

We give two sufficient criteria for schlichtness of envelopes of holomorphy in terms of topology. These are weakened converses of results of Kerner and Royden. Our first criterion generalizes a result of Hammond in dimension 2. Along the way, we also prove a generalization of Royden's theorem.

In a study of the word problem for groups, R. J. Thompson considered a certain group $F$ of self-homeomorphisms of the Cantor set and showed, among other things, that $F$ is finitely presented. Using results of K. S. Brown and R. Geoghegan, M. N. Dyer showed that $F$ is the fundamental group of a finite two-complex ${{Z}^{2}}$ having Euler characteristic one and which is Cockcroft, in the sense that each map of the two-sphere into ${{Z}^{2}}$ is homologically trivial. We show that no proper covering complex of ${{Z}^{2}}$ is Cockcroft. A general result on Cockcroft properties implies that no proper regular covering complex of any finite two-complex with fundamental group $F$ is Cockcroft.

We show that diagrammatically reducible two-complexes are characterized by the property: every finity subconmplex of the universal cover collapses to a one-complex. We use this to show that a compact orientable three-manifold with nonempty boundary is Haken if and only if it has a diagrammatically reducible spine. We also formulate an nanlogue of diagrammatic reducibility for higher dimensional complexes. Like Haken three-manifolds, we observe that if n ≥ 4 and M is compact connected n-dimensional manifold with a traingulation, or a spine, satisfying this property, then the interior of the universal cover of M is homeomorphic to Euclidean n-space.