For any separated map f : X → Y of quasi-compact quasiseparated schemes, Rf∗ : D + qc(X) → D (Y ) has a right adjoint f . If f is proper and pseudo-coherent (e.g., finitely-presented and flat) then Duality and tor-independent Base Change hold for f . Preface This is a research summary written early in 1991, concerning results obtained by the author during a stay at MSRI in Berkeley during 1989–...

In the presence of suitable power spaces, compactness ofX can be characterized as the singleton {∅} being open in the space A(X). Equivalently, this means that universal quantification over a compact space preserves open predicates. Using the language of represented spaces, one can make sense of notions such as a Σ 2 subset of the space of Σ 2 -subsets of a given space. This suggests higher-ord...

Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimulated the search for infinite procedures à la Karp-Miller.

Recently N. Nitsure showed that for a coherent sheaf F on a noetherian scheme the automorphism functor AutF is representable if and only if F is locally free. Here we remove the noetherian hypothesis and show that the same result holds for the endomorphism functor EndF even if one asks for representability by an algebraic space.

In this paper all coordinates in two variables over a Noetherian Q-domain of Krull dimension one are proved to be projectively tame. In order to do this, some results concerning projectively-tameness of polynomials in general are shown. Furthermore, we deduce that all automorphisms in two variables over a Noetherian reduced ring of dimension zero are tame.