Journals in DBLP

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

1. Jean A. Larson
   An Ordinal Partition Avoiding Pentagrams. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2000, v:65, n:3, pp:969-978 [Journal]
   
2. Giovanni Sambin, Giulia Battilotti, Claudia Faggian
   Basic Logic: Reflection, Symmetry, Visibility. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2000, v:65, n:3, pp:979-1013 [Journal]
   
3. Miklós Erdélyi-Szabó
   Undecidability of The Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2000, v:65, n:3, pp:1014-1030 [Journal]
   
4. Saharon Shelah
   Was Sierpinski Right? IV. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2000, v:65, n:3, pp:1031-1054 [Journal]
   
5. Saharon Shelah
   On Quantification with A Finite Universe. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2000, v:65, n:3, pp:1055-1075 [Journal]
   
6. Jonathan P. Seldin
   On The Role of Implication in Formal Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2000, v:65, n:3, pp:1076-1114 [Journal]
   
7. Oleg V. Belegradek, Ya'acov Peterzil, Frank Wagner
   Quasi-O-Minimal Structures. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2000, v:65, n:3, pp:1115-1132 [Journal]
   
8. Dag Normann
   Computability over The Partial Continuous Functionals. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2000, v:65, n:3, pp:1133-1142 [Journal]
   
9. István Németi, Gábor Sági
   On The Equational Theory of Representable Polyadic Equality Algebras. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2000, v:65, n:3, pp:1143-1167 [Journal]
   
10. Steven Awodey, Carsten Butz
    Topological Completeness for Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1168-1182 [Journal]
    
11. Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith
    Formal Topologies on The Set of First-Order Formulae. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1183-1192 [Journal]
    
12. Philip D. Welch
    Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1193-1203 [Journal]
    
13. Amir Leshem
    On The Consistency of The Definable Tree Property on Alef-Symbol₁. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1204-1214 [Journal]
    
14. Hirotaka Kikyo
    Model Companions of Theories with An Automorphism. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1215-1222 [Journal]
    
15. Wolfgang Burr
    Fragments of Heyting Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1223-1240 [Journal]
    
16. Kerkko Luosto
    Hierarchies of Monadic Generalized Quantifiers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1241-1263 [Journal]
    
17. Andreas Blass, Yuri Gurevich
    The Logic of Choice. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1264-1310 [Journal]
    
18. Saharon Shelah, Jouko A. Väänänen
    Stationary Sets and Infinitary Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1311-1320 [Journal]
    
19. Ramón Pino Pérez, Carlos Uzcátegui
    On Representation Theorems for Nonmonotonic Consequence Relations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1321-1337 [Journal]
    
20. Gaisi Takeuti
    Gödel Sentences of Bounded Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1338-1346 [Journal]
    
21. Françoise Point
    On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1347-1374 [Journal]
    
22. Toshiyasu Arai
    Ordinal Diagrams for PI₃-Reflection. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1375-1394 [Journal]
    
23. Masahiro Kumabe
    A 1-Generic Degree with A Strong Minimal Cover. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1395-1442 [Journal]
    
24. Zoé Chatzidakis, Carol Wood
    Minimal Types in Separably Closed Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1443-1450 [Journal]
    
25. Mariagnese Giusto, Stephen G. Simpson
    Located Sets and Reverse Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1451-1480 [Journal]