Mathematical Logic Quarterly

• 

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

  • Seleccionado

    Effective embeddings into strong degree structures

    T. H. Mcnicholl

    pág. 219

    
  • Seleccionado

    Preservativity logic: An analogue of interpretability logic for constructive theories: An analogue of interpretability logic for constructive theories

    R. Iemhoff

    pág. 230

    
  • Seleccionado

    Independence results for weak systems of intuitionistic arithmetic

    Morteza Moniri

    pág. 250

    
  • Seleccionado

    Proximal and uniform convergence on apartness spaces

    Luminita Simona Vîta

    pág. 255

    
  • Seleccionado

    Some Boolean algebras with finitely many distinguished ideals II

    R. Aragón

    pág. 260

    
  • Seleccionado

    A nonstandard density theorem for weak topologies

    L. Vanderputten

    pág. 277

    
  • Seleccionado

    Positive set-operators of low complexity

    A. Tzouvaras

    pág. 284

    
  • Seleccionado

    Sequential topological conditions in &unknown; in the absence of the axiom of choice

    G. Gutierres

    pág. 293

    
  • Seleccionado

    A theorem on ROD-hypersmooth equivalence relations in the Solovay model

    M. Reeken, V. Kanovei

    pág. 299

    
  • Seleccionado

    The Banach-Steinhaus theorem for the space &unknown;(&unknown;) in constructive analysis

    S. Yoshida

    pág. 305

    
  • Seleccionado

    Provably total functions of Basic Arithemtic

    S. Salehi

    pág. 316

    
  • Seleccionado

    The axiom of choice holds iff maximal closed filters exist

    H. Herrlich

    pág. 323