Positive Topology and Feasible Refinement: Forcing Matrices, Positivity, and Information

Mirco A. Mannucci, Giovanni Sambin

We develop a conceptual and operational account of Positive Topology starting from a basic relation between points or models and observable properties. From this relation, two comp…