Mathematical Logic Quarterly

• 

  Año 2004, Vol. 50, Número 3

  • Lattice embeddings and array noncomputable degrees

    S. M. Walk

    pág. 219

    

  • EM + Ext_ + AC~i~n~t is equivalent to AC~e~x~t

    J. Carlstrom

    pág. 236

    

  • On the Boolean algebra of definable sets in weakly o-minimal theories

    S. Leonesi, Carlo Toffalori

    pág. 241

    

  • An infinitary variant of Metric Temporal Logic over dense time domains

    S. Baratella

    pág. 249

    

  • Variation on a theme of Schutte

    D. Probst, G. Jager

    pág. 258

    

  • A general approach to fuzzy concepts

    Angel Popescu

    pág. 265

    

  • On deciding the non-emptiness of 2SAT polytopes with respect to First Order Queries

    K. Subramani

    pág. 281

    

  • Constructive complements of unions of two closed sets

    D. S. Bridges

    pág. 293

    

  • A note on Crzegorczyk's logic

    E. Jerabek

    pág. 295

    

  • Fragments of Martin's Maximum in generic extensions

    Y. Yoshinobu, B. Konig

    pág. 297

    

  • On weakening the Deduction Theorem and strengthening of Modus Ponens

    F. Bou, J. M. Font, J. L. G. Lapresta

    pág. 303