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 77, Issue 1
Publication Date: March 2012
Array nonrecursiveness and relative recursive enumerability
Mingzhong Cai; 21-32
Domination, forcing, array nonrecursiveness and relative recursive enumerability
Mingzhong Cai and Richard A. Shore; 33-48
Expansions which introduce no new open sets
Gareth Boxall and Philipp Hieromyni; 111-121
Isomorphism relations on computable structures
Ekaterina B. Fokina, Sy-David Friedman, Valentina Harizanov, Julia F. Knight, Charles McCoy and Antonio Montalbán; 122-132
Cupping and definability in the local structure of the enumeration degrees
Hristo Ganchev and Mariya I. Soskova; 133-158
Cardinal invariants of monotone and porous sets
Michael Hrušák and Ondřej Zindulka; 159-173
Normal forms for elementary patterns
Timothy J. Carlson and Gunnar Wilken; 174-194
Hypergraph sequences as a tool for saturation of ultrapowers
M. E. Malliaris; 195-223
Borel reducibility and Hölder(α) embeddability between Banach spaces
Longyun Ding; 224-244
On canonicity and completions of weakly representable relation algebras
Ian Hodkinson and Szabolcs Mikulás; 245-262
An incomplete set of shortest descriptions
Frank Stephan and Jason Teutsch; 291-307
The complexity of squares in the group of isometries of the Baire space
Aaron Hill; 329-336
The geometry of Hrushovski constructions, II. The strongly minimal case.
David M. Evans and Marco S. Ferreira; 337-349
A hierarchy of tree-automatic structures
Olivier Finkel and Stevo Todorčević; 350-368
