In this paper we present a topological duality for a certain subclass of the Fω-structures defined by M. M. Fidel, which conform to a non-standard semantics for the paraconsistent N. C. A. da Costa logic Cω. Actually, the duality introduced here is focused on Fω-structures whose supports are chains. For our purposes, we characterize every Fω-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 category of Fω-chains and a new category, whose objects are certain special topological spaces (together with a distinguished family of open sets) and whose morphisms are particular continuous functions.
We get the following result. A topological space is strongly paracompact if and only if for any monotone increasing open cover of it there exists a star-finite open refinement. We positively answer a question of the strongly paracompact property.
We present various observations of the bipolar nebula No. 14 from the list of Neckel and Staude (1984): CCD images at 7 different wavelengths, spectroscopy at intermediate resolution between 4800 A and 9500 A, and CCD stellar polarimetry. The centra! star turns out to be a "Trapezium" consisting of four stars of spectral types between B0.5 and A5. The nebular spectrum is that of a low
excited HII region, but in addition it exhibits a strong Ol 8446 line excited by Lyman β fluorescence. This requires a very high optical depth in Hα γ ≥ 1000) in the emitting region, which has been spatially resolved in NS 14. The stellar polarimetry, combined with the surface polarimetry of Scarrott et al. (1986), indicates that the polarization in the nebula can be explained by pure scattering
alone.
Fiedler and Markham (1994) proved {\left( {\frac{{\det \hat H}}{k}} \right)^k} \geqslant \det H, where H = (H_{ij})_{i,j}^{n}_{=1} is a positive semidefinite matrix partitioned into n × n blocks with each block k × k and \hat H = \left( {tr{H_{ij}}} \right)_{i,j = 1}^n. We revisit this inequality mainly using some terminology from quantum information theory. Analogous results are included. For example, under the same condition, we prove \det \left( {{I_n} + \hat H} \right) \geqslant \det {\left( {{I_{nk}} + kH} \right)^{{1 \mathord{\left/ {\vphantom {1 k}} \right. \kern-\nulldelimiterspace} k}}}., Minghua Lin., and Obsahuje seznam literatury
A (finite) acyclic connected graph is called a tree. Let W be a finite nonempty set, and let H(W) be the set of all trees T with the property that W is the vertex set of T. We will find a one-to-one correspondence between H(W) and the set of all binary operations on W which satisfy a certain set of three axioms (stated in this note).