ALGEBRAIC NEW FOUNDATIONS (Q5222536)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: ALGEBRAIC NEW FOUNDATIONS |
scientific article; zbMATH DE number 7186308
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.80177546
0 references
0.7811651
0 references
0.77815115
0 references
0.7736123
0 references
0.7664186
0 references
0.76389843
0 references
0.7598423
0 references
