Journals in DBLP
Math. Log. Q. 2004, volume: 50, number: 1
Ernest Schimmerling , Boban Velickovic Collapsing functions. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2004, v:50, n:1, pp:3-8 [Journal ] Isabel Oitavem Characterizing NC with tier 0 pointers. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2004, v:50, n:1, pp:9-17 [Journal ] Jakob Kellner , Hans Ploss F-products and nonstandard hulls for semigroups. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2004, v:50, n:1, pp:18-28 [Journal ] Chaz Schlindwein A short proof of the preservation of the omegaomega -bounding property. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2004, v:50, n:1, pp:29-32 [Journal ] Steve Jackson , Russell May The strong partition relation on omega1 revisited. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2004, v:50, n:1, pp:33-40 [Journal ] Stefano Berardi A generalization of a conservativity theorem for classical versus intuitionistic arithmetic. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2004, v:50, n:1, pp:41-46 [Journal ] Jeffry L. Hirst Minima of initial segments of infinite sequences of reals. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2004, v:50, n:1, pp:47-50 [Journal ] Arthur W. Apter Level by level equivalence and strong compactness. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2004, v:50, n:1, pp:51-64 [Journal ] Majid Alizadeh , Mohammad Ardeshir On the linear Lindenbaum algebra of Basic Propositional Logic. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2004, v:50, n:1, pp:65-70 [Journal ] Alexandre Ivanov , Roman Kossak Automorphism group actions on trees. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2004, v:50, n:1, pp:71-76 [Journal ] Tapani Hyttinen Finitely generated submodels of an uncountably categorical homogeneous structure. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2004, v:50, n:1, pp:77-98 [Journal ] Matteo Viale The cumulative hierarchy and the constructible universe of ZFA. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2004, v:50, n:1, pp:99-103 [Journal ] Franco Montagna , Lorenzo Sacchetti Corrigendum to "Kripke-style semantics for many-valued logics". [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2004, v:50, n:1, pp:104-107 [Journal ]