Théorie des modeles et faisceaux (Q1258739)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Théorie des modeles et faisceaux |
scientific article |
Statements
Théorie des modeles et faisceaux (English)
0 references
1978
0 references
Forcing
0 references
Grothendieck Toposes
0 references
Kripke Semantics
0 references
Fragment of First Order (Intuitionistic) Logic
0 references
Vector Bundles on Compact Spaces
0 references
Projective Module of Finite Type over a Local Ring
0 references
