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
- 1201
-
The cylindric algebras of three-valued logicFeldman, Norman et al. | 1998
- 1218
-
Relative constructivityKohlenbach, Ulrich et al. | 1998
- 1239
-
Filtral powers of structuresOuwehand, P. et al. | 1998
- 1255
-
Equivalence elementaire et decidabilite pour des structures du type groupe agissant sur un groupe abelienSimonetta, Patrick et al. | 1998
- 1286
-
Termination and confluence in infinitary term rewritingRodenburg, P.H. et al. | 1998
- 1297
-
Invisible genericity and 0#Stanley, M.C. et al. | 1998
- 1319
-
Bounding minimal degrees by computably enumerable degreesLi, Angsheng et al. | 1998
- 1348
-
How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: A case studyWeiermann, Andreas et al. | 1998
- 1348
-
How is it that infinitary methods can be applied to finitary mathematics? Goedel's TWeiermann, A. et al. | 1998
- 1371
-
Compactness of Loeb spacesJin, Renling et al. | 1998
- 1393
-
The complexity of the core modelMitchele, William J. et al. | 1998
- 1399
-
Foundation versus induction in Klipke-PIatek set theoryZambella, Domenico et al. | 1998
- 1399
-
Foundation versus induction in Kripke-Platek set theoryZam-Bella, D. et al. | 1998
- 1404
-
The least measurable can be strongly compact and indestructibleApter, Arthur W. et al. | 1998
- 1413
-
The shuffle Hopf algebra and noncommutative full completenessBlute, R.F. et al. | 1998
- 1437
-
Preserving s-idealsZapletal, Jindrich et al. | 1998
- 1437
-
Preserving -idealsZapletal, J. et al. | 1998
- 1442
-
Quantifier elimination for neocompact setsKeisler, H.Jerome et al. | 1998
- 1473
-
CM-triviality and stable groupsWagner, Frank O. et al. | 1998
- 1496
-
Large cardinals and large dilatorsLewis, Andy et al. | 1998
- 1511
-
Weakly o-minimal structures and some of their propertiesKulpeshov, B.Sh et al. | 1998
- 1529
-
The interpretation of unsolvable lambda-terms in models of untyped lambda-calculusKerth, R. et al. | 1998
- 1529
-
The interpretation of unsolvable l-terms in models of untyped l-calculusKerth, Rainer et al. | 1998
- 1549
-
Rectangular gamesVenema, Yde et al. | 1998
- 1565
-
The determinacy of Blackwell gamesMartin, Donald A. et al. | 1998
- 1582
-
Discretely ordered modules as a first-order extension of the cutting planes proof systemKrajicek, Jan et al. | 1998
- 1597
-
Correction to "T-convexity and tame extensions II"Dries, Lou Van Den et al. | 1998
- 1598
-
Reviews| 1998