|
Projektbezogener Personenaustausch mit Finnland über
"Generalized Quantifiers and Finite Model Theory"
Description of the project:
- no english description available -
Zielsetzung des Porjektes ist eine deskriptive Charakterisierung von Komplexitätsklassen auf Klassen von (ungeordneten) Strukturen. Hierzu sollen Sprachen konzipiert und systematisch untersucht werden; insbesondere solche, die Fixpunktlogike mit Zählqunatoren umfassen.
Additional information: http://www.logik.mathematik.uni-freiburg.de
Phone: 0761 / 203-5602
Email: logik@sun2.mathematik.uni-freiburg.de
Runtime:
Start of project: 1998 End of project: 2000
Project Management:
Albert-Ludwigs-University Freiburg
Prof. Dr. H.-D. Ebbinghaus Abteilung für Mathematische Logik
Ernst-Zermelo-Str. 1 79104 Freiburg i. Br. Germany
Phone: 0761 203 5602 Email: ricarda.samek@math.uni-freiburg.de
http://logik.mathematik.uni-freiburg.de/
Actual Research Report
Keywords:
Helsinki, endliche Modelltheorie, Fixpunktlogiken, verallgem
|