Mathematical Logic Quarterly

• 

  Año 2003, Vol. 49, Número 4

  • Seleccionado

    A splitting theorem for the Medvedev and Muchnik lattices

    Stephen Binns

    pág. 327

    
  • Seleccionado

    Negation and BCK-algebras

    pág. 336

    
  • Seleccionado

    Categorical abstract algebraic logic: The criterion for deductive equivalence: The criterion for deductive equivalence

    George Voutsadakis

    pág. 347

    
  • Seleccionado

    Generic separations and leaf languages

    M. Galota, H. Vollmer, S. Kosub

    pág. 353

    
  • Seleccionado

    Expanding the additive reduct of a model of Peano arithmetic

    pág. 363

    
  • Seleccionado

    Some weak forms of the Baire category theorem

    Kyriakos Kermedis

    pág. 369

    
  • Seleccionado

    Characterizing strong compactness via strongness

    Arthur W. Apter

    pág. 375

    
  • Seleccionado

    Arithmetical definability over finite structures

    T. Lee

    pág. 385

    
  • Seleccionado

    ω-categorical weakly o-minimal expansions of Boolean lattices

    Stefano Leonesi, Carlo Toffalori

    pág. 394

    
  • Seleccionado

    omega-categorical weakly o-minimal expansions of Boolean lattices

    S. Leonesi, Carlo Toffalori

    pág. 394

    
  • Seleccionado

    On semilattice relevant logics

    Ryo Kashima

    pág. 401

    
  • Seleccionado

    A probabilistic extension of intuitionistic logic

    Z. Ognjanovic, Z. Markovic

    pág. 415

    
  • Seleccionado

    On two questions about feasibly constructive arithmetic

    Morteza Moniri

    pág. 425

    
  • Seleccionado

    The discrete parts of approximately decidable sets in Euclidean spaces

    A. Hemmerling

    pág. 428