Boolean classifying topoi
type: Item
instance of: scholarly article
title: Boolean classifying topoi
zbMATH Open document ID: 0504.03030
DOI: 10.1016/0022-4049(83)90069-5
author: Andreas Blass
author: Andre Scedrov
published in: Journal of Pure and Applied Algebra
publication date: 1983-01-01T00:00:00Z
full work available at URL: http://hdl.handle.net/2027.42/25248
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03C25
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 3794065
zbMATH Keywords: classifying topos
zbMATH Keywords: Boolean topos
zbMATH Keywords: model-complete theory
zbMATH Keywords: categorical theory
zbMATH Keywords: geometric theories
MaRDI profile type: Publication
OpenAlex ID: W1969701120
cites work: Atomic toposes
cites work: Classifying topoi and finite forcing
cites work: Model theory
cites work: Q5662566
cites work: Q4145861
description: scientific article; zbMATH DE number 3794065