Association for Symbolic Logic. European summer meetingThe Journal of symbolic logic. 1993, Vol 58, Num 2, pp 729-766, issn 0022-4812Conference Proceedings

Kripke models for linear logicALLWEIN, G; DUNN, J. M.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 514-545, issn 0022-4812Conference Paper

The Cichoń diagramBARTOSZYNSKI, T; JUDAH, H; SHELAH, S et al.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 401-423, issn 0022-4812Conference Paper

Scott analysis of pseudotypesNEWELSKI, L.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 648-663, issn 0022-4812Conference Paper

Extending the first-order theory of combinators with self-referential truthCANTINI, A.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 477-513, issn 0022-4812Conference Paper

The development of arithmetic in Frege's Grundgesetze der ArithmetikHECK, R. G.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 579-601, issn 0022-4812Conference Paper

Definability of models by means of existential formulas without identityPAZDYKA, P.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 424-434, issn 0022-4812Conference Paper

On solvable centerless groups of Morley rank 3DAVIS, M. K; NESIN, A.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 546-556, issn 0022-4812Conference Paper

The Baire category theorem in weak subsystems of second-order arithmeticBROWN, D. K; SIMPSON, S. G.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 557-578, issn 0022-4812Conference Paper

Theory contraction and base contraction unifiedHANSSON, S. O.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 602-625, issn 0022-4812Conference Paper

Bounds for the closure ordinals of essentially monotonic increasing functionsWEIERMANN, A.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 664-671, issn 0022-4812Conference Paper

Decidability and undecidability of theories with a predicate for the primesBATEMAN, P. T; JOCKUSCH, C. G; WOODS, A. R et al.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 672-687, issn 0022-4812Conference Paper

Every real closed field has an integer partMOURGUES, M. H; RESSAYRE, J. P.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 641-647, issn 0022-4812Conference Paper

On the Cantor-Bendixon rank of recursively enumerable setsCHOLAK, P; DOWNEY, R.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 629-640, issn 0022-4812Conference Paper

Pointwise compact and stable sets of measurable functionsSHELAH, S; FREMLIN, D. H.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 435-455, issn 0022-4812Conference Paper

Quadratic forms in normal open inductionOTERO, M.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 456-476, issn 0022-4812Conference Paper

The deduction rule and linear and near-linear proof simulationsBONET, M. L; BUSS, S. R.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 688-709, issn 0022-4812Conference Paper

The number of proofs for a BCK-formulaKOMORI, Y; HIROKAWA, S.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 626-628, issn 0022-4812Conference Paper

Sous-groupes périodiques d'un groupe stable = Periodic subgroups of a stable groupPOIZAT, B; WAGNER, F.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 385-400, issn 0022-4812Conference Paper