- 2004
- Uri Abraham, Saharon Shelah:
Ladder gaps over stationary sets. J. Symb. Log. 69(2): 518-532 (2004) - Andris Ambainis, John Case, Sanjay Jain, Mandayam Suraj:
Parsimony hierarchies for inductive inference. J. Symb. Log. 69(1): 287-327 (2004) - Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp, Theodore A. Slaman:
Comparing DNR and WWKL. J. Symb. Log. 69(4): 1089-1104 (2004) - Petr Andreev, Karel Hrbacek:
Standard sets in nonstandard set theory. J. Symb. Log. 69(1): 165-182 (2004) - Arthur W. Apter, Grigor Sargsyan:
Jonsson-like partition relations and j: V -> V. J. Symb. Log. 69(4): 1267-1281 (2004) - Toshiyasu Arai:
Wellfoundedness proofs by means of non-monotonic inductive definitions I: Pi 02-operators. J. Symb. Log. 69(3): 830-850 (2004) - Andrew P. Arana:
Arithmetical independence results using higher recursion theory. J. Symb. Log. 69(1): 1-8 (2004) - Jason Aubrey:
Combinatorics for the dominating and unsplitting numbers. J. Symb. Log. 69(2): 482-498 (2004) - Joan Bagaria, Roger Bosch:
Solovay models and forcing extensions. J. Symb. Log. 69(3): 742-766 (2004) - Bektur Sembiuly Baizhanov, John T. Baldwin:
Local homogeneity. J. Symb. Log. 69(4): 1243-1260 (2004) - Tibor Beke:
Theories of presheaf type. J. Symb. Log. 69(3): 923-934 (2004) - Oleg V. Belegradek:
Semi-bounded relations in ordered modules. J. Symb. Log. 69(2): 499-517 (2004) - Itay Ben-Yaacov:
Lovely pairs of models: the non first order case. J. Symb. Log. 69(3): 641-662 (2004) - Itay Ben-Yaacov, Frank O. Wagner:
On almost orthogonality in simple theories. J. Symb. Log. 69(2): 398-408 (2004) - Christoph Benzmüller, Chad E. Brown, Michael Kohlhase:
Higher-order semantics and extensionality. J. Symb. Log. 69(4): 1027-1088 (2004) - Alexander Berenstein:
Dividing in the algebra of compact operators. J. Symb. Log. 69(3): 817-829 (2004) - Douglas S. Bridges, Luminita Vîta:
Corrigendum to "A proof - technique in uniform space theory". J. Symb. Log. 69(1): 328 (2004) - Peter Cholak, Alberto Marcone, Reed Solomon:
Reverse mathematics and the equivalence of definitions for well and better quasi-orders. J. Symb. Log. 69(3): 683-712 (2004) - Roy T. Cook:
Patterns of paradox. J. Symb. Log. 69(3): 767-774 (2004) - Septimiu Crivei, Mike Prest, Geert Reynders:
Model theory of comodules. J. Symb. Log. 69(1): 137-142 (2004) - Barbara F. Csima:
Degree spectra of prime models. J. Symb. Log. 69(2): 430-442 (2004) - Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight, Robert I. Soare:
Bounding prime models. J. Symb. Log. 69(4): 1117-1142 (2004) - Decheng Ding, Liang Yu:
There is no SW-complete c.e. real. J. Symb. Log. 69(4): 1163-1170 (2004) - Marko Djordjevic:
On first-order sentences without finite models. J. Symb. Log. 69(2): 329-339 (2004) - Natasha Dobrinen, Stephen G. Simpson:
Almost everywhere domination. J. Symb. Log. 69(3): 914-922 (2004) - Alfred Dolich:
Forking and independence in o-minimal theories. J. Symb. Log. 69(1): 215-240 (2004) - Rodney G. Downey, Evan J. Griffiths:
Schnorr randomness. J. Symb. Log. 69(2): 533-554 (2004) - Mirna Dzamonja, Péter Komjáth, Charles Morgan:
Wild edge colourings of graphs. J. Symb. Log. 69(1): 255-264 (2004) - Thomas Ehrhard:
A completeness theorem for symmetric product phase spaces. J. Symb. Log. 69(2): 340-370 (2004) - Ali Enayat:
Leibnizian models of set theory. J. Symb. Log. 69(3): 775-789 (2004)