Past Analytic Topology in Mathematics and Computer Science

8 June 2016
Steve Matthews

Partial metric spaces generalise metric spaces by allowing self-distance
to be a non-negative number. Originally motivated by the goal to
reconcile metric space topology with the logic of computable functions
and Dana Scott's innovative theory of topological domains they are now
too rigid a form of mathematics to be of use in modelling contemporary
applications software (aka 'Apps') which is increasingly concurrent,
pragmatic, interactive, rapidly changing, and inconsistent in nature.
This talks aims to further develop partial metric spaces in order to
catch up with the modern computer science of 'Apps'. Our illustrative
working example is that of the 'Lucid' programming language,and it's
temporal generalisation using Wadge's 'hiaton'.

  • Analytic Topology in Mathematics and Computer Science
18 May 2016
Peter Nyikos

ABSTRACT: A space of countable extent, also called an omega_1-compact space, is one in which every closed discrete subspace is countable.  The axiom used in the following theorem is consistent if it is consistent that there is a supercompact cardinal.

Theorem 1  The LCT axiom implies that every hereditarily normal, omega_1-compact space
is sigma-countably compact,  i.e., the union of countably many countably compact subspaces.

Even for the specialized subclass of monotonically normal spaces, this is only a consistency result:

Theorem 2   If club, then there exists a locally compact, omega_1-compact monotonically
normal space that is not sigma-countably compact.

These two results together are unusual in that most independence results on
monotonically normal spaces depend on whether Souslin's Hypothesis (SH) is true,
and do not involve large cardinal axioms. Here, it is not known whether either
SH or its negation affect either direction in this independence result.

The following unsolved problem is also discussed:

Problem  Is there a ZFC example of a locally compact, omega_1-compact space
of cardinality aleph_1 that is not sigma-countably compact?

  • Analytic Topology in Mathematics and Computer Science
27 April 2016
Achim Jung

It is quite easy to see that the sobrification of a
topological space is a dcpo with respect to its specialisation order
and that the topology is contained in the Scott topology wrt this
order. It is also known that many classes of dcpo's are sober when
considered as topological spaces via their Scott topology. In 1982,
Peter Johnstone showed that, however, not every dcpo has this
property in a delightful short note entitled "Scott is not always

Weng Kin Ho and Dongsheng Zhao observed in the early 2000s that the
Scott topology of the sobrification of a dcpo is typically different
from the Scott topology of the original dcpo, and they wondered
whether there is a way to recover the original dcpo from its
sobrification. They showed that for large classes of dcpos this is
possible but were not able to establish it for all of them. The
question became known as the Ho-Zhao Problem. In a recent
collaboration, Ho, Xiaoyong Xi, and I were able to construct a

In this talk I want to present the positive results that we have about
the Ho-Zhao problem as well as our counterexample. 

  • Analytic Topology in Mathematics and Computer Science
9 March 2016
Max Pitz

"In a paper from 2001, Diestel and Leader characterised uncountable graphs with normal spanning trees through a class of forbidden minors. In this talk we investigate under which circumstances this class of forbidden minors can be made nice. In particular, we will see that there is a nice solution to this problem under Martin’s Axiom. Also, some connections to the Stone-Chech remainder of the integers, and almost disjoint families are uncovered.”

  • Analytic Topology in Mathematics and Computer Science