A simple geometric proof of a theorem on
We present a direct constructive proof of full normality for a class of spaces (locales) that includes, among others, all metrizable ones.
In this paper we survey results and open problems on the structure of additive and hereditary properties of graphs. The important role of vertex partition problems, in particular the existence of uniquely partitionable graphs and reducible properties of graphs in this structure is emphasized. Many related topics, including questions on the complexity of related problems, are investigated.
In this paper we present a topological duality for a certain subclass of the -structures defined by M. M. Fidel, which conform to a non-standard semantics for the paraconsistent N. C. A. da Costa logic . Actually, the duality introduced here is focused on -structures whose supports are chains. For our purposes, we characterize every -chain by means of a new structure that we will call down-covered chain (DCC) here. This characterization will allow us to prove the dual equivalence between the...
In this expository article we use topological ideas, notably compactness, to establish certain basic properties of orderable groups. Many of the properties we shall discuss are well-known, but I believe some of the proofs are new. These will be used, in turn, to prove some orderability results, including the left-orderability of the group of PL homeomorphisms of a surface with boundary, which are fixed on at least one boundary component.