Aidan Sims

1Kyle Mcquisten
1Paulette Nicole Willis
Learn More
General Information SATEN 1 is an object-oriented web-based extraction and belief revision engine. It runs on any computer via a Java 1.1 enabled browser such as Netscape 4. SATEN performs belief revision based on the AGM approach (Alchourrón et al 85). The extraction and belief revision reasoning engines operate on a user specified ranking of information.(More)
We develop notions of a representation of a topological graph E and of a covariant representation of a topological graph E which do not require the machinery of C *-correspondences and Cuntz– Pimsner algebras. We show that the C *-algebra generated by a universal representation of E is isomorphic to the Toeplitz algebra of Katsura's topological-graph(More)
My research lies in the general area of functional analysis. I am particularly interested in C *-algebras and related dynamical systems. From the very beginning of the theory of operator algebras, in the works of Murray and von Neumann dating from the mid 1930 s, dynamical systems and operator algebras have led a symbiotic existance. Murray and von(More)
Let E be a row-finite directed graph. We prove that there exists a C *-algebra C * min (E) with the following co-universal property: given any C *-algebra B generated by a Toeplitz-Cuntz-Krieger E-family in which all the vertex projections are nonzero, there is a canonical homomorphism from B onto C * min (E). We also identify when a homomorphism from B to(More)
We introduce twisted relative Cuntz-Krieger algebras associated to finitely aligned higher-rank graphs and give a comprehensive treatment of their fundamental structural properties. We establish versions of the usual uniqueness theorems and the classification of gauge-invariant ideals. We show that all twisted relative Cuntz-Krieger algebras associated to(More)
We show that if E is an equivalence of upper semicontinu-ous Fell bundles B and C over groupoids, then there is a linking bundle L(E) over the linking groupoid L such that the full cross-sectional algebra of L(E) contains those of B and C as complementary full corners, and likewise for reduced cross-sectional algebras. We show how our results generalise to(More)
  • 1