Bulletin of the Section of Logic 28/4 (1999)details


Table of contents




  • 1. Paulo A.S.VELOSO, Why ultrafilters for almost all183

  • 2. Francisco SALTO, Gemma ROBLES and Jose M. MENDEZ, Exhaustively axiomatizing RMO-> with a select list of representative theses including restricted mingle principles195

  • 3. Tomasz POLACIK, Partially-elementary extension Kripke models and Burr's hierarchy207

  • 4. Janusz MACIASZEK, A note on the concept of satisfaction in intuitionistic predicate logic215

  • 5. Luiz Carlos P.D.PEREIRA and Edward Hermann HAEUSLER, An infinitary extension of MALL-225