Equivariant ZFA and the foundations of nominal techniques (Q5112646)
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: Equivariant ZFA and the foundations of nominal techniques |
scientific article; zbMATH DE number 7208317
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equivariant ZFA and the foundations of nominal techniques |
scientific article; zbMATH DE number 7208317 |
Statements
Equivariant ZFA and the foundations of nominal techniques (English)
0 references
4 June 2020
0 references
nominal techniques
0 references
equivariance
0 references
Zermelo-Fraenkel set theory with atoms (ZFA)
0 references
