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

Association for Symbolic Logic. Annual meetingThe Journal of symbolic logic. 1993, Vol 58, Num 1, pp 370-382, issn 0022-4812Conference Proceedings

A survey /expository papers Zero-one laws with variable probabilitySPENCER, J.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 1-14, issn 0022-4812Conference Paper

Quantifying over propositions in relevance logic: nonaxiomatisability of primary intepretations of ∀p and ∃pKREMER, P.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 334-349, issn 0022-4812Conference Paper

Strong ultrapowers and long core modelsCUMMINGS, J.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 240-248, issn 0022-4812Conference Paper

Generalized reduction theorems for model-theoretic analogs of the class of coanalytic setsLAVINE, S.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 81-98, issn 0022-4812Conference Paper

On coherent families of finite-to-one functionsKOSZMIDER, P.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 128-138, issn 0022-4812Conference Paper

Splittings and the finite model propertyKRACHT, M.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 139-157, issn 0022-4812Conference Paper

Algebraic types and automorphism groupsTSUBOI, A.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 232-239, issn 0022-4812Conference Paper

Constructive set theoretic models of typed combinatory logicKNOBEL, A.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 99-118, 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

Every n-generic degree is a minimal cover of an n-generic degreeKUMABE, M.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 219-231, 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

Weakly normal closures of filters on K_λSHIOYA, M.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 55-63, 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

Diophantine relations between rings of S-integers of fields of algebraic functions in one variable over constant fields of positive characteristicSHLAPENTOKH, A.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 158-192, issn 0022-4812Conference Paper

Does V equal L?MADDY, P.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 15-41, 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

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

Résultats optimaux sur l'existence d'une partie entière dans les corps ordonnés = Optimal results on the existence of an integer part in ordered fieldsBOUGHATTAS, S.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 326-333, issn 0022-4812Conference Paper

μ-definable sets of integersLUBARSKY, R. S.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 291-313, issn 0022-4812Conference Paper

Natural language, sortal reducibility and generalized quantifiersKEENAN, E. L.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 314-325, 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

On strong provability predicates and the associated modal logicsIGNATIEV, K. N.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 249-290, issn 0022-4812Conference Paper

Quasiunitriangular groupsBELEGRADEK, O. V.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 205-218, issn 0022-4812Conference Paper