A logic of implications in algebra and coalgebra

Implications in a category can be presented as epimorphisms: an object satisfies the implication iff it is injective with respect to that epimorphism. G. Ro?u formulated a logic for deriving an implication from other implications. We present two versions of implicational logics: a general one and a finitary one (for epimorphisms with finitely presentable domains and codomains). In categories Alg Σ of algebras on a given signature our logic specializes to the implicational logic of R. Quackenbush. In categories Coalg H of coalgebras for a given accessible endofunctor H of sets we derive a logic for implications in the sense of P. Gumm.     

Ueber die Trennung des Zinns und des Antimons

Ohne Zusammenfassung     

Mass- und Integrationstheorie in Strukturen

Ohne Zusammenfassung     

Artificial boundary conditions for viscoelastic flows

The steady three-dimensional exterior flow of a viscoelastic non-Newtonian fluid is approximated by reducing the corresponding nonlinear elliptic–hyperbolic system to a bounded domain. On the truncation surface with a large radius R, nonlinear, local second-order artificial boundary conditions are constructed and a new concept of an artificial transport equation is introduced. Although the asymptotic structure of solutions at infinity is known, certain attributes cannot be found explicitly so that the artificial boundary conditions must be constructed with incomplete information on asymptotics. To show the existence of a solution to the approximation problem and to estimate the asymptotic precision, a general abstract scheme, adapted to the analysis of coupled systems of elliptic–hyperbolic type, is proposed. The error estimates, obtained in weighted Sobolev norms with arbitrarily large smoothness indices, prove an approximation of order O(R^−2+ε), with any ε>0. Our approach, in contrast to other papers on artificial boundary conditions, does not use the standard assumptions on compactly supported right-hand side f, leads, in particular, to pointwise estimates and provides error bounds with constants independent of both R and f. Copyright © 2007 John Wiley & Sons, Ltd.     

Zum Nachweis von Alkohol

Ohne Zusammenfassung     

Harnuntersuchung

Ohne Zusammenfassung