Mathematical Logic Quarterly

• 

  Año 2008, Vol. 54, Número 3

  • Seleccionado

    A note on the axiomatisation of real numbers

    Thierry Coquand, Henri Lombardi

    págs. 224-228

    
  • Seleccionado

    Dialectica interpretation of well-founded induction

    Helmut Schwichtenberg

    págs. 229-239

    
  • Seleccionado

    Classical truth in higher types

    Ulrich Berger

    págs. 240-246

    
  • Seleccionado

    Comparison of Picard groups in dimension 1

    Henri Lombardi, Claude Quitté

    págs. 247-252

    
  • Seleccionado

    Elementary constructive theory of Henselian local rings

    María Emilia Alonso García , Henri Lombardi, Hervé Perdry

    págs. 253-271

    
  • Seleccionado

    A uniformly computable Implicit Function Theorem

    Timothy H. McNicholl

    págs. 272-279

    
  • Seleccionado

    On models of exponentiation. Identities in the HSI-algebra of posets

    Gurgen Asatryan

    págs. 280-287

    
  • Seleccionado

    Reducing the consistency strength of an indestructibility theorem

    Arthur W. Apter

    págs. 288-293

    
  • Seleccionado

    Weakly representable atom structures that are not strongly representable, with an application to first order logic

    Tarek Sayed-Ahmed

    págs. 294-306

    
  • Seleccionado

    Long Borel hierarchies

    Arnold W. Miller

    págs. 307-322

    
  • Seleccionado

    Characterizing PSPACE with pointers

    Isabel Oitavem

    págs. 323-329

    
  • Seleccionado

    On Keisler singular-like models

    Shahram Mohsenipour

    págs. 330-336