Journals in DBLP
Saharon Shelah Forcing axiom failure for any lambda > aleph_{1} . [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:3, pp:285-296 [Journal ] Sara Negri , Jan von Plato , Thierry Coquand Proof-theoretical analysis of order relations. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:3, pp:297-310 [Journal ] Bernhard König Generic compactness reformulated. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:3, pp:311-326 [Journal ] Wesley Calvert The isomorphism problem for classes of computable fields. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:3, pp:327-336 [Journal ] Nobuyuki Sakamoto , Kazuyuki Tanaka The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:3, pp:337-350 [Journal ] Michael Soltys , Alasdair Urquhart Matrix identities and the pigeonhole principle. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:3, pp:351-358 [Journal ] Herwig Nübling Adding Skolem functions to simple theories. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:3, pp:359-370 [Journal ] Andrés Cordón-Franco , Alejandro Fernández-Margarit , Francisco Félix Lara Martín On the quantifier complexity of bigtriangleup_{n+1} (T)? induction. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:3, pp:371-398 [Journal ] Stephen Binns , Stephen G. Simpson Embeddings into the Medvedev and Muchnik lattices of pi^{0} _{1} classes. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:3, pp:399-414 [Journal ] Rumen Dimitrov Quasimaximality and principal filters isomorphism between. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:3, pp:415-424 [Journal ]