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

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

A Spector-Gandy theorem for cPC_d(A) classesLAVINE, S.The Journal of symbolic logic. 1992, Vol 57, Num 2, pp 478-500, issn 0022-4812Article

A note on a result of Kunen and PelletierBARBANEL, J. B.The Journal of symbolic logic. 1992, Vol 57, Num 2, pp 461-465, issn 0022-4812Article

A recursion principle for linear orderingsOIKKONEN, J.The Journal of symbolic logic. 1992, Vol 57, Num 1, pp 82-96, issn 0022-4812Article

Embeddability of ptykesGIRARD, J.-Y; NORMANN, D.The Journal of symbolic logic. 1992, Vol 57, Num 2, pp 659-676, issn 0022-4812Article

Filters on the space of partitions Q_k(λ)MENDEZ, G. M.The Journal of symbolic logic. 1992, Vol 57, Num 3, pp 769-778, issn 0022-4812Article

Four concepts from geometrical' stability theory in modulesKUCERA, T. G; PREST, M.The Journal of symbolic logic. 1992, Vol 57, Num 2, pp 724-740, issn 0022-4812Article

Functions and functionals on finite systemsLO, L.The Journal of symbolic logic. 1992, Vol 57, Num 1, pp 118-130, issn 0022-4812Article

Kolmogorov and mathematical logicUSPENSKY, V. A.The Journal of symbolic logic. 1992, Vol 57, Num 2, pp 385-412, issn 0022-4812Article

Local behaviour of the Chebyshev theorem in models of IΔ₀D'AQUINO, P.The Journal of symbolic logic. 1992, Vol 57, Num 1, pp 12-27, issn 0022-4812Article

Lusin-Sierpiński index for the internal setsZIVALJEVIC, B.The Journal of symbolic logic. 1992, Vol 57, Num 1, pp 172-178, issn 0022-4812Article

On expandability of models of Peano arithmetic to models of the alternative set theoryTZOUVARAS, A.The Journal of symbolic logic. 1992, Vol 57, Num 2, pp 452-460, issn 0022-4812Article

Ramsey sets, the Ramsey ideal, and other classes over RCORAZZA, P.The Journal of symbolic logic. 1992, Vol 57, Num 4, pp 1441-1468, issn 0022-4812Article

Singular σ-dense treesLANDVER, A.The Journal of symbolic logic. 1992, Vol 57, Num 4, pp 1403-1416, issn 0022-4812Article

The Beth-closure of L(Q_α) is not finitely generatedHELLA, L; LUOSTO, K.The Journal of symbolic logic. 1992, Vol 57, Num 2, pp 442-448, issn 0022-4812Article

The continuum and first-order intuitionistic logicVAN DALEN, D.The Journal of symbolic logic. 1992, Vol 57, Num 4, pp 1417-1424, issn 0022-4812Article

The isomorphism property versus the special model axiomRENLING JIN.The Journal of symbolic logic. 1992, Vol 57, Num 3, pp 975-987, issn 0022-4812Article

A second order version of S₂ⁱ and U₂¹TAKEUTI, G.The Journal of symbolic logic. 1991, Vol 56, Num 3, pp 1038-1063, issn 0022-4812Article

Admissible suslin cardinals in L(R)JACKSON, S.The Journal of symbolic logic. 1991, Vol 56, Num 1, pp 260-275, issn 0022-4812Article

An axiomatization of the logic with the rough quantifierKRYNICKI, M; TUSCHIK, H.-P.The Journal of symbolic logic. 1991, Vol 56, Num 2, pp 608-617, issn 0022-4812Article

Asymptotic probabilities of existential second-order Gödel sentencesPACHOLSKI, L; SZWAST, W.The Journal of symbolic logic. 1991, Vol 56, Num 2, pp 427-438, issn 0022-4812Article

Concerning n-tactics in the countable-finite gameSCHEEPERS, M.The Journal of symbolic logic. 1991, Vol 56, Num 3, pp 786-794, issn 0022-4812Article