Jan E. Holly Prototypes for Definable Subsets of Algebraically Closed Value Fields. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1997, v:62, n:4, pp:1093-1141 [Journal]
Noa Goldring The Entire NS Ideal on Pgammaµ Can Be Precipitous. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1997, v:62, n:4, pp:1161-1172 [Journal]
Ricardo Bianconi Nondefiniability Results for Expansions of the Field of Real Numbers by the Exponential Function and by the Restricted Sine Function. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1997, v:62, n:4, pp:1173-1178 [Journal]
Yves Lafont The Finite Model Property for Various Fragments of Linear Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1997, v:62, n:4, pp:1202-1208 [Journal]
J. L. Bell Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1997, v:62, n:4, pp:1265-1279 [Journal]
Alexis Bès Undecidable Extensions of Büchi Arithmetic and Cobham-Semënov Theorem. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1997, v:62, n:4, pp:1280-1296 [Journal]
Vladimir Kanovei An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1997, v:62, n:4, pp:1333-1351 [Journal]
Vann McGee The Complexity of the Modal Predicate Logic of ``True in Every Transitive Model of ZF''. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1997, v:62, n:4, pp:1371-1378 [Journal]
Carlo Toffalori Wildness Implies Undecidability for Lattices over Group Rings. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1997, v:62, n:4, pp:1429-1447 [Journal]
Michel Parigot Proofs of Strong Normalisation for Second Order Classical Natural Deduction. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1997, v:62, n:4, pp:1461-1479 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP