1. On the formal points of the formal topology of the binary tree

   • Silvio Valentini

   Pages: 603 - 618

2. Some Ramsey-type theorems for countably determined sets

   • Josef Mlček
   • Pavol Zlatoš

   Pages: 619 - 630

3. Analytic functions over a field of power series

   • Marie-Hélène Mourgues

   Pages: 631 - 642

4. Fuzzy logic, continuity and effectiveness

   • Loredana Biacino
   • Giangiacomo Gerla

   Pages: 643 - 667

5. A note on countable models of 1-based theories

   • Predrag Tanovic

   Pages: 669 - 671

6. Subvarieties of BL-algebras generated by single-component chains

   • Antonio Di Nola
   • Francesc Esteva
   • Salvatore Sessa

   Pages: 673 - 685

7. Metric Boolean algebras and constructive measure theory

   • Thierry Coquand
   • Erik Palmgren

   Pages: 687 - 704