By a celebrated theorem of Morley, a theory T is א1-categorical if and only if it is κ-categorical for all uncountable κ. In this paper we are taking the first steps towards extending Morley’s categoricity theorem “to the finite”. In more detail, we are presenting conditions, implying that certain finite subsets of certain א1-categorical T have at most one n-element model for each natural numbe...

A method of preserving the sequential semantics in parallel pro grams with rst class continuations is to invoke continuations non speculati vely This method which prevents a continuation from being invoked as long as its invocation can infringe the sequential semantics reduces parallelism by the severe conditions that it imposes especially on upward uses In this paper we present new conditions ...

A method of preserving the sequential semantics in parallel programs with rst-class continuations is to invoke continuations non-speculatively. This method, which prevents a continuation from being invoked as long as its invocation can infringe the sequential semantics, reduces parallelism by the severe conditions that it imposes, especially on upward uses. In this paper, we present new conditi...

Background and aim: Considering the widespread development of implants in dental treatment plans, linear measurements on panoramic radiography are of especial importance. In the present study we investigated the effect of head misalignment up to 15° around vertical and horizontal axes on the magnification rate of digital panoramic radiography in each part of upper and lower jaws. Materia...

We study the theory of best approximation in tensor product and the direct sum of some lattice normed spacesX_{i}. We introduce quasi tensor product space anddiscuss about the relation between tensor product space and thisnew space which we denote it by X boxtimesY. We investigate best approximation in direct sum of lattice normed spaces by elements which are not necessarily downwardor upward a...