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...

رآکتور مینیاتوری چشمه نوترونی یک تحقیقاتی از نوع مخزن-استخری است که در آن اورانیم با غنای بالا به‌عنوان سوخت، آب سبک خنک‌کننده و برلیوم بازتابنده استفاده ‌شده است. هنگام بهره­برداری دمای سیال افزایش می­یابد باعث ایجاد فیدبک منفی می‌شود. بر اثر تزریق راکتیویته عین حال یکی مزایای این خصلت ایمنی ذاتی است، اضافی دسترس کاهش‌یافته زمان عملکرد کاهش می‌یابد؛ بنابراین محدودیت­های اصلی MNSR کوتاه (حدود 5...

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...