We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

3/4 Introduction to categorical logic, classifying toposes and the "bridge" technique (IV)

Formale Metadaten

Titel
3/4 Introduction to categorical logic, classifying toposes and the "bridge" technique (IV)
Serientitel
Teil
5
Anzahl der Teile
28
Autor
Lizenz
CC-Namensnennung 3.0 Unported:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache

Inhaltliche Metadaten

Fachgebiet
Genre
Abstract
Introduction to categorical logic, classifying toposes and the 'bridge' technique Theories classified by a presheaf topos and their quotients. Finite presentability, irreducible formulae and homogeneous models.