Volume 73 - Issue 1 - March 2008 · Flat algebras and the translation of universal Horn logic to equational logic · Marcel Jackson · Published online by Cambridge ...
Volume 73 - Issue 2 - June 2008 · Coding complete theories in Galois groups · James Gray · Published online by Cambridge University Press: 12 March 2014, pp.
The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71 ...
Volume 73 - June 2008 ; Scales in K(ℝ) at the end of a weak gap · J. R. Steel ·, pp. 369-390 ; Weak square bracket relations for Pκ(λ) · Pierre Matet ·, pp. 729- ...
Jan Krajícek: An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams. 227-237.
Volume 73 Issue 3 | Journal of Symbolic Logic - Project Euclid
projecteuclid.org › journals › issue-3
Weak square bracket relations for Pκ (λ) · Pierre Matet. J. Symbolic Logic 73 (3), 729-751, (September 2008) ; Suslin forcing and parametrized ♢ principles.
Volume 73 Issue 4 | Journal of Symbolic Logic - Project Euclid
projecteuclid.org › journals › issue-4
We show that a set has an η-representation in a linear order if and only if it is the range of a 0'-computable limitwise monotonic function.
The Journal of Symbolic Logic. visit. web page @ cambridge.org · web page ... Volume 73, 2008 · Volume 72, 2007 · Volume 71, 2006 · Volume 70, 2005 · Volume 69 ...
A characterization of the δ20 hyperhyperimmune sets - Volume 73 Issue 4.
The Journal of Symbolic Logic, vol. 73 by Uri Andrews; A computable N₀-categorical structure whose theory computes true arithmetic. The Journal of Symbolic ...