Past Analytic Topology in Mathematics and Computer Science

23 July 2009
11:30
Piotr Oprocha
Abstract
<span lang="EN-GB"> <p> 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. </p> </span>
  • Analytic Topology in Mathematics and Computer Science
12 January 2009
14:00
Adrian Mathias
Abstract
<span lang="EN-GB"> <p> 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 &quot;Provident sets and rudimentary set forcing&quot;, forcing works well. In &quot;The Strength of Mac Lane Set Theory&quot; 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. </p> <p> Theorem: Over a provident model of Z, the two operations of forming lunes and generic extensions commute. </p> <p> Corresponding results hold for transitive models of Mac Lane set theory + Tco. </p> </span>
  • Analytic Topology in Mathematics and Computer Science

Pages