A general mathematics of names

Research output: Contribution to journalArticlepeer-review

29 Citations (Scopus)


We introduce FMG (Fraenkel-Mostowski Generalised) set theory, a generalisation of FM set theory which allows binding of infinitely many names instead of just finitely many names. We apply this generalisation to show how three presentations of syntax-de Bruijn indices, FM sets, and name-carrying syntax-have a relation generalising to all sets and not only sets of syntax trees. We also give syntax-free accounts of Barendregt representatives, scope extrusion, and other phenomena associated to a-equivalence. Our presentation uses a novel presentation based not on a theory but on a concrete model U. © 2007 Elsevier Inc. All rights reserved.

Original languageEnglish
Pages (from-to)982-1011
Number of pages30
JournalInformation and Computation
Issue number7
Publication statusPublished - Jul 2007


  • Alpha-conversion
  • Fraenkel-Mostowski set theory
  • Names
  • NEW quantifier
  • Nominal techniques
  • Set theory


Dive into the research topics of 'A general mathematics of names'. Together they form a unique fingerprint.

Cite this