ANNALS OF PURE AND APPLIED LOGIC
Volume 108, Numbers 1-3, 30 March 2001
SPECIAL ISSUE Proceedings of the
Xlth Latin American Symposium on Mathematical Logic Merida, Venezuela, 6 - 1 0 July, 1998
Guest-editors
Carlos Augusto Di Prisco Carlos Enrique Uzcategui
Contents
C.A. Di Prisco and C.E. Uzcategui
Preface 1 J. Bagaria and Sy D. Friedman
Generic absoluteness 3 R. Bianconi
Some remarks on Schanuel's conjecture 1 5 T.J. Car/son
Elementary patterns of resemblance 19 E.A. Cichon and E. Tahhan-Bittar
Strictly orthogonal left linear rewrite, systems and primitive recursion 79 M.E. Coniglio and F. Miraglia
ModuJes in the category of sheaves over quantales 103 J.P. Di'az Varela
On subvarieties of symmetric closure algebras 137 J. Dix, M. Osorio and C. Zepeda
A general theory of confluent rewriting systems for logic programming
and its applications 153 /. Farah
Basis problem for turbulent actions I: Tsirelson submeasures 189 H.A. Feitosa and I.M. Loffredo D'Ottaviano
Conservative translations 205 H. Gaitan
Varieties of quasi-Stone algebras 229 C. Gutierrez
Normal forms for connectedness in categories 237
vi Contents R.A. Lewin, I.F. Mikenberg and M.G. Schwarze
On free annotated algebras 249 N.G. Marti'nez and A. Petrovich
Uniqueness of the implication for totally ordered MV-algebras 261 D. Mundici and G. Panti
Decidable and undecidable prime theories in infinite-valued logic 269 C. Ortiz
An Omitting Types Theorem for positive bounded formulas in normed spaces 279 M. Pouzet and M. Sobrani
Sandwiches of ages 295 L. Rueda
Linear Heyting algebras with a quantifier 327 J.M. Turn 1 1 Torres
On the expressibility and the computability of untyped queries 345 Author Index 373