{{menu|Teaching|Advanced topics in mathematical logic summer semester 2017}}
{{comment|<nowiki>
<script type="text/x-mathjax-config">
  MathJax.Hub.Config({
    tex2jax: {
      inlineMath: [ ['$','$'] ],
      processEscapes: true
    }
  });
</script>
<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS_HTML">
</script>
</nowiki>}}
Time: Tue, Thu 2:00pm–3:00pm<br/>
starts 2017&#8209;03&#8209;02<br/>
Place: KGRC

===The Hyperuniverse===

The Hyperuniverse is the collection of all countable transitive models of ZFC. This course is devoted to the mathematical
study of the structure of the Hyperuniverse, which entails numerous issues in forcing, definability, large cardinals,
determinacy and infinitary logic.