The abstract variable-binding calculus

Theabstract variable binding calculus (VB-calculus) provides a formal frame-work encompassing such diverse variable-binding phenomena as lambda abstraction, Riemann integration, existential and universal quantification (in both classical and nonclassical logic), and various notions of generalized quantification that have been studied in abstract model theory. All axioms of the VB-calculus are in the form of equations, but like the lambda calculus it is not a true equational theory since substitution of terms for variables is restricted. A similar problem with the standard formalism of the first-order predicate logic led to the development of the theory of cylindric and polyadic Boolean algebras. We take the same course here and introduce the variety of polyadic VB-algebras as a pure equational form of the VB-calculus. In one of the main results of the paper we show that every locally finite polyadic VB-algebra of infinite dimension is isomorphic to a functional polyadic VB-algebra that is obtained from a model of the VB-calculus by a natural coordinatization process. This theorem is a generalization of the functional representation theorem for polyadic Boolean algebras given by P. Halmos. As an application of this theorem we present a strong completeness theorem for the VB-calculus. More precisely, we prove that, for every VB-theory T that is obtained by adjoining new equations to the axioms of the VB-calculus, there exists a model D such that _T s=t iff _D s=t. This result specializes to a completeness theorem for a number of familiar systems that can be formalized as VB-calculi. For example, the lambda calculus, the classical first-order predicate calculus, the theory of the generalized quantifierexists uncountably many and a fragment of Riemann integration.The work of the first author was supported in part by National Science Foundation Grant #DMS 8805870.     

The Scott-Suppes theorem on semiorders

Luce introduced semiorders as a natural generalization of weak orders. The basic representation theorem for semiorders was established in 1958 by Scott and Suppes. In this note this theorem is given a simple contructive proof.     

校长领导行为与校长类型

对3800名中小学教师和200名校长进行问卷施测,考察校长工作角色五个方面的相互关系,并在此基础上对校长领导行为进行聚类分析,得到四个类型。四种类型校长所在学校的组织气氛和学校效能感均有显著差异。