Apartness spaces as framework for constructive topology (2003)

Cached

Download Links

by Douglas Bridges
Venue:Ann. Pure Appl. Logic
Citations:7 - 1 self

Documents Related by Co-Citation

401 Vulnerabilities Analysis – Matt Bishop - 1999
4 Quasi-apartness and neighbourhood spaces – H Ishihara, R Mines, P Schuster, L Vîta - 2006
8 Proximity spaces,” in Cambridge Tract – S A Naimpally, B D Warrack - 1970
53 Foundations of Constructive Mathematics – Errett Bishop - 1967
25 Some Points in Formal Topology – Giovanni Sambin - 2002
18 Aspects of general topology in constructive set theory – Peter Aczel
56 Intuitionistic formal spaces – a first communication – Giovanni Sambin - 1987
22 Proximity Spaces – S Naimpally - 1970
3 Strong versus uniform continuity: a constructive round. Quaestiones Mathematicae 26 – P Schuster, L Vîță, D Bridges - 2001
2 Cauchy nets in the constructive theory of apartness spaces – Douglas Bridges - 2002
2 Characterizing near continuity constructively – D Bridges, L Vît¸ă - 2001
7 Apartness as a relation between subsets – Peter Schuster, Luminit¸a Vît¸ă, Douglas Bridges - 2001
5 Nearness—a better approach to topological continuity and limits – P Cameron, J G Hocking, S A Naimpally - 1973
2 uniformity: a constructive view’, Computability and Complexity – D S Bridges, P M Schuster, L S Vît¸ă, topology ‘Apartness - 2001
1 Complements of sets in apartness spaces – L S Vît¸ă
1 On various properties of apartness spaces – L S Vît¸ă
1 Relational semantics through duality – E. Orlowska, I. Rewitzky, I. Düntsch, Ingrid Rewitzky, Ivo Düntsch - 2005
2 Duality via Truth: Semantic frameworks for lattice-based logics – E Or̷lowska, I Rewitzky - 2005
1 Discrete duality and its applications to reasoning with incomplete information – E Orłowska, I Rewitzky - 2007