Type with module structure and its model of categorical logic (Q2991576)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6613744
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Type with module structure and its model of categorical logic |
scientific article; zbMATH DE number 6613744 |
Statements
10 August 2016
0 references
algebraic theory
0 references
logical model
0 references
left \(R\)-module
0 references
0.7395618557929993
0 references
0.7244015336036682
0 references
