Mathematical Logic Quarterly

• 

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

  • Seleccionado

    Sperner spaces and first order logic

    pág. 111

    
  • Seleccionado

    The equality S1 = D = R

    pág. 115

    
  • Seleccionado

    Topological aspects of numberings

    pág. 129

    
  • Seleccionado

    Consequences of neocompact quantifier elimination

    pág. 150

    
  • Seleccionado

    A transfinite hierarchy of reals

    pág. 163

    
  • Seleccionado

    Making doughnuts of Cohen reals

    pág. 173

    
  • Seleccionado

    The failure of the axiom of choice implies unrest in the theory of Lindelof metric spaces

    pág. 179

    
  • Seleccionado

    Classification of non-well-founded sets and an application

    pág. 187

    
  • Seleccionado

    Classical linear logics with mix separation principle

    pág. 201

    
  • Seleccionado

    P &unknown; NP for all infinite Boolean rings

    pág. 210

    
  • Seleccionado

    A note on the first incompleteness theorem

    pág. 214