The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
2000, volume: 65, number: 4

  1. Ziv Shami
    Definability in Low Simple Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1481-1490 [Journal]
  2. 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]
  3. 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]
  4. 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]
  5. Bart Kuijpers, Jan Paredaens, Jan Van den Bussche
    Topological Elementary Equivalence of Closed Semi-Algebraic Sets in The Real Plane. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1530-1555 [Journal]
  6. John Cantwell
    Logics of Belief Change without Linearity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1556-1575 [Journal]
  7. 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]
  8. Julia F. Knight, Michael Stob
    Computable Boolean Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1605-1623 [Journal]
  9. Saharon Shelah
    Applications of PCF Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1624-1674 [Journal]
  10. 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]
  11. Wafik Boulos Lotfallah
    Strong 0-1 Laws in Finite Model Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1686-1704 [Journal]
  12. Markus Junker
    A Note On Equational Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1705-1712 [Journal]
  13. Masaru Kada
    More on Cichon's Diagram and Infinite Games. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1713-1724 [Journal]
  14. Timothy McNicholl
    On The Commutativity of Jumps. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1725-1748 [Journal]
  15. 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]
  16. Thomas Scanlon
    A Model Complete Theory of Valued D-Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1758-1784 [Journal]
  17. Jeremy Avigad
    Interpreting Classical Theories in Constructive Ones. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1785-1812 [Journal]
  18. Martin Zeman
    Diamond at Mahlo Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1813-1822 [Journal]
  19. Ofer Shafir, Saharon Shelah
    More on Entangled Orders. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1823-1832 [Journal]
  20. Frank O. Wagner
    Minimal Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1833-1835 [Journal]
  21. S. Salbany, Todor Todorov
    Nonstandard Analysis in Topology: Nonstandard and Standard Compactifications. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1836-1840 [Journal]
  22. Sachio Hirokawa, Yuichi Komori, Misao Nagayama
    A Lambda Proof of The P-W Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1841-1849 [Journal]
  23. Martin W. Bunder
    Expedited Broda-Damas Bracket Abstraction. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1850-1857 [Journal]
  24. Marcel Crabbé
    The Rise and Fall of Typed Sentences. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1858-1862 [Journal]
  25. Ralph McKenzie
    Recursive Inseparability for Residual Bounds of Finite Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1863-1880 [Journal]
  26. Slawomir Solecki
    Actions of Non-Compact and Non-Locally Compact Polish Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1881-1894 [Journal]
  27. Arthur W. Apter, James Cummings
    Identity Crises, Strong Compactness. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1895-1910 [Journal]
  28. 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]
  29. Dieter Spreen
    Corrigendum. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1917-1918 [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