Classifying topoi and finite forcing
type: Item
instance of: scholarly article
title: Classifying topoi and finite forcing
zbMATH Open document ID: 0516.03042
DOI: 10.1016/0022-4049(83)90085-3
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/25225
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03C25
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 3815637
zbMATH Keywords: model theory
zbMATH Keywords: topos-theoretic terms
zbMATH Keywords: Robinson's finite forcing
zbMATH Keywords: generic model
zbMATH Keywords: universal Horn theory
zbMATH Keywords: presheaves
MaRDI profile type: Publication
OpenAlex ID: W2045764924
cites work: Completing theories by forcing
cites work: Boolean classifying topoi
cites work: La logique des topos
cites work: Model theory
cites work: Change of base for toposes with generators
cites work: Q5662566
cites work: Forcing, arithmetic, division rings
cites work: Q4145861
cites work: Q4052109
cites work: Omitting quantifier-free types in generic structures
cites work: Q5639839
cites work: Completeness results for intuitionistic and modal logic in a categorical setting
cites work: Q4128955
description: scientific article; zbMATH DE number 3815637