Let T be a first-order theory. A T -normal Kripke structure is one in which every world is a classical model of T . This paper gives a characterization of the intuitionistic theory HT of sentences intuitionistically valid (forced) in all T -normal Kripke structures and proves the corresponding soundness and completeness theorems. For Peano arithmetic (PA), the theory HPA is a proper subtheory o...

Jelölje [n] az {1, 2, ..., n} halmazt, 2[n] pedig [n] összes részhalmazát. Vegyünk egy F ⊂ 2[n] halmazrendszert. |F| maximumát keressük, ha bármely r részhalmaz metszete legalább s elem¶, és bármely ` különböz® halmaz metszete legfeljebb t elem¶, a paraméterek különféle vásztása mellett. Az r = 2, s = t = 1 esetben, tehát amikor bármely két halmaz metszete nemüres, de bármely ` különböz® halmaz...

Field investigations are important tools for confirmation of the effectiveness of the organic manures on crop yield. As different N sources, this work presents a comparative study of the effects of urea, cow dung and poultry manure on plant height, stem length and diameter, leaf length, breadth and number accompanied with the fresh weight of plant, stem, leaf coupling stem leaf ratio and gross ...

the essential oil of rosa damascena mill. is one of the most valuable and important base material in the flavor and fragrance industry. the aim of this study was to determine the effects of different rates of cow manure on the essential oil of the rose petals. for this a field experiment was conducted on a clay loam soil at the research farm of alborz research station, karaj, iran. experimental...

Six diethylaminoethyl-cellulose fractions of a larval Trichinella spiralis extract, an Ascaris suum extract, and a nonrelated protein were used for cutaneous tests in guinea pigs with 8-, 14-, and 73-day-old T. spiralis infections, in guinea pigs with 13-day-old A. suum infections, and in normal guinea pigs. A selected T. spiralis fraction was used in hemagglutination (HA) tests with sera of 8 ...

In a semi-arid environment, the main challenge for crop production is water limitation in space and in time. Considered as appropriate tools, models are used to evaluate the effects of water deficit on crop productivity for better irrigation planning and sustainable yield. The AquaCrop model was tested using data collected during a 4-year experiment on soybean (Glycine max L. Merril) and s...

To reduce the environmental burden of agriculture, suitable methods to comprehend and assess the impact on natural resources are needed. One of the methods considered is the life cycle assessment (LCA) method, which was used to assess the environmental impacts of 18 grassland farms in three different farming intensities — intensive, extensified, and organic — in the Allgäu region in southern Ge...