Grothendieck universe (Q1465090)
Jump to navigation
Jump to search
transitive set closed under the operations of parameterized union, power set and unordered pairs
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Grothendieck universe |
transitive set closed under the operations of parameterized union, power set and unordered pairs |
Statements
0 references
Identifiers
Sitelinks
Wikipedia(9 entries)
- cawiki Univers de Grothendieck
- dewiki Grothendieck-Universum
- enwiki Grothendieck universe
- frwiki Univers de Grothendieck
- itwiki Universo di Grothendieck
- jawiki グロタンディーク宇宙
- kowiki 그로텐디크 전체
- ptwiki Universo de Grothendieck
- ruwiki Универсум Гротендика