Embedding locales and formal topologies into positive topologies

Ciraulo, F; Sambin, G

Ciraulo, F (reprint author), Univ Padua, Dept Math, Via Trieste 63, I-35121 Padua, Italy.

ARCHIVE FOR MATHEMATICAL LOGIC, 2018; 57 (7-8): 755

Abstract

A positive topology is a set equipped with two particular relations between elements and subsets of that set: a convergent cover relation and a positi......

Full Text Link