Formal Topologies on the Set of First-Order Formulae (1998)

Cached

Download Links

by Thierry Coquand , Sara Sadocco , Giovanni Sambin , Jan M. Smith
Venue:Journal of Symbolic Logic
Citations:2 - 1 self

Documents Related by Co-Citation

56 Intuitionistic formal spaces – a first communication – Giovanni Sambin - 1987
5 About modest sets – G Rosolini - 1990
6 Geometry of Observations. Some contributions to (constructive) point-free topology – G Curi - 2003
3 Type-theoretic foundation of constructive mathematics – T Coquand, P Dybjer, E Palmgren, A Setzer
9 Heyting-valued interpretations for Constructive Set Theory – N Gambino - 2006
6 Notes on Constructive Set Theory”, Mittag-Leffler – P Aczel, M Rathjen
3 On the T1 Axiom and Other Separation Properties in Constructive Point-free and Point-set Topology – Peter Aczel, Giovanni Curi
4 Exact approximations to Stone-Čech compactification – G Curi - 2007
3 Realizability models for CZF+ ¬ Pow”. Unpublished note – T Streicher
2 Predicativity problems in point-free topology”. In: V. StoltenbergHansen et al. eds – E Palmgren
1 A logical approach to abstract algebra. A survey – T Coquand, H Lombardi
1 The category of frame presentations”. Forthcoming – G Curi
1 Sheaf interpretations for generalized predicative intuitionistic systems – N Gambino - 2002
1 The art of pointless thinking: a student’s guide to the category of locales – Math - 1984
1 CZF and Second Order Arithmetic”. Accepted for publication in Ann – R S Lubarsky
1 Polymorphic type theory and Uniformity Principle – B Petit
2 On the existence of Stone-Čech compactification – Giovanni Curi - 2009
11 Forcing for intuitionistic systems without power-set – R J Grayson - 1983
6 related to de Morgan’s law – Conditions P T Johnstone - 1979