In this issue, Karl Crary and Robert Harper respond to the critique of higher-order abstract syntax appearing in Logic Column 14, “Nominal Logic and Abstract Syntax” (SIGACT News 36(4), December 2005). I am always looking for contributions. If you have any suggestion concerning the content of the Logic Column, or if you would like to contribute by writing a column yourself, feel free to get in ...

An overview of the background of Taylor series methods and the utilization of the differential algebraic structure is given, and various associated techniques are reviewed. The conventional Taylor methods are extended to allow for a rigorous treatment of bounds for the remainder of the expansion in a similarly universal way. Utilizing differential algebraic and functional analytic arguments on ...

This paper proposes a new approach for analyzing the relationship between macroeconomic factors and the income distribution. The conventional method of analysis is regression of summary inequality indices on variables such as the unemployment and inflation rates. Building on the lessons from recent advances in time-series econometrics, we suggest instead that one should first fit a parametric f...

We reexamine Rogers’ (1994) analysis of the biological basis of the rate of time preference. Although his basic insight concerning the derivation of the felicity function holds up, the functional form he uses does not generate the evolutionary equilibrium behavior. Moreover, Rogers relies upon an interior solution for a particular kind of intergenerational transfer. We show such interior soluti...

A discrete symmetry of a preference relation is a mapping from the domain of choice to itself under which preference comparisons are invariant; a continuous symmetry is a one-parameter family of such transformations that includes the identity; and a symmetry field is a vector field whose trajectories generate a continuous symmetry. Any continuous symmetry of a preference relation implies that i...

The language LRTp is a non-deterministic language for exact real number computation. It has been shown that all computable first order relations in the sense of Brattka are definable in the language. If we restrict the language to single-valued total relations (e.g. functions), all polynomials are definable in the language. This paper is an expanded version of [12] in which we show that the non...

This paper proposes pure significance tests for the absence of nonlinearity in cointegrating relationships. No assumption of the functional form of the nonlinearity is made. It is envisaged that the application of such tests could form the first step towards specifying a nonlinear cointegrating relationship for empirical modelling. The asymptotic and small sample properties of our tests are inv...

The paper presents the proof of correctness of an experimental supercompiler HOSC dealing with higher-order functions. В работе приводится доказательство корректности экспериментального суперкомпилятора HOSC, работающего с функциями высших порядков.

The apparent failure of individual probabilistic expressions to distinguish uncertainty about truths from uncertainty about probabilistic assessments have prompted researchers to seek formalisms where the two types of uncertainties are given notational distinction. This paper demonstrates that the desired distinction is already a built-in feature of classical probabilistic models, thus, special...

This paper uses a ßexible approach to characterize the nonlinear relation between oil price changes and GDP growth. The paper reports clear evidence of nonlinearity, consistent with earlier claims in the literature— oil price increases are much more important than oil price decreases, and increases have signiÞcantly less predictive content if they simply correct earlier decreases. An alternativ...