Mathematical Logic Quarterly

• 

  Año 2004, Vol. 50, Número 1

  • Seleccionado

    Collapsing functions

    E. Schimmerling

    pág. 3

    
  • Seleccionado

    Characterizing NC with tier 0 pointers

    Isabel Oitavem

    pág. 9

    
  • Seleccionado

    F-products and nonstandard hulls for semigroups

    J. Kellner

    pág. 18

    
  • Seleccionado

    A short proof of the preservation of the omega^o^m^e^g^a-bounding property

    C. Schlindwein

    pág. 29

    
  • Seleccionado

    The strong partition relation on omega~1 revisited

    S. Jackson

    pág. 33

    
  • Seleccionado

    A generalization of conservativity theorem for classical versus intuitionistic arithmetic

    S. Berardi

    pág. 41

    
  • Seleccionado

    Minima of initial segments of infinite sequences of reals

    J. L. Hirst

    pág. 47

    
  • Seleccionado

    Level by level equivalence and strong compactness

    A. W. Apter

    pág. 51

    
  • Seleccionado

    On the linear Lindenbaum algebra of Basic Propositional Logic

    M. Alizadeh, M. Ardeshir

    pág. 65

    
  • Seleccionado

    Automorphism group actions on trees

    A. Ivanov, R. Kossak

    pág. 71

    
  • Seleccionado

    Finitely generated submodels of an uncountably categorical homogeneous structure

    Tapani Hyttinen

    pág. 77

    
  • Seleccionado

    The cumulative hierarchy and the constructible universe of ZFA

    M. Viale

    pág. 99

    
  • Seleccionado

    Corrigendum to "Kripke-style semantics for many-valued logics"

    F. Montagna, L. Sacchetti

    pág. 104