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)

Formal Metadata

Title
3/4 Introduction to categorical logic, classifying toposes and the "bridge" technique (IV)
Title of Series
Part Number
5
Number of Parts
28
Author
License
CC Attribution 3.0 Unported:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
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.