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 68, Issue 3
Publication Date: September 2003
Canonical functions, non-regular ultrafilters and Ulam’s problem on ω1
Oliver Deiser and Dieter Donder; 713- 739
Generality of proofs and its Brauerian representation
Kosta Došen and Zoran Petrić; 740- 750
Transfer methods for o-minimal topology
Alessandro Berarducci and Margarita Otero; 785- 794
A proof—technique in uniform space theory
Douglas Bridges and Luminiţa Vîţă; 795- 802
Positive abstraction and extensionality
Roland Hinnion and Thierry Libert; 828- 836
Discouraging results for ultraimaginary independence theory
Itay Ben-Yaacov; 846- 850
Strong normalization proof with CPS-translation for second order classical natural deduction
Koji Nakazawa and Makoto Tatsuta; 851- 859
Existential definability with bounds on archimedean valuations
Alexandra Shlapentokh; 860- 878
Non-well-foundedness of well-orderable power sets
T. E. Forster and J. K. Truss; 879- 884
The approximation structure of a computably approximable real
George Barmpalias; 885- 922
Differential forms in the model theory of differential fields
David Pierce; 923- 945
Elementary properties of the Boolean hull and reduced quotient functors
M. A. Dickmann and F. Miraglia; 946- 971
A hierarchy for the plus cupping Turing degrees
Angsheng Li and Yong Wang; 972- 988
Embedding jump upper semilattices into the Turing degrees
Antonio Montalbán; 989-1014
Classical and constructive hierarchies in extended intuitionistic analysis
Joan Rand Moschovakis; 1015-1043
Isomorphisms of splits of computably enumerable sets
Peter A. Cholak and Leo A. Harrington; 1044-1064
