A general mathematics of names (Q2373874)
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: A general mathematics of names |
scientific article; zbMATH DE number 5171486
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A general mathematics of names |
scientific article; zbMATH DE number 5171486 |
Statements
A general mathematics of names (English)
0 references
16 July 2007
0 references
Fraenkel-Mostowski set theory
0 references
new quantifier
0 references
nominal techniques
0 references
alpha-conversion
0 references
binding of infinitely many names
0 references
de Bruijn indices
0 references
FM sets
0 references
name-carrying syntax
0 references
Barendregt representatives
0 references
scope extrusion
0 references
0.800261378288269
0 references
0.7636899948120117
0 references
0.7571260333061218
0 references
0.7506616115570068
0 references
0.7326569557189941
0 references