Complete topoi representing models of set theory
type: Item
instance of: scholarly article
title: Complete topoi representing models of set theory
zbMATH Open document ID: 0763.03028
DOI: 10.1016/0168-0072(92)90059-9
author: Andreas Blass
author: Andre Scedrov
published in: Annals of Pure and Applied Logic
publication date: 1992-09-27T00:00:00Z
full work available at URL: http://hdl.handle.net/2027.42/30052
Mathematics Subject Classification ID: 03E40
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 60735
zbMATH Keywords: ZFA
zbMATH Keywords: Boolean-valued model
zbMATH Keywords: Zermelo-Fraenkel set theory allowing atoms
zbMATH Keywords: Fraenkel-Mostowski permutation models
zbMATH Keywords: cumulative hierarchy
zbMATH Keywords: definability
zbMATH Keywords: representing topos
zbMATH Keywords: Grothendieck topos
MaRDI profile type: Publication
OpenAlex ID: W2024781128
cites work: Freyd’s models for the independence of the axiom of choice
cites work: Sheaf models for set theory
cites work: Q3963000
cites work: Q5596765
cites work: Q4145861
cites work: Q5632569
cites work: Colimits in Topoi
Recommended article: Topological models for extensional partial set theory
Recommended article: Completeness theorem for topological class models
Recommended article: EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
Recommended article: Topological models of epistemic set theory
Recommended article: Q5156315
Recommended article: Q4395561
Recommended article: Sets, Topoi and Intuitionism
Recommended article: Bounded complete models of topological spaces
Recommended article: Condensable models of set theory
Recommended article: Concrete Models of Set Theory
description: scientific article; zbMATH DE number 60735