For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
18
views
6
references
 Top references
cited by
21
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      3,184
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      Inductively generated formal topologies

      Author(s): , , ,
      Publication date Created:
      Publication date (Print):
      Journal: Annals of Pure and Applied Logic
      Publisher: Elsevier BV

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          Related collections

          Most cited references6

          • Record: found
          • Abstract: not found
          • Article: not found

          An intuitionistic proof of Tychonoff's theorem

          Thierry Coquand (1992)
          Article 0 comments Cited 5 times – based on 0 reviews     Review now
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Constructive domain theory as a branch of intuitionistic pointfree topology

            Giovanni Sambin, Silvio Valentini, Paolo Virgili (1996)
            Article 0 comments Cited 3 times – based on 0 reviews     Review now
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Tychonoff's theorem in the framework of formal topologies

              Sara Negri, Silvio Valentini (1997)
              Article 0 comments Cited 2 times – based on 0 reviews     Review now
                Bookmark
                All references

                Author and article information

                Journal
                Title: Annals of Pure and Applied Logic
                Abbreviated Title: Annals of Pure and Applied Logic
                Publisher: Elsevier BV
                ISSN (Print): 01680072
                Publication date Created: December 2003
                Publication date (Print): December 2003
                Volume: 124
                Issue: 1-3
                Pages: 71-106
                Article
                DOI: 10.1016/S0168-0072(03)00052-6
                SO-VID: 3bcdbdf3-4d56-4eaf-9345-cf92d9bb8fe3
                Copyright © © 2003
                License:

                http://www.elsevier.com/tdm/userlicense/1.0/

                History

                Data availability:

                Comments

                Comment on this article

                scite_

                Similar content3,184

                See all similar

                Cited by21

                See all cited by

                Most referenced authors12

                See all reference authors