Nominal sets are a sets-based first-order denotation for variables in logic and programming. In this paper we extend nominal sets to two-level nominal sets. These preserve much of the behaviour of nominal sets—including notions of variable and abstraction—but they include a denotation for variables and meta-variables. Meta-variables are interpreted as infinite lists of distinct variable symbols...

The monoid $Cb$ of name substitutions and the notion of finitely supported $Cb$-sets introduced by Pitts as a generalization of nominal sets. A simple finitely supported $Cb$-set is a one point extension of a cyclic nominal set. The support map of a simple finitely supported $Cb$-set is an injective map. Also, for every two distinct elements of a simple finitely supported $Cb$-set, there exists...

Z. Naturforsch. 53 a, 819-822 (1998); received July 15, 1998 We analyse linear networks of impedances in the case when the impedances at every level differ by a factor of b from those at the previous level. Such networks can be used as models for rough surfaces, in which case there will exist a level of finest detail which must be taken into account in any calculation. We obtain an exact expres...

We give an accessible presentation to the foundations of nominal techniques, lying between Zermelo-Fraenkel set theory and Fraenkel-Mostowski set theory, and which has several nice properties including being consistent with the Axiom of Choice. We give two presentations of equivariance, accompanied by detailed yet user-friendly discussions of its theoretical significance and practical application.

We provide a nominal semantics of the monadic version of the fusion calculus. A set of compact transition rules is presented in the FraenkelMostowski framework by using a specific nominal quantifier. Using several nominal techniques, it is proved the equivalence between the new nominal semantics and the original semantics of the monadic fusion calculus.

We study the implications for optimal monetary policy when declining nominal wages is not a viable margin for adjustment to adverse economic conditions. To this end, we develop a New Keynesian model where downward nominal wage rigidity arises endogenously. We show that the optimal policy response to changing economic conditions is asymmetric. Another important finding is that downward nominal r...

Nominal logic is an extension of first-order logic with features useful for reasoning about abstract syntax with bound names. For computational applications such as programming and formal reasoning, it is desirable to develop constructive type theories for nominal logic that extend standard type theories for propositional, firstor higher-order logic. This has proven difficult, largely because o...