Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Institute for Logic (Institut für Formale Logik)

Library Home || Full Table of Contents || Library Help

Visit this site: http://www.logic.univie.ac.at/

Author:University of Vienna, Vienna, Austria
Description: Research in the group is concentrated on axiomatic set theory, in particular: Inner models and large cardinals; Constructible models of set theory / core models; Consistency strengths; Coding; Forcing; and Descriptive set theory. Abstract Server; People at the Institute; Research Plans; Recent Publications; Lectures; Library; Links.

Levels: Research
Languages: English
Resource Types: Research Centers
Math Topics: Logic/Foundations, Set Theory

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.