Mathematical Logic Quarterly

• 

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

  • Seleccionado

    Lattice embeddings and array noncomputable degrees

    S. M. Walk

    pág. 219

    
  • Seleccionado

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

    J. Carlstrom

    pág. 236

    
  • Seleccionado

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

    S. Leonesi, Carlo Toffalori

    pág. 241

    
  • Seleccionado

    An infinitary variant of Metric Temporal Logic over dense time domains

    S. Baratella

    pág. 249

    
  • Seleccionado

    Variation on a theme of Schutte

    D. Probst, G. Jager

    pág. 258

    
  • Seleccionado

    A general approach to fuzzy concepts

    Angel Popescu

    pág. 265

    
  • Seleccionado

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

    K. Subramani

    pág. 281

    
  • Seleccionado

    Constructive complements of unions of two closed sets

    D. S. Bridges

    pág. 293

    
  • Seleccionado

    A note on Crzegorczyk's logic

    E. Jerabek

    pág. 295

    
  • Seleccionado

    Fragments of Martin's Maximum in generic extensions

    Y. Yoshinobu, B. Konig

    pág. 297

    
  • Seleccionado

    On weakening the Deduction Theorem and strengthening of Modus Ponens

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

    pág. 303