Sheaves and prime model extensions (Q1154460)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sheaves and prime model extensions |
scientific article |
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
