Universal algebra [5, 9, 4] is the theory of equalities t = u. It is a simple framework within which we can study mathematical structures, for example groups, rings, and fields. It has also been applied to study the mathematical properties of mathematical truth and computability. For example boolean algebras correspond to classical truth, heyting algebras correspond to intuitionistic truth, cyl...

It is sometimes argued that resistance to nominal wage cuts would justify a moderate amount of inflation in order to “grease the wheels of the labour market”. While empirical studies tend to find that nominal wages are not downwardly rigid in Anglo-Saxon economies, a number of studies suggest that downward nominal wage rigidity is more widespread among continental European countries. This paper...

Nominal unification is a generalisation of first-order unification that takes α-equivalence into account. In this paper, we study nominal unification in the context of equational theories. We introduce nominal narrowing and design a general nominal E-unification procedure, which is sound and complete for a wide class of equational theories. We give examples of application. 1998 ACM Subject Clas...

BACKGROUND The aim of this study is to develop consensus on core competencies required for postgraduate training in intensive care medicine. METHODS We used a combination of a modified Delphi method and a nominal group technique to create and modify the list of core competencies to ensure maximum consensus. Ideas were generated modified from Competency Based Training in Intensive Care Medicin...

Robust performance controller design for duty-cycle controlled series resonant converter (SRC) is proposed in this paper. The uncertainties of the converter are analyzed with load variation and power circuit components tolerances are taken into consideration. Additionally, a nominal performance (NP) controller is designed. Closed-loop system is simulated with Orcad and simulation results of r...

Plotkin’s style of Structural Operational Semantics (SOS) has become a de facto standard in giving operational semantics to formalisms and process calculi. In many such formalisms and calculi, the concepts of names, variables and binders are essential ingredients. In this paper, we propose a formal framework for dealing with names in SOS. The framework is based on the Nominal Logic of Gabbay an...

We document sectoral differences in changes in output, hours worked, prices and nominal wages in the US during the Great Depression. We explore whether contractionary monetary shocks combined with different degrees of nominal wage frictions across sectors are consistent with both sectoral as well as aggregate facts. To do so, we construct a two-sector model where goods from each sector are used...