Journal: Annals of Pure and Applied Logic

Volume 108, Issue 1-3

3 -- 13Joan Bagaria, Sy D. Friedman. Generic absoluteness
15 -- 18Ricardo Bianconi. Some remarks on Schanuel s conjecture
19 -- 77Timothy J. Carlson. Elementary patterns of resemblance
79 -- 101E. A. Cichon, Elias Tahhan-Bittar. Strictly orthogonal left linear rewrite systems and primitive recursion
103 -- 136Marcelo E. Coniglio, Francisco Miraglia. Modules in the category of sheaves over quantales
137 -- 152J. Patricio Díaz Varela. On subvarieties of symmetric closure algebras
153 -- 188Jürgen Dix, Mauricio Osorio, Claudia Zepeda. A general theory of confluent rewriting systems for logic programming and its applications
189 -- 203Ilijas Farah. Basis problem for turbulent actions I: Tsirelson submeasures
205 -- 227Hércules A. Feitosa, Itala M. Loffredo D Ottaviano. Conservative translations
229 -- 235Hernando Gaitán. Varieties of quasi-Stone algebras
237 -- 247Claudio Gutiérrez. Normal forms for connectedness in categories
249 -- 259Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze. On free annotated algebras
261 -- 268Néstor G. Martínez, Alejandro Petrovich. Uniqueness of the implication for totally ordered MV-algebras
269 -- 278Daniele Mundici, Giovanni Panti. Decidable and undecidable prime theories in infinite-valued logic
279 -- 294Carlos Ortiz. An Omitting Types Theorem for positive bounded formulas in normed spaces
295 -- 326Maurice Pouzet, Mohamed Sobrani. Sandwiches of ages
327 -- 343Laura Rueda. Linear Heyting algebras with a quantifier
345 -- 371Jose Maria Turull Torres. On the expressibility and the computability of untyped queries