| 29 May 07 | Manchester | Galois connections done properly
Classical ring of fractions |
GaloisCon.ps.gz
(No slides for this) |
22 May 07 | Manchester | From rings of fractions to localizations. Second session | Same as below | 15 May 07 | Manchester | From rings of fractions to localizations. First session | RingFracs.ps.gz | 02 May 07 | Leeds | Is the Ackermann function optimal? | Ackermann.ps.gz | 18 April 07 | Swansea | Is the Ackermann function optimal? | See above | 27 Feb 07 | Manchester | Ranking techniques for posets, with an eye on modules. Second session | RankingSecond.ps.gz | 20 Feb 07 | Manchester | Ranking techniques for posets, with an eye on modules. First session | RankingFirst.ps.gz | 02 Dec 06 | Cambridge | The topological content of Monotone Bar Induction and the Fan Principle
Joint work with Nicola Gambino |
MBIaFan.ps.gz | 28 Nov 06 to 01 Dec 06 |
Cambridge | An introduction to Ordinal Notations | OrdNotations.ps.gz | 16 Nov 06 | MFG | Ordinal Notations | No slides, but see above | 23 May 06 | Lisbon | Syntactic measures of complexity for numeric functions | SyntacticMeasures.ps.gz | 19 May 06 | Coimbra | Tiering without tears [Same as above] | SyntacticMeasures.ps.gz | 15 May 06 | Coimbra | Boolean reflections of frames | BoolRefs.ps.gz | 30 March 06 | MFG | How long is a piece of string? | HowLong.ps.gz | 09 March 06 | MFG | Styles of derivation for Propositional Calculus and beyond | DervStyle.ps.gz | 02 March 06 | MFG | How big is the continuum? | HowBig.ps.gz | 07 Dec 05 | MFG | Trees, fans, football, and freedom of choice | Trees.ps.gz | 27 July 05 | MFG | What is a Grothendieck topology? | No Slides | 20 July 05 | MFG | What is a sheaf? | No Slides | 14 July 05 | MFG | A rational approach to enumeration | Rationals.ps.gz |
| 03 May 05 | MFG | From G\"odel's Theorem to Topological Spaces with some Modal Logic for softies | GTtoTS.ps.gz |
| April 04 to July 04 |
MFG | A running seminar on lattice constructions and event structures. See the link opposite for details of each session. There was no written material | Topics |
| 11 Feb 04 | MFG | Ehrenfeucht-Fraisse games for quantification | No slides |
| 18 Dec 03 | MFG | A `constructive' proof of the completness of propositional calculus | PropCalc.ps.gz |
| 24 Oct 03 | MFG | Scatological spaces | ScatSpace.ps.gz |
| 05 Sep 03 | St Andrews | The intrinsic complexity of natural number systems | Intrinsic.ps.gz |
| 28 Aug 03 | MFG | Why some people can't count (Tiering without tears) | Intrinsic.ps.gz |
| 07 Aug 03 | MFG | Quantales and linear logic | Quantales.ps.gz |
| 05 June 03 | MFG | Categories of contexts | Contexts.ps.gz |
| 30 May 03 | MFG | Uniform Type Systems | UTS.ps.gz |
| 08 May 03 | Bath | The tiering method of controlling complexity | Tiering.ps.gz |
| 07 May 03 | Swansea | Notations for iterations | NotatforIts.ps.gz |
| 06 May 03 | Swansea | Forms of Recursion and Induction | FormsofRec.ps.gz |
| 16 April 03 | MFG | What is the second order lambda calculus? | SecondOrdLcalc.ps.gz |
| 20 Feb 03 | MFG | !What is Linear Logic? | LinLog.ps.gz |
| 31 Jan 03 | Birmingham | What is and what is not point-free topology? | PointfreeTop.ps.gz |