Ground-living spiders (Araneae) at polluted sites in the Subarctic

Spiders were studied around the Pechenganikel smelter combine, Kola Peninsula, north-western Russia. The average spider density was 6-fold greater and the density of Linyphiidae specimens 11.5-fold higher at slightly polluted sites, compared with heavily polluted sites. Altogether, 18 species from 10 families were found at heavily polluted sites, the theridiid Robertus scoticus clearly dominating (23.3 % of identifiable specimens), also Neon reticulatus (9.6 %), Thanatus formicinus (9.6 %) and Xysticus audax (8.2 %) were abundant. The most numerous among 58 species found at slightly polluted sites were Tapinocyba pallens (18.5 %), Robertus scoticus (13.7 %), Maso sundevalli (9.5 %) and Alopecosa aculeata (8.2 %). The family Linyphiidae dominated at slightly polluted sites, 64 % of species and 60 % of individuals; compared with heavily polluted sites, 23 % and 38 % respectively

A mathematically derived definitional/semantical theory of truth

Ordinary and transfinite recursion and induction and ZF set theory are used to construct from a fully interpreted object language and from an extra formula a new language. It is fully interpreted under a suitably defined interpretation. This interpretation is equivalent to the interpretation by meanings of sentences if the object language is so interpreted. The added formula provides a truth predicate for the constructed language. The so obtained theory of truth satisfies the norms presented in Hannes Leitgeb's paper 'What Theories of Truth Should be Like (but Cannot be)'

Dimensional Confluence Algebra of Information Space Modulo Quotient Abstraction Relations in Automated Problem Solving Paradigm

Confluence in abstract parallel category systems is established for net class-rewriting in iterative closed multilevel quotient graph structures with uncountable node arities by multi-dimensional transducer operations in topological metrics defined by alphabetically abstracting net block homomorphism. We obtain minimum prerequisites for the comprehensive connector pairs in a multitude dimensional rewriting closure generating confluence in Participatory algebra for different horizontal and vertical level projections modulo abstraction relations constituting formal semantics for confluence in information space. Participatory algebra with formal automata syntax in its entirety representing automated problem solving paradigm generates rich variety of multitude confluence harmonizers under each fundamental abstraction relation set, horizontal structure mapping and vertical process iteration cardinality.Comment: The current work is an application as a continuation for my previous works in arXiv:1305.5637 and arXiv:1308.5321 using the key definitions of them sustaining consistency, consequently references being minimized. Readers are strongly advised to resort to the mentioned previous works for preliminaries. arXiv admin note: text overlap with arXiv:1408.137