- David M. Evans:
Ample dividing. J. Symb. Log. 68(4): 1385-1402 (2003) - Salvador García Ferreira, Michael Hrusák:
Ordering MAD families a la Katetov. J. Symb. Log. 68(4): 1337-1353 (2003) - Thomas Forster:
ZF + 'Every set is the same size as a wellfounded set'. J. Symb. Log. 68(1): 1-4 (2003) - Thomas Forster:
Finite-to-one maps. J. Symb. Log. 68(4): 1251-1253 (2003) - Thomas E. Forster, John Kenneth Truss:
Non-well-foundedness of well-orderable power sets. J. Symb. Log. 68(3): 879-884 (2003) - Sy D. Friedman:
Cardinal-preserving extensions. J. Symb. Log. 68(4): 1163-1170 (2003) - Sy D. Friedman, Tapani Hyttinen, Mika Rautila:
Classification theory and 0#. J. Symb. Log. 68(2): 580-588 (2003) - Sy D. Friedman, Ralf Schindler:
Universally Baire sets and definable well-orderings of the reals. J. Symb. Log. 68(4): 1065-1081 (2003) - M. Giraudet, John Kenneth Truss:
Recovering ordered structures from quotients of their automorphism groups. J. Symb. Log. 68(4): 1189-1198 (2003) - Steven Givant:
Inequivalent representations of geometric relation algebras. J. Symb. Log. 68(1): 267-310 (2003) - George Goguadze, Carla Piazza, Yde Venema:
Simulating polyadic modal logics by monadic ones. J. Symb. Log. 68(2): 419-462 (2003) - Joel David Hamkins:
A simple maximality principle. J. Symb. Log. 68(2): 527-550 (2003) - Roland Hinnion, Thierry Libert:
Positive abstraction and extensionality. J. Symb. Log. 68(3): 828-836 (2003) - Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore:
A computably categorical structure whose expansion by a constant has infinite computable dimension. J. Symb. Log. 68(4): 1199-1241 (2003) - Shamil Ishmukhametov:
On a problem of Cooper and Epstein. J. Symb. Log. 68(1): 52-64 (2003) - Mamoru Kaneko, Nobu-Yuki Suzuki:
Epistemic models of shallow depths and decision making in games: Horticulture. J. Symb. Log. 68(1): 163-186 (2003) - Pascal Koiran:
The theory of Liouville functions. J. Symb. Log. 68(2): 353-365 (2003) - John Krueger:
Fat sets and saturated ideals. J. Symb. Log. 68(3): 837-845 (2003) - Hirohiko Kushida, Mitsu Okada:
A proof-theoretic study of the correspondence of classical logic and modal logic. J. Symb. Log. 68(4): 1403-1414 (2003) - Michael C. Laskowski:
An application of Kochen's theorem. J. Symb. Log. 68(4): 1181-1188 (2003) - Olivier Lessmann:
Categoricity and U-rank in excellent classes. J. Symb. Log. 68(4): 1317-1336 (2003) - Donald A. Martin, Itay Neeman, Marco Vervoort:
The strength of Blackwell determinacy. J. Symb. Log. 68(2): 615-636 (2003) - Pierre Matet, Janusz Pawlikowski:
Q-pointness, P-pointness and feebleness of ideals. J. Symb. Log. 68(1): 235-261 (2003) - Wolfgang Merkle:
The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences. J. Symb. Log. 68(4): 1362-1376 (2003) - William J. Mitchell:
A Gitik iteration with nearly Easton factoring. J. Symb. Log. 68(2): 481-502 (2003) - Antonio Montalbán:
Embedding jump upper semilattices into the Turing degrees. J. Symb. Log. 68(3): 989-1014 (2003) - Joan Rand Moschovakis:
Classical and constructive hierarchies in extended intuitionistic analysis. J. Symb. Log. 68(3): 1015-1043 (2003) - Koji Nakazawa, Makoto Tatsuta:
Strong normalization proof with CPS-translation for second order classical natural deduction. J. Symb. Log. 68(3): 851-859 (2003) - Koji Nakazawa, Makoto Tatsuta:
Corrigendum to "Strong normalization proof with CPS-translation for second order classical natural deduction". J. Symb. Log. 68(4): 1415-1416 (2003) - David Pierce:
Differential forms in the model theory of differential fields. J. Symb. Log. 68(3): 923-945 (2003)