The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1999, volume: 64, number: 4

  1. Ludomir Newelski
    Geometry of *-Finite Types. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1375-1395 [Journal]
  2. Antonín Kucera, Sebastiaan Terwijn
    Lowness for The Class of Random Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1396-1402 [Journal]
  3. John Todd Hammond
    Friedberg Splittings in Sigma 03 Quotient Lattices of Epsilon. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1403-1406 [Journal]
  4. Claes Strannegård
    Interpretability over Peano Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1407-1425 [Journal]
  5. Seyed Mohammad Bagheri
    Ordre Fondamental D'Une Théorie 1-Basée. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1426-1438 [Journal]
  6. William C. Purdy
    Quine's 'Limits of Decision'. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1439-1466 [Journal]
  7. Krzysztof Ciesielski, Saharon Shelah
    A Model With No Magic Set. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1467-1490 [Journal]
  8. Ulrich Kohlenbach
    On The No-Counterexample Interpretation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1491-1511 [Journal]
  9. Gennadi Puninski
    Cantor-Bendixson Rank of The Ziegler Spectrum Over A Commutative Valuation Domain. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1512-1518 [Journal]
  10. Ferenc Beleznay
    The Complexity of The Collection of Countable Linear Orders of The Form I + I. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1519-1526 [Journal]
  11. Moti Gitik, Saharon Shelah
    Cardinal Preserving Ideals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1527-1551 [Journal]
  12. John L. Bell
    Finite Sets and Frege Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1552-1556 [Journal]
  13. Bradd Hart, Zeljko Sokolovic, Predrag Tanovic
    A Note On Alpha-Prime Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1557-1562 [Journal]
  14. Maarten Marx, Szabolcs Mikulás
    Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1563-1572 [Journal]
  15. Heinrich Wansing
    Displaying The Modal Logic of Consistency. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1573-1590 [Journal]
  16. Akira Suzuki
    No Elementary Embedding From V into V Is Definable From Parameters. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1591-1594 [Journal]
  17. José Iovino
    Stable Models and Reflexive Banach Spaces. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1595-1600 [Journal]
  18. Kai Hauser
    A Minimal Counterexample To Universal Baireness. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1601-1627 [Journal]
  19. Paul Bankston
    A Hierarchy of Maps Between Compacta. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1628-1644 [Journal]
  20. Masahiko Murakami
    Standardization Principle of Nonstandard Universes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1645-1655 [Journal]
  21. Gian Aldo Antonelli
    Free Set Algebras Satisfying Systems of Equations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1656-1674 [Journal]
  22. Arthur W. Apter
    On Measurable Limits of Compact Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1675-1688 [Journal]
  23. Jörg Flum, Martin Ziegler 0002
    Pseudo-Finite Homogeneity and Saturation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1689-1699 [Journal]
  24. Rodney G. Downey, Geoffrey LaForte, Steffen Lempp
    A Delta02 Set With Barely Sigma02 Degree. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1700-1718 [Journal]
  25. Erich Grädel
    On The Restraining Power of Guards. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1719-1742 [Journal]
  26. Roman D. Arefev, John T. Baldwin, Marco Mazzucco
    Classification of delta-Invariant Amalgamation Classes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1743-1750 [Journal]
  27. Lauri Hella, Leonid Libkin, Juha Nurmonen
    Notions of Locality and Their Logical Characterizations over Finite Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1751-1773 [Journal]
  28. Alasdair Urquhart
    The Complexity of Decision Procedures In Relevance Logic II. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1774-1802 [Journal]
  29. Yi Zhang
    Adjoining Cofinitary Permutations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1803-1810 [Journal]
  30. Thomas Jech
    Some Results on Combinators in The System TRC. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1811-1819 [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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002