No label defined (Q3050435)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1979
0 references
algorithmic properties of structures
0 references
formulae in infinitary languages
0 references
topoi
0 references
intuitionistically decidable formulae
0 references
category of sets
0 references
category of sheaves over any topological space
0 references
category of fuzzy sets with values in a completely distributive lattice
0 references
