Mathematical Logic Quarterly

• 

  Año 2000, Vol. 46, Número 3

  • Seleccionado

    Feasible Operations and Applicative Theories Based on Lambdaeta

    A. Cantini

    págs. 291-312

    
  • Seleccionado

    Pigeonhole and Choice Principles

    W. Degen

    págs. 313-334

    
  • Seleccionado

    Arrow's Theorem Weglorz's Models, and the Axiom of Choice

    N. Brunner, R. Mihara

    págs. 335-360

    
  • Seleccionado

    A P-Completeness Result for Visibility Graphs of Simple Polygons

    J. Dietel, H.-d. Hecker

    págs. 361-376

    
  • Seleccionado

    On Baire Measurable Homomorphisms of Quotients of the Additive Group of the Reals

    V. Kanovei, M. Reeken

    págs. 377-384

    
  • Seleccionado

    Inhomogeneity of the p-s-Degrees of Recursive Functions

    A. Mochizuki, J. Shinoda

    págs. 385-392

    
  • Seleccionado

    Intrinsic Reals

    T. Mcnicholl

    págs. 393-408

    
  • Seleccionado

    There is No Low Maximal D.C.E. Degree

    M. Arslanov, S. B. Cooper, A. Li

    págs. 409-416

    
  • Seleccionado

    Semantique de type Kripke d'un systeme logique base sur un ensemble fini

    A. Nour

    págs. 417-432