The existential completion (Q5129224)
From MaRDI portal
scientific article; zbMATH DE number 7266038
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The existential completion |
scientific article; zbMATH DE number 7266038 |
Statements
26 October 2020
0 references
existential completion
0 references
doctrines
0 references
property-like monad
0 references
tripos
0 references
math.CT
0 references
math.LO
0 references
0 references
