Albin L. Jones A Polarized Partition Relation Using Elementary Substructures. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 2000, v:65, n:4, pp:1491-1498 [Journal]
Roy Dyckhoff, Sara Negri Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 2000, v:65, n:4, pp:1499-1518 [Journal]
Graham Priest Inconsistent Models of Arithmetic Part II: The General Case. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 2000, v:65, n:4, pp:1519-1529 [Journal]
Camillo Fiorentini All Intermediate Logics with Extra Axions in One Variable, Except Eight, Are Not Strongly omega-Complete. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 2000, v:65, n:4, pp:1576-1604 [Journal]
Natacha Portier Le Problème des Grandes Puissances Et Celui des Grandes Racines. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 2000, v:65, n:4, pp:1675-1685 [Journal]
Martin Otto Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite Structures. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 2000, v:65, n:4, pp:1749-1757 [Journal]
Olivier Esser Inconsistency of The Axiom of Choice with The Positive Theory GPK+infinite. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 2000, v:65, n:4, pp:1911-1916 [Journal]