Mathematical Logic Quarterly

• 

  Año 2001, Vol. 47, Número 3

  • Seleccionado

    The Strengths of Some Violations of Covering

    H. Mildenberger

    págs. 291-298

    
  • Seleccionado

    A Constructive Version of the Spectral Mapping Theorem

    D. Bridges, R. Havea

    págs. 299-304

    
  • Seleccionado

    Quotient Fields of a Model of IDelta~0 + Omega~1

    P. D Aquino

    págs. 305-314

    
  • Seleccionado

    Algebraic Logic for Rational Pavelka Predicate Calculus

    D. Dragulici, G. Georgescu

    págs. 315-326

    
  • Seleccionado

    Cut-elimination Theorems of Some Infinitary Modal Logics

    Y. Tanaka

    págs. 327-340

    
  • Seleccionado

    Kripke-style Semantics of Orthomodular Logics

    Y. Miyazaki

    págs. 341-362

    
  • Seleccionado

    Finitary Treatment of Operator Controlled Derivations

    W. Buchholz

    págs. 363-396

    
  • Seleccionado

    &b.Gamma;~0 May Be Minimal Subrecursively Inaccessible

    A. Weiermann

    págs. 397-408

    
  • Seleccionado

    Normal Domain Representations of Topological Spaces

    I. Rummelhoff

    págs. 409-412

    
  • Seleccionado

    Some Weak Forms of the Axiom of Choice Restricted to the Real Line

    K. Keremedis, E. Tachtsis

    págs. 413-422

    
  • Seleccionado

    Non-constructive Properties of the Real Numbers

    J. E. Rubin, K. Keremedis, Paul Howard

    págs. 423-431