In [Fuzzy Sets and Systems 27 (1988) 385-389], M. Grabiec in- troduced a notion of completeness for fuzzy metric spaces (in the sense of Kramosil and Michalek) that successfully used to obtain a fuzzy version of Ba- nachs contraction principle. According to the classical case, one can expect that a compact fuzzy metric space be complete in Grabiecs sense. We show here that this is not the case,...

In this paper, we give a kind of Cauchy 1-completeness in probabilistic quasi-uniform spaces by using 1-filters. Utilizingthe relationships among probabilistic quasi-uniformities, classical quasi-uniformities and Hutton [0, 1]-quasi-uniformities,we show the relationships between their completeness. In fuzzy quasi-metric spaces, we establish the relationshipsbetween the completeness of induced p...

The present study investigated whether invertebrate body burdens can be used to predict metal-induced effects on aquatic invertebrate communities. Total dissolved metal levels and four invertebrate taxa (Leuctra sp., Simuliidae, Rhithrogena sp. and Perlodidae) were sampled in 36 headwater streams located in the north-west part of England. Using the River Invertebrate Prediction and Classificati...

Åqvist’s dyadic deontic logic G, which aims at providing an axiomatic characterization of Hansson’s seminal system DSDL3 for conditional obligation, is shown to be strongly complete with respect to its intended modelling.

For a monoid G the iterated multiplication problem is the computa tion of the product of n elements fromG By re ning known completeness arguments we show that as G varies over a natural series of important groups and monoids the iterated multiplication problems are complete for most natural low level complexity classes The completeness is with respect to rst order projections low level reductio...

We review geometrical properties of a static spacetime (M, g), including geodesic completeness, causality, standard splittings, compact M , closed geodesics and geodesic connectedness. We pay special attention to the critical quadratic behavior at infinity of the coefficients β, β −1 (β = −g(K, K), being K a timelike irrotational Killing vector field), which essentially control completeness, ca...

We review geometrical properties of a static spacetime (M, g), including geodesic completeness, causality, standard splittings, compact M , closed geodesics and geodesic connectedness. We pay special attention to the critical quadratic behavior at infinity of the coefficients β, β −1 (β = −g(K, K), being K a timelike irrotational Killing vector field), which essentially control completeness, ca...