The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1981, volume: 46, number: 1

  1. Erik Ellentuck
    Hyper-Torre Isols. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:1-5 [Journal]
  2. Andre Boileau, André Joyal
    La Logique des Topos. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:6-16 [Journal]
  3. W. A. Howard
    Ordinal Analysis of Simple Cases of Bar Recursion. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:17-30 [Journal]
  4. Mitchell Spector
    The kappa-Closed Unbounded Filter and Supercompact Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:31-40 [Journal]
  5. John R. Steel
    Determinateness and the Separation Property. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:41-44 [Journal]
  6. Barbara Veit
    A Proof of the Associated Sheaf Theorem by Means of Categorical Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:45-55 [Journal]
  7. Chantal Berline
    Rings Which Admit Elimination of Quantifiers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:56-58 [Journal]
  8. Akihiro Kanamori
    On P-Points Over a Measurable Cardinal. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:59-66 [Journal]
  9. Frederic Brenton Fitch
    The Consistency of System Q. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:67-76 [Journal]
  10. John T. Kearns
    Modal Semantics without Possible Worlds. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:77-86 [Journal]
  11. E. G. K. López-Escobar
    On the Interpolation Theorem for the Logic of Constant Domains. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:87-88 [Journal]
  12. Arthur W. Apter
    Changing Cofinalities and Infinite Exponents. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:89-95 [Journal]
  13. Fred G. Abramson
    Locally Countable Models of sigma1-Separation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:96-100 [Journal]
  14. James H. Schmerl
    Decidability and Finite Axiomatizability of Theories of 0-Categorical Partially Ordered Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:101-120 [Journal]
  15. W. Gielen, Harrie C. M. de Swart, Wim Veldman
    The Continuum Hypothesis in Intuitionism. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:121-136 [Journal]
  16. Bruno Poizat
    Sous-Groupes Definissables d'Un Groupe Stable. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:137-146 [Journal]
  17. Andreas Blass
    Some Initial Segments of the Rudin-Keisler Ordering. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:147-157 [Journal]
  18. Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa, Irene F. Mikenberg
    Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:180-190 [Journal]
  19. Daniel Halpern, William W. Tait, John T. Baldwin
    Meeting of the Association for Symbolic Logic: Biloxi, 1979. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:191-198 [Journal]
  20. Alfred B. Manaster, Thomas H. Payne, David Harrah
    Meeting of the Association for Symbolic Logic: San Diego, 1979. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:199-203 [Journal]
  21. W. G. Malcolm, M. J. Cresswell
    Meeting of the Association for Symbolic Logic: Hamilton, New Zealand, 1979. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:204-206 [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