Mathematical Logic Quarterly

• 

  Año 2005, Vol. 51, Número 4

  • Seleccionado

    A spatial modal logic with a location interpretation

    N. Kamide

    pág. 331

    
  • Seleccionado

    Worms, gaps and hydras

    L. Carlucci

    pág. 342

    
  • Seleccionado

    A constructive proof of the Peter-Weyl theorem

    B. Spitters, G. Coquand

    pág. 351

    
  • Seleccionado

    Brouwer's fan theorem and unique exisence in constructive analysis

    J. Berger, H. Ishihara

    pág. 360

    
  • Seleccionado

    Largest fixed points of set continuous operators and Boffa's Anti-Foundation

    H. Muraki

    pág. 365

    
  • Seleccionado

    Minimality conditions on circularly ordered structures

    B. S. Kulpeshov, H. D. Macpherson

    pág. 377

    
  • Seleccionado

    Henselian valued fields: a constructive point of view: a constructive point of view

    H. Perdry

    pág. 400

    
  • Seleccionado

    Some variations of the Hardy hierarchy

    Henryk Kotlarski

    pág. 417