Loading…

Forcing and classifying topoi /

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Ščedrov, Andrej, 1955-
Format: Electronic eBook
Language:Inglés
Published: Providence, R.I., USA : American Mathematical Society, ©1984.
Series:Memoirs of the American Mathematical Society ; no. 295.
Subjects:
Online Access:Texto completo
Table of Contents:
  • 0. Preliminaries 1. Forcing and classifying topoi 2. More geometric forcing: Continuous actions 3. Forcing in set theory 4. Applications to intuitionistic theories.