ALGEBRAIC NEW FOUNDATIONS (Q5222536)
From MaRDI portal
scientific article; zbMATH DE number 7186308
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ALGEBRAIC NEW FOUNDATIONS |
scientific article; zbMATH DE number 7186308 |
Statements
ALGEBRAIC NEW FOUNDATIONS (English)
0 references
6 April 2020
0 references
category theory
0 references
set theory
0 references
new foundations
0 references
NF
0 references
NFU
0 references
INF
0 references
INFU
0 references
algebraic set theory
0 references
topos
0 references
endofunctor
0 references
categorical semantics
0 references
intuitionistic logic
0 references
