Tychonoff's theorem in the framework of formal topologies
Journal of Symbolic Logic 62 (4):1315-1332 (1997)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRobert Titiev (1997). Arbitrage and the Dutch Book Theorem. Journal of Philosophical Research 22:477-482.
Wojciech Buszkowski (1988). Gaifman's Theorem on Categorial Grammars Revisited. Studia Logica 47 (1):23 - 33.
Steven M. Rosen (2006). Topologies of the Flesh: A Multidimensional Exploration of the Lifeworld. Ohio University Press, Series in Continental Thought.
J. Van Benthem, G. Bezhanishvili, B. Ten Cate & D. Sarenac (2006). Multimodal Logics of Products of Topologies. Studia Logica 84 (3):369 - 392.
J. van Benthem, G. Bezhanishvili, B. ten Cate & D. Sarenac (2006). Multimo Dal Logics of Products of Topologies. Studia Logica 84 (3).
Thierry Coquand, Sara Sadocco, Giovanni Sambin & Jan M. Smith (2000). Formal Topologies on the Set of First-Order Formulae. Journal of Symbolic Logic 65 (3):1183-1192.
Thierry Coquand (1992). An Intuitionistic Proof of Tychonoff's Theorem. Journal of Symbolic Logic 57 (1):28-32.
Maria Emilia Maietti & Silvio Valentini (2004). A Structural Investigation on Formal Topology: Coreflection of Formal Covers and Exponentiability. Journal of Symbolic Logic 69 (4):967 - 1005.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
