Stone duality

Results: 33



#Item
1Inside every model of Abstract Stone Duality lies an Arithmetic Universe Paul Taylor 8 May 2005 Abstract The first paper published on Abstract Stone Duality showed that the overt discrete objects

Inside every model of Abstract Stone Duality lies an Arithmetic Universe Paul Taylor 8 May 2005 Abstract The first paper published on Abstract Stone Duality showed that the overt discrete objects

Add to Reading List

Source URL: www.monad.me.uk

Language: English - Date: 2009-02-12 13:08:05
    2Computably Based Locally Compact Spaces Paul Taylor March 7, 2006 Abstract ASD (Abstract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice

    Computably Based Locally Compact Spaces Paul Taylor March 7, 2006 Abstract ASD (Abstract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice

    Add to Reading List

    Source URL: www.monad.me.uk

    Language: English - Date: 2009-02-12 13:09:41
      3Computably Based Locally Compact Spaces Paul Taylor March 7, 2006 Abstract ASD (Abstract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice

      Computably Based Locally Compact Spaces Paul Taylor March 7, 2006 Abstract ASD (Abstract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice

      Add to Reading List

      Source URL: www.paultaylor.eu

      Language: English - Date: 2009-02-12 13:09:41
        4Non-Artin Gluing in Recursion Theory and Lifting in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Stone duality is a radical reformulation of general topology, in which the topology on a space X is not consi

        Non-Artin Gluing in Recursion Theory and Lifting in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Stone duality is a radical reformulation of general topology, in which the topology on a space X is not consi

        Add to Reading List

        Source URL: www.monad.me.uk

        Language: English - Date: 2009-02-12 13:04:10
          5Subspaces in Abstract Stone Duality Paul Taylor August 11, 2003 Abstract By abstract Stone duality we mean that the topology or contravariant powerset functor, seen as a self-adjoint exponential Σ(−) on some category,

          Subspaces in Abstract Stone Duality Paul Taylor August 11, 2003 Abstract By abstract Stone duality we mean that the topology or contravariant powerset functor, seen as a self-adjoint exponential Σ(−) on some category,

          Add to Reading List

          Source URL: www.monad.me.uk

          Language: English - Date: 2009-02-12 13:03:25
            6The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Abstract Abstract Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional and all other con

            The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Abstract Abstract Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional and all other con

            Add to Reading List

            Source URL: www.monad.me.uk

            Language: English - Date: 2009-06-03 17:25:38
              7Geometric and Higher Order Logic in terms of Abstract Stone Duality Paul Taylor Abstract The contravariant powerset and its generalisations ΣX to the lattices of open subsets of a locally compact topological space and o

              Geometric and Higher Order Logic in terms of Abstract Stone Duality Paul Taylor Abstract The contravariant powerset and its generalisations ΣX to the lattices of open subsets of a locally compact topological space and o

              Add to Reading List

              Source URL: www.monad.me.uk

              Language: English - Date: 2011-04-11 06:46:45
                8Tychonov’s Theorem in Abstract Stone Duality Paul Taylor 24 September 2006 Abstract New constructive definition of compactness in the form of the existence of a continuous ”universal quantifier”. Construction and c

                Tychonov’s Theorem in Abstract Stone Duality Paul Taylor 24 September 2006 Abstract New constructive definition of compactness in the form of the existence of a continuous ”universal quantifier”. Construction and c

                Add to Reading List

                Source URL: www.monad.me.uk

                Language: English - Date: 2009-02-12 13:26:18
                  9Subspaces in Abstract Stone Duality Paul Taylor August 11, 2003 Abstract By abstract Stone duality we mean that the topology or contravariant powerset functor, seen as a self-adjoint exponential Σ(−) on some category,

                  Subspaces in Abstract Stone Duality Paul Taylor August 11, 2003 Abstract By abstract Stone duality we mean that the topology or contravariant powerset functor, seen as a self-adjoint exponential Σ(−) on some category,

                  Add to Reading List

                  Source URL: www.paultaylor.eu

                  Language: English - Date: 2009-02-12 13:03:25
                    10An Elementary Theory of Various Categories of Spaces in Topology Paul Taylor 27 May 2005 Abstract In Abstract Stone Duality the topology on a space X is treated, not as an infinitary lattice,

                    An Elementary Theory of Various Categories of Spaces in Topology Paul Taylor 27 May 2005 Abstract In Abstract Stone Duality the topology on a space X is treated, not as an infinitary lattice,

                    Add to Reading List

                    Source URL: www.paultaylor.eu

                    Language: English - Date: 2009-02-12 13:11:47