Institute for Logic (Institut für Formale Logik)
Library Home || Full Table of Contents || Library Help
|University of Vienna, Vienna, Austria|
|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.|
|Resource Types:||Research Centers|
|Math Topics:||Logic/Foundations, Set Theory|
© 1994- The Math Forum at NCTM. All rights reserved.