Mathematical Logic Quarterly

• 

  Año 2007, Vol. 53, Número 2

  • Seleccionado

    Existence of EF-equivalent non-isomorphic models

    Chanoch Havlin, Saharon Shelah

    • Resumen

    págs. 111-127

    
  • Seleccionado

    Computing the complexity of the relation of isometry between separable Banach spaces

    Julien Melleray

    • Resumen

    págs. 128-131

    
  • Seleccionado

    Non-standard analysis in ACA0 and Riemann mapping theorem

    Keita Yokoyama

    • Resumen

    págs. 132-146

    
  • Seleccionado

    Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas

    George Voutsadakis

    • Resumen

    págs. 147-161

    
  • Seleccionado

    A topology induced by uniformity on BL-algebras

    Masoud Haveshki, Esfandiar Eslami, Arsham Borumand Saeid

    • Resumen

    págs. 162-169

    
  • Seleccionado

    Hyper-Archimedean BL-algebras are MV-algebras

    Esko Turunen

    • Resumen

    págs. 170-175

    
  • Seleccionado

    Shoenfield is Gödel after Krivine

    Thomas Streicher, Ulrich Kohlenbach

    • Resumen

    págs. 176-179

    
  • Seleccionado

    Uniform domain representations of "Lp" -spaces

    Peter K. Kober

    • Resumen

    págs. 180-205

    
  • Seleccionado

    Bounded BCK-algebras and their generated variety

    J. D. Gispert, Antoni Torrens Torrell

    • Resumen

    págs. 206-213

    
  • Seleccionado

    Corrigendum to "Unique solutions"

    Peter Schuster

    págs. 214-215