antimicrobial activity of the polar and nonpolar extracts of the roots and aerial parts of peucedanum ruthenicum m. bieb., johreniopsis seseloides (c. a. mey.) pimenov and cervaria cervariifolia (c. a. mey.) pimenov were examined against gram-positive and gram-negative bacteria. the polar extracts of the roots and aerial parts displayed no activity against bacteria, while the nonoplar extracts ...

A hyperoval of a point-line geometry is a nonempty set of points meeting each line in either 0 or 2 points. In this paper, we study hyperovals in line Grassmannians of finite polar spaces of rank 3, hereby often imposing some extra regularity conditions. We determine an upper bound and two lower bounds for the size of such a hyperoval. If equality occurs in one of these bounds, then there is an...

The central objective of the proposed work in this research is to introduce innovative concept an m-polar fuzzy set (m-PFS) semigroups, that is, expansion bipolar (BFS). Our main focus study generalization some important results BFSs m-PFSs. This paper provides related subsemigroups (m-PFSSs), ideals (m-PFIs), generalized bi-ideals (m-PFGBIs), (m-PFBIs), quasi-ideals (m-PFQIs) and interior (m-P...

Let F be a fully nonlinear second-order partial differential subequation of degenerate elliptic type on a manifold X. We study the question: Which closed subsets E ⊂ X have the property that every F -subharmonic function (subsolution) on X − E, which is locally bounded across E, extends to an F -subharmonic function on X. We also study the related question for F harmonic functions (solutions) w...

In [1] Andrews studies elementary type theory, a form of Church’s type theory [12] without extensionality, descriptions, choice, and infinity. Since most of the automated search procedures implemented in Tps [4] do not build in principles of extensionality, descriptions, choice or infinity, they are essentially searching for proofs in elementary type theory. In particular, search procedures bas...

Blass, A. and A. Scedrov, Complete topoi representing models of set theory, Annals of Pure and Applied Logic 57 (1992) l-26. By a model of set theory we mean a Boolean-valued model of Zermelo-Fraenkel set theory allowing atoms (ZFA), which contains a copy of the ordinary universe of (two-valued, pure) sets as a transitive subclass; examples include Scott-Solovay Boolean-valued models and their ...