The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
Volume 69, Issue 4
Publication Date: December 2004
A structural investigation on formal topology: coreflection of formal covers and exponentiability
Maria Emilia Maietti and Silvio Valentini; 967-1005
Elimination theory for addition and the Frobenius map in polynomial rings
Thanases Pheidas and Karim Zahidi; 1006-1026
Higher-order semantics and extensionality
Christoph Benzmüller, Chad E. Brown and Michael Kohlhase; 1027-1088
Comparing DNR and WWKL
Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp and Theodore A. Slaman; 1089-1104
A finite model-theoretical proof of a property of bounded query classes within PH
Leszek Aleksander Kołodziejczyk; 1105-1116
Bounding prime models
Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight and Robert I. Soare; 1117-1142
Some model theory of sheaves of modules
Mike Prest, Vera Puninskaya and Alexandra Ralph; 1187-1199
Generalized high degrees have the complementation property
Noam Greenberg, Antonio Montalbán and Richard A. Shore; 1200-1220
Coordinatisation by binding groups and unidimensionality in simple theories
Ziv Shami; 1221-1242
More on regular reduced products
Juliette Cara Kennedy and Saharon Shelah; 1261-1266
Jonsson-like partition relations and j: V → V
Arthur W. Apter and Grigor Sargsyan; 1267-1281
