Sheaves and prime model extensions
type: Item
instance of: scholarly article
title: Sheaves and prime model extensions
zbMATH Open document ID: 0465.03016
DOI: 10.1016/0021-8693(81)90286-6
published in: Journal of Algebra
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 13L05
Mathematics Subject Classification ID: 18F20
Mathematics Subject Classification ID: 03C30
Mathematics Subject Classification ID: 13N05
zbMATH DE Number: 3728244
zbMATH Keywords: prime model extension property
zbMATH Keywords: stalks
zbMATH Keywords: global sections
zbMATH Keywords: existence of the real closure of an ordered field in any topos of sheaves on a Boolean space
zbMATH Keywords: existence of the real closure of any commutative regular f-ring
zbMATH Keywords: differential analogue of the Pierce representation theory
zbMATH Keywords: model completeness of two theories of differential regular rings
author: Marta Bunge
MaRDI profile type: Publication
full work available at URL: 0021-8693(81)90286-6
OpenAlex ID: W2009850798
cites work: Boolean spectra and model completions
cites work: Representation of semi-simple algebraic algebras
cites work: Q4108256
cites work: Artin-Schreier theory for commutative regular rings
cites work: Representations of algebras by continuous sections
cites work: Q5822102
cites work: Rings, fields, and spectra
cites work: Q4145861
cites work: The Gleason cover of a topos. II
cites work: Integral domain type representations in sheaves and other topoi
cites work: Q5680222
cites work: Commutative Regular Rings with Integral Closure
cites work: The real closure of a commutative regular f-ring
cites work: Completeness results for intuitionistic and modal logic in a categorical setting
cites work: Q5639839
cites work: Modules over commutative regular rings
cites work: Commutative Regular Rings without Prime Model Extensions
cites work: Q4079737
cites work: Q4128954
cites work: Model-completeness and elimination of quantifiers for subdirect products of structures
cites work: Prime model extensions for differential fields of characteristic p ≠ 0
cites work: The model theory of differential fields revisited
description: scientific article; zbMATH DE number 3728244