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
- 1121
-
Boolean algebras, Stone spaces, and the iterated Turing jumpJockusch Jr, Carl G. et al. | 1994
- 1139
-
On first-order theories with provability operatorArte͏̈mov, Sergei et al. | 1994
- 1154
-
A modified sentence unprovable in PAGordeev, L. et al. | 1994
- 1158
-
The consistency strength of an infinitary Ramsey propertyKafkoulis, George et al. | 1994
- 1196
-
Possible behaviours for the Mitchell ordering IICummings, James et al. | 1994
- 1210
-
Strictly primitive recursive realizability, IDamnjanovic, Zlatan et al. | 1994
- 1228
-
The critical number of a variable in a functionTakeuti, Gaisi et al. | 1994
- 1245
-
A partial model of NF with EPrati, N. et al. | 1994
- 1254
-
Hereditary undecidability of some theories of finite structuresWillard, Ross et al. | 1994
- 1263
-
Subformula property in many-valued modal logicsTakano, Mitio et al. | 1994
- 1274
-
Grzegorcyk's hierarchy and IepS1Takeuti, Gaisi et al. | 1994
- 1274
-
Grzegorcyk's hierarchy and Iep~1Takeuti, G. et al. | 1994
- 1285
-
On the number of models of uncountable theoriesChowdhury, Ambar et al. | 1994
- 1301
-
Effective versions of Ramsey's Theorem: Avoiding the cone above 0'Lakins Hummel, Tamara et al. | 1994
- 1326
-
Initial segments of the lattice of ideals of r.e. degreesWeber, Frank P. et al. | 1994
- 1351
-
Scott heights of abelian groupsNadel, Mark E. et al. | 1994
- 1360
-
Embedding lattices into the wtt-degrees below 0'Downey, Rod et al. | 1994
- 1383
-
Mixed systemsAsh, C.J. et al. | 1994
- 1400
-
Definability of types, and pairs of O-minimal structuresPillay, Anand et al. | 1994
- 1410
-
On countable fractions from an elementary classAsh, C.J. et al. | 1994
- 1414
-
On the incompleteness theoremsKotlarski, Henry K. et al. | 1994
- 1420
-
Characterising subsets of omega~1 constructible from a realWelch, P. D. et al. | 1994
- 1420
-
Characterising subsets of w1 constructible from a realWelch, P.D. et al. | 1994
- 1433
-
Reviews| 1994
- 1443
-
1993 Annual Meeting of the Australasian Association for Logic, Adelaide| 1994
- 1450
-
List of Officers and Members of the Association for Symbolic Logic| 1994
- 1493
-
Notices| 1994