In this paper we give an outline of recent algebraic results concerning theories and models of the untyped lambda calculus.

Department of Mathematics, Texas Tech University, Lubbock, TX 79409, USA; Division of Cardiology and Department of Pediatrics, Division of Endocrinology, Department of Internal Medicine, Scott and White, Temple, TX 76508, USA; Department of Mathematics, Southern Polytechnic State University, Marietta, GA 30060, USA; Department of Mathematics, Texas A & M University, College Station, TX 77843-33...

After the Dred Scott decision in 1857, Abraham Lincoln embarked on a public campaign to prevent the expansion of slavery in the federal territories. Lincoln’s opposition to Dred Scott was, however, bound up with a certain theoretical orientation that is often rejected in the general milieu of modern constitutional theory. Within the context of two recent revisionist accounts of slavery and Amer...

What are the conditions for fixing the reference of a proper name? Debate on this point has recently been rekindled by Scott Soames, Robin Jeshion, and others. In this paper, I sketch a new pragmatic approach to the justification of reference-fixing procedures, in opposition to accounts that insist on an invariant set of conditions for fixing reference across environments and linguistic communi...

we have recently synthesized [ni (map) ] complex [h-map= 2- (methylamino) pyridine]. 2- (methy1amino)pyridine reacts with meli in thf and generates the lithium salt (li-map). further reaction of nicl with two equivalent of this ligand in thf leads to the formation of a dark red solution. analytical data, molecular weight, and magnetic susceptibility of this complex confirm the formula [ni (map)...

The aim of this paper is to study the concept of -induced L-fuzzy topological spaces. Some properties of the functions (namely Scott-continuous function) are studied. The Scott-continuous functions turn out to be the natural tool for studying the -induced L-fuzzy topological space. We also discuss the connections between some separations, countability and covering properties of an ordinary topo...

Digit distributions are a popular tool for the detection of tax payers’ noncompliance and other fraud. In the early stage of digital analysis, Nigrini and Mittermaier (1997) made use of Benford’s Law (Benford 1938) as a natural reference distribution. A justification of that hypothesis is only known for multiplicative sequences (Schatte 1988). In applications, most of the number generating proc...