Sheaves and prime model extensions (Q1154460)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Sheaves and prime model extensions |
scientific article; zbMATH DE number 3728244
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sheaves and prime model extensions |
scientific article; zbMATH DE number 3728244 |
Statements
Sheaves and prime model extensions (English)
0 references
1981
0 references
prime model extension property
0 references
stalks
0 references
global sections
0 references
existence of the real closure of an ordered field in any topos of sheaves on a Boolean space
0 references
existence of the real closure of any commutative regular f-ring
0 references
differential analogue of the Pierce representation theory
0 references
model completeness of two theories of differential regular rings
0 references
