Past Seminars › Seminar Series

Analytic Topology in Mathematics and Computer Science (past)

Wed, 03/02/2010
16:00 		Jonathan Zvesper (Computing Laboratory, Oxford) Analytic Topology in Mathematics and Computer Science Add to calendar L3
Arbitrary Levels of belief in Rationality in Strategic Games
TBA
Thu, 23/07/2009
11:30 		Piotr Oprocha ((Murcia and Krakow)) Analytic Topology in Mathematics and Computer Science Add to calendar L3
Shadowing, entropy and a homeomorphism of the pseudoarc.
In this talk we present a method of construction of continuous map f from [0, 1] to itself, such that f is topologically mixing, has the shadowing property and the inverse limit of copies of [0, 1] with f as the bounding map is the pseudoarc. This map indeuces a homeomorphism of the pseudoarc with the shadowing property and positive topological entropy. We therefore answer, in the affirmative, a question posed by Chen and Li in 1993 whether such a homeomorphism exists.
Thu, 02/07/2009
10:00 		Adrian Mathias (La Reunion) Analytic Topology in Mathematics and Computer Science Add to calendar DH 1st floor SR
Rudimentary recursion and provident sets
Mon, 12/01/2009
14:00 		Adrian Mathias (Reunion) Analytic Topology in Mathematics and Computer Science Add to calendar L3
Zermelo set theory, Mac Lane set theory and set forcing
Over certain transitive models of Z, the usual treatment of forcing goes awry. But the provident closure of any such set is a provident model of Z, over which, as shown in "Provident sets and rudimentary set forcing", forcing works well. In "The Strength of Mac Lane Set Theory" a process is described of passing from a transitive model of Z + Tco to what is here called its lune, which is a larger model of Z + KP. Theorem: Over a provident model of Z, the two operations of forming lunes and generic extensions commute. Corresponding results hold for transitive models of Mac Lane set theory + Tco.
Wed, 19/11/2008
16:00 		James Vicary (Comlab) Analytic Topology in Mathematics and Computer Science Add to calendar L3
To Be Announced
Wed, 12/11/2008
16:00 		Ben Chad (Oxford) Analytic Topology in Mathematics and Computer Science Add to calendar L3
'Two-point sets and the Axiom of Choice'.
'A two-point set is a subset of the plane which meets every line in exactly two points. The existence of two-point sets was shown by Mazurkiewicz in 1914, and the main open problem concerning these objects is to determine if there exist Borel two-point sets. If this question has a positive answer, then we most likely need to be able to construct a two-point set without making use of a well-ordering of the real line, as is currently the usual technique. We discuss recent work by Robin Knight, Rolf Suabedissen and the speaker, and (independently) by Arnold Miller, which show that it is consistent with ZF that the real line cannot be well-ordered and also that two-point sets exist.'
Wed, 15/10/2008
11:30 		George Wellen (Oxford) Analytic Topology in Mathematics and Computer Science Add to calendar
Congruent Numbers

For any corrections/updates to these listings, please contact seminars [-at-] maths [dot] ox [dot] ac [dot] uk.

Syndicate content