The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
2003, volume: 68, number: 3

  1. Oliver Deiser, Dieter Donder
    Canonical functions, non-regular ultrafilters and Ulam's problem on omega1. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:713-739 [Journal]
  2. Kosta Dosen, Zoran Petric
    Generality of proofs and its Brauerian representation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:740-750 [Journal]
  3. William W. Tait
    The completeness of Heyting first-order logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:751-763 [Journal]
  4. Christopher Barney
    Ultrafilters on the natural numbers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:764-784 [Journal]
  5. Alessandro Berarducci, Margarita Otero
    Transfer methods for o-minimal topology. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:785-794 [Journal]
  6. Douglas S. Bridges, Luminita Vîta
    A proof-technique in uniform space theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:795-802 [Journal]
  7. John T. Baldwin
    Expansions of geometries. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:803-827 [Journal]
  8. Roland Hinnion, Thierry Libert
    Positive abstraction and extensionality. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:828-836 [Journal]
  9. John Krueger
    Fat sets and saturated ideals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:837-845 [Journal]
  10. Itay Ben-Yaacov
    Discouraging results for ultraimaginary independence theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:846-850 [Journal]
  11. Koji Nakazawa, Makoto Tatsuta
    Strong normalization proof with CPS-translation for second order classical natural deduction. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:851-859 [Journal]
  12. Alexandra Shlapentokh
    Existential definability with bounds on archimedean valuations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:860-878 [Journal]
  13. T. E. Forster, J. K. Truss
    Non-well-foundedness of well-orderable power sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:879-884 [Journal]
  14. George Barmpalias
    The approximation structure of a computably approximable real. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:885-922 [Journal]
  15. David Pierce
    Differential forms in the model theory of differential fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:923-945 [Journal]
  16. Max A. Dickmann, Francisco Miraglia
    Elementary properties of the Boolean hull and reduced quotient functors. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:946-971 [Journal]
  17. Yong Wang, Angsheng Li
    A hierarchy for the plus cupping Turing degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:972-988 [Journal]
  18. Antonio Montalbán
    Embedding jump upper semilattices into the Turing degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:989-1014 [Journal]
  19. Joan Rand Moschovakis
    Classical and constructive hierarchies in extended intuitionistic analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:1015-1043 [Journal]
  20. Peter Cholak, Leo Harrington
    Isomorphisms of splits of computably enumerable sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:1044-1064 [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