We prove that (1) for any complete lattice $L$, the set $\mathcal {D}(L)$ of all non-empty saturated compact subsets Scott space $L$ is a Heyting algebra (with reverse inclusion order); and (2) if latti

Abstract Let ( X , L ) be a polarized smooth projective variety. For any basepoint-free linear system $$\mathcal {L}_{V}$$ L V with $$V\subset {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))$$ ⊂ H</mml:mtext...

objective(s)distinction of hydatidiform moles from non-molar specimens and subclassification of hydatidiform moles as complete and partial are important for clinical practice, but diagnosis based solely on histomorphology suffers from poor interobserver reproducibility. nowadays, pathologists rely on molecular techniques, however these methods are technically difficult, relatively expensive, an...