The journal of symbolic logic : JSL
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
Table of contents
- 337
-
Some applications of coarse inner model theoryHjorth, Greg et al. | 1997
- 366
-
A characterization of Martin's axiom in terms of absolutenessBagaria, Joan et al. | 1997
- 373
-
Canonical seeds and Prikry treesHamkins, Joel David et al. | 1997
- 397
-
Generalized nonsplitting in the recursively enumerable degreesLeonhardi, Steven D. et al. | 1997
- 438
-
The dense linear ordering principlePincus, David et al. | 1997
- 457
-
Interpolation theorems, lower hounds for proof systems, and independence results for hounded arithmeticKrajicek, Jan et al. | 1997
- 457
-
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmeticKrajicek, J. et al. | 1997
- 487
-
Remarks on Galois cohomology and definabilityPillay, Anand et al. | 1997
- 493
-
Definability in functional analysisIovino, José et al. | 1997
- 506
-
Completeness of global intuitionistic set theoryTitani, Satoko et al. | 1997
- 529
-
On the complexity of propositional quantification in intuitionistic logicKremer, Philip et al. | 1997
- 545
-
Relativized logspace and generalized quantifiers over finite ordered structuresGottlob, Georg et al. | 1997
- 575
-
Polynomial time operations in explicit mathematicsStrahm, Thomas et al. | 1997
- 595
-
Louveau's theorem for the descriptive set theory of internal setsSchilling, Kenneth et al. | 1997
- 608
-
Special selection in logic in computer scienceVardi, Moshe Y. et al. | 1997
- 609
-
Infinitary logics and very sparse random graphsLynch, James F. et al. | 1997
- 624
-
The order types of termination orderings on monadic terms, strings and multisetsMartin, Ursula et al. | 1997
- 636
-
On the unification problem for Cartesian closed categoriesNarendran, Paliath et al. | 1997
- 648
-
Product-free Lambek calculus and context-free grammarsPentus, Mati et al. | 1997
- 661
-
y = 2x vs. y = 3xStolboushkin, A. / Niwinski, D. et al. | 1997
- 661
-
yStolboushkin, Alexei et al. | 1997
- 673
-
Reviews| 1997