Mathematical Logic Quarterly

• 

  Año 2010, Vol. 56, Número 6

  • Seleccionado

    Relative arithmetic

    Sam Sanders

    págs. 564-572

    
  • Seleccionado

    The quantifier complexity of polynomial-size iterated definitions in first-order logic

    Samuel R. Buss, Alan S. Johnson

    págs. 573-590

    
  • Seleccionado

    Proof interpretations with truth

    Jaime Gaspar, Paulo Oliva

    págs. 591-610

    
  • Seleccionado

    Consistency of Heyting arithmetic in natural deduction

    Annika Kanckos

    págs. 611-624

    
  • Seleccionado

    Hamel-isomorphic images of the unit ball

    Jacek Cichon, Przemyslaw Szczepaniak

    págs. 625-630

    
  • Seleccionado

    Substandard models of finite set theory

    Laurence Kirby

    págs. 631-642

    
  • Seleccionado

    Subquasivarieties of implicative locally-finite quasivarieties

    Alexej P. Pynko

    págs. 643-658

    
  • Seleccionado

    The Bounded Axiom A Forcing Axiom

    Thilo Weinert

    págs. 659-665

    
  • Seleccionado

    Refinement is equivalent to Fullness

    Albert Ziegler

    págs. 666-669