November 24: L.Staiger: Mass, Kategorie und Dimension im Sequenz-Kalkuel


Subject: November 24: L.Staiger: Mass, Kategorie und Dimension im Sequenz-Kalkuel
From: Helmut Veith (kgs-owner@dbai.tuwien.ac.at)
Date: Mon Nov 17 1997 - 19:11:45 MET


Lecture Announcement
--------------------

Ludwig Staiger
=================================================
Martin-Luther-Universitaet Halle-Wittenberg

Mass, Kategorie und Dimension im Sequenz-Kalkuel
------------------------------------------------

Monday, November 24, 1997 - !!! 18.30 !!!
                                 -----

Im Vortrag wird die Monadische Pradikatenlogik der zweiten Stufe
ueber einseitig unendlichen Woertern (sog. omega-Woertern) betrachtet.
Die hierin definierbaren Modelle sind die aus der Automatentheorie
bekannten regulaeren omega-Sprachen.

Im Raum aller omega-Woerter werden die natuerliche Topologie
(die sog. Cantor-Topologie), Masse mit gewissen natuerlichen
Eigenschaften und die Hausdorff Dimension betrachtet. Es erweist
sich -- im Gegensatz zum allgemeinen Fall (man vergleiche etwa
Oxtobys Monographie ``Mass und Kategorie'') --, dass fuer die
regulaeren omega-Sprachen Begriffe, wie (relative) Bairesche
Kategorie, Mass und Hausdorff Dimension ``uebereinstimmen'.

Des weiteren wird mit Hilfe der topologischen bzw.
dimensionstheoretischen Resultate f"ur regulaere omega-Sprachen
ein hinreichendes Kriterium daf"ur angegeben, wann zwei
omega-Woerter dieselben Saetze der monadischen Praedikatenlogik
der der zweiten Stufe erfuellen.

PLACE:

Seminarraum SEM 181A, Institut fuer Informationssysteme,
Paniglgasse 16, 1. Stock, 1040 Wien.

------------------------
Kurt-Goedel-Gesellschaft
Technische Universitaet Wien
Institut fuer Computersprachen E185.2
Resselgasse 3/1, A-1040 Wien

Tel: (+43 1) 588 01/4088
Fax: (+43 1) 504 15 89
email: mailto:kgs@logic.tuwien.ac.at
http://logic.ac.at
listserver: mailto:listproc@dbai.tuwien.ac.at

Mit Unterstuetzung des
Bundesministeriums fuer Wissenschaft und Forschung



This archive was generated by hypermail 2b25 : Thu Apr 06 2000 - 16:19:18 MET DST