[Back to
search results]

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