Mathematical Logic Quarterly

• 

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

  • Collapsing functions

    E. Schimmerling

    pág. 3

    

  • Characterizing NC with tier 0 pointers

    Isabel Oitavem

    pág. 9

    

  • F-products and nonstandard hulls for semigroups

    J. Kellner

    pág. 18

    

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

    C. Schlindwein

    pág. 29

    

  • The strong partition relation on omega~1 revisited

    S. Jackson

    pág. 33

    

  • A generalization of conservativity theorem for classical versus intuitionistic arithmetic

    S. Berardi

    pág. 41

    

  • Minima of initial segments of infinite sequences of reals

    J. L. Hirst

    pág. 47

    

  • Level by level equivalence and strong compactness

    A. W. Apter

    pág. 51

    

  • On the linear Lindenbaum algebra of Basic Propositional Logic

    M. Alizadeh, M. Ardeshir

    pág. 65

    

  • Automorphism group actions on trees

    A. Ivanov, R. Kossak

    pág. 71

    

  • Finitely generated submodels of an uncountably categorical homogeneous structure

    Tapani Hyttinen

    pág. 77

    

  • The cumulative hierarchy and the constructible universe of ZFA

    M. Viale

    pág. 99

    

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

    F. Montagna, L. Sacchetti

    pág. 104