in this paper, let $l$ be a completeresiduated lattice, and let {bf set} denote the category of setsand mappings, $lf$-{bf pos} denote the category of $lf$-posets and$lf$-monotone mappings, and $lf$-{bf cslat}$(sqcup)$, $lf$-{bfcslat}$(sqcap)$ denote the category of $lf$-completelattices and $lf$-join-preserving mappings and the category of$lf$-complete lattices and $lf$-meet-preserving mapping...

We prove that the property of excision in algebraic K-theory is for a Q-algebra A equivalent to the H-unitality of the latter. Our excision theorem, in particular, implies Karoubi's conjecture on the equality of algebraic and topological K-theory groups of stable C*-algebras. It also allows us to identify the algebraic K-theory of the symbol map in the theory of pseudodifferential operators.

We extend the notion of algebraic stack to an arbitrary subcanonical site C. If the topology on C is local on the target and satisfies descent for morphisms, we show that algebraic stacks are precisely those which are weakly equivalent to representable presheaves of groupoids whose domain map is a cover. This leads naturally to a definition of algebraic n-stacks. We also compare different sites...

2 Autonomous differential equations Lemma 1. If A ∈ B(R), then det(I + A+ o( )) = 1 + trA+ o( ) as → 0. Proof. Let λ1, . . . , λn be the eigenvalues of A, repeated according to algebraic multiplicity. For > 0, the eigenvalues of I + A + o( ) repeated according to algebraic multiplicity are 1 + λ1 + o( ), . . . , 1 + λn + o( ), as → 0. The determinant of a linear map R → R is the product of its ...

We show that the boundary map in periodic cyclic cohomology introduced by Cuntz and Quillen satisfies properties similar to the properties of the boundary map in simplicial homology. We also prove that the boundary map is compatible with the boundary map in algebraic and topological K-Theory, which leads to index theorems. As an application we obtain a new proof of the Connes-Moscovici index th...

We introduce two algebraic completely integrable analogues of the Mumford systems which we call hyperelliptic Prym systems, because every hyperelliptic Prym variety appears as a fiber of their momentum map. As an application we show that the general fiber of the momentum map of the periodic Volterra lattice ȧi = ai(ai−1 − ai+1), i = 1, . . . , n, an+1 = a1, is an affine part of a hyperelliptic ...

This paper describes features of a language approach for map algebra based on the use of algebraic expressions. To be consistent with formal approaches such as geoalgebra and image algebra, the proposed algebraic expressions are suitable for the usual modeling of layers and to represent neighborhoods and zones. A tight compromise between language and implementation issues based on the theory of...

We study the numerical solutions to semi-infinite-domain two-point boundary value problems and initial value problems. A smooth, strictly monotonic transformation is used to map the semiinfinite domain x ∈ 0,∞ onto a half-open interval t ∈ −1, 1 . The resulting finite-domain twopoint boundary value problem is transcribed to a system of algebraic equations using ChebyshevGauss CG collocation, wh...

This paper describes features of a language approach for map algebra based on the use of algebraic expressions that satisfy a concise formalism. To be consistent with formal approaches such as geoalgebra and image algebra, the proposed algebraic expressions are suitable not only for the usual modeling of layers but also to describe variable neighborhoods and zones. As a compromise between langu...

In this paper we study the feedback control problem using an r-channel decentralized dynamic feedback control scheme. We will develop the theory in the behavioral framework. Using this framework we introduce an algebraic parameterization of the space of all possible feedback compensators having a bounded McMillan degree, and we show that this parameterization bas the structure of an algebraic v...