
Archives
 October 2020
 September 2020
 August 2020
 July 2020
 June 2020
 May 2020
 April 2020
 March 2020
 February 2020
 January 2020
 December 2019
 November 2019
 October 2019
 September 2019
 August 2019
 July 2019
 June 2019
 May 2019
 April 2019
 March 2019
 February 2019
 January 2019
 December 2018
 November 2018
 October 2018
 September 2018
 August 2018
 July 2018
 June 2018
 May 2018
 April 2018
 March 2018
 February 2018
 January 2018
 December 2017
 November 2017
 October 2017
 September 2017
 July 2017
 June 2017
 April 2017
 February 2017
 January 2017
 October 2016
 August 2016
 July 2016
 June 2016
 May 2016
 April 2016
 March 2016
 January 2016
 December 2015
 October 2015
 September 2015
 July 2015
 June 2015
 May 2015
 March 2015
 February 2015
 January 2015
 December 2014
 November 2014
 September 2014
 July 2014
 June 2014
 May 2014
 March 2014
 January 2014
 December 2013
 November 2013
 October 2013
 July 2013
 June 2013
 April 2013
 February 2013
 October 2012

Meta
Author Archives: jgl
The RasiowaSikorski lemma and the Baire property
Merry Christmas! And a Happy New Year, too. There are incredible links between logic and topology, and I would like to start with something called the RasiowaSikorski lemma in logic. That is a theorem that states the existence of certain … Continue reading
Posted in Uncategorized
Comments Off on The RasiowaSikorski lemma and the Baire property
Quotients, colimits of dcpos, and related matters
How do we build colimits in the category Top of topological spaces? This is easy: we take the quotient of a big disjoint sum. How do we build colimits in the category Dcpo of dcpos? This is a much more … Continue reading
Posted in Uncategorized
Comments Off on Quotients, colimits of dcpos, and related matters
Corecompact+wellfiltered T0=sober locally compact
Last time, I motivated the construction of the wellfilterification Wf(X) of a space X of X. Xu, Ch. Shen, X. Xi and D. Zhao by saying that it was needed to understand their proof of the fact that every corecompact … Continue reading
Posted in Uncategorized
Comments Off on Corecompact+wellfiltered T0=sober locally compact
Wellfilterifications
Xiaodong Jia once asked the following question: is every corecompact, wellfiltered space automatically locally compact? The question was solved positively this year by J. Lawson and X. Xi. I originally planned to try and explain their result. Even more recently, … Continue reading
Posted in Uncategorized
Comments Off on Wellfilterifications
Sober subspaces and the Skula topology
It often happens that one wishes to show that a certain subspace A of a given sober space X is sober. The following is a pearl due to Keimel and Lawson, which was mentioned to me by Zhenchao Lyu in … Continue reading
Posted in Uncategorized
Comments Off on Sober subspaces and the Skula topology
Bchulls and Clathulls
Boundedcomplete domains (bcdomains) are an incredibly useful form of continuous dcpos. Given a continuous dcpo X, is there a completion of X as a bcdomain, for example a free bcdomain on X? That does not exist in general, but Yuri … Continue reading
Posted in Uncategorized
Comments Off on Bchulls and Clathulls
Shimrat’s theorem
Marcus Tressl just found a horrible mistake in the book: I had claimed that the T0 quotient of the topological quotient of any sober space by any equivalence relation is sober, but that is completely wrong. In fact, Moshe Shimrat … Continue reading
Posted in Uncategorized
Comments Off on Shimrat’s theorem
On countability: the compact completed sequence
Recently, Matthew de Brecht sent me a proof of a neat and rather surprising result: the product and the Scott topologies coincide for products of firstcountable, not necessarily continuous, posets. This rests on a clever argument, inspired by techniques invented … Continue reading
Posted in Uncategorized
Comments Off on On countability: the compact completed sequence
Isbell’s non sober complete lattice
Johnstone space J (1981) is the most famous example of a nonsober dcpo. In 1982, Isbell came up with a nonsober complete lattice. His construction is so complex that most authors use it as a black box. I would like … Continue reading
Posted in Uncategorized
Comments Off on Isbell’s non sober complete lattice
Countably presented locales
Reinhold Heckmann showed the following in a very nice paper of 2014: every countably presented locale is spatial. What makes it even nicer is that he shows how tightly this is connected with the Baire property. This also gives a … Continue reading
Posted in Uncategorized
Comments Off on Countably presented locales