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 64, Issue 4
Publication Date: December, 1999
Volume Information
Miscellaneous front pages, J. Symbolic Logic, Volume 64, Issue 4 (1999)
Lowness for the Class of Random Sets
Antonin Kucera and Sebastiaan A. Terwijn; 1396-1402
Friedberg Splittings in $\Sigma^0_3$ Quotient Lattices of $\mathscr{E}$
Todd Hammond; 1403-1406
Cantor-Bendixson Rank of the Ziegler Spectrum Over a Commutative Valuation Domain
Gennadi Puninski; 1512-1518
The Complexity of the Collection of Countable Linear Orders of the Form I + I
Ferenc Beleznay; 1519-1526
Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables
Maarten Marx and Szabolcs Mikulas; 1563-1572
No Elementary Embedding from V into V is Definable from Parameters
Akira Suzuki; 1591-1594
A $\Delta^0_2$ Set with Barely $\Sigma^0_2$ Degree
Rod Downey, Geoffrey Laforte and Steffen Lempp; 1700-1718
Classification of $\delta$-Invariant Amalgamation Classes
Roman D. Aref'ev, John T. Baldwin and Marco Mazzucco; 1743-1750
Notions of Locality and Their Logical Characterizations Over Finite Models
Lauri Hella, Leonid Libkin and Juha Nurmonen; 1751-1773
The Complexity of Decision Procedures in Relevance Logic II
Alasdair Urquhart; 1774-1802
Reviews
Review: Jan Krajicek, Pavel Pudlak, Gaisi Takeuti, Bounded Arithmetic and the Polynomial Hierarchy; Samuel R. Buss, Relating the Bounded Arithmetic and Polynomial Time Hierarchies; Domenico Zambella, Notes on Polynomially Bounded Arithmetic
Stephen Cook; 1821-1823
Review: Paul W. Beame, Samuel R. Buss, Proof Complexity and Feasible Arithmetics, DIMACS Workshop, April 21-24, 1996
Alexander A. Razborov; 1823-1825
Review: Mikhail G. Peretyat'kin, Finitely Axiomatizable Theories
Vivienne Morley; 1828-1830
Review: Mikhail G. Peretyat'kin, Konechno Aksiomatiziruemye Teorii; F. R. Drake, D. Singh, Intermediate Set Theory; Winfried Just, Martin Weese, Discovering Modern Set Theory. II. Set-Theoretic Tools for Every Mathematician
Martin Goldstern; 1830-1832
Review: Jon Barwise, Jerry Seligman, Information Flow. The Logic of Distributed Systems
Maarten de Rijke; 1836
Review: Fahiem Bacchus, Representing and Reasoning with Probabilistic Knowledge. A Logical Approach to Probabilities
Jerzy W. Grzymala-Busse; 1837
Review: J.-J. Ch. Meyer, W. van Der Hoek, Epistemic Logic for AI and Computer Science
Rineke Verbrugge; 1837-1840
Review: Henry Prakken, Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law
R. P. Loui; 1840-1841
Review: Lamber M. M. Royakkers, Extending Deontic Logic for the Formalisation of Legal Rules
Patrice Bailhache; 1841-1842
Review: Philippe de Rouilhan, Russell et le cercle des paradoxes
Newton C. A. da Costa and Otavio Bueno; 1845-1847
Review: Jacek Pasniczek, The Logic of Intentional Objects. A Meinongian Version of Classical Logic
Dale Jacquette; 1847-1849
Review: Olav K. Wiegand, Interpretationen der Modallogik. Ein Beitrag zur phanomenologischen Wissenschaftstheorie
Guillermo E. Rosado Haddock; 1849-1853
Miscellaneous back pages, J. Symbolic Logic, Volume 64, Issue 4 (1999)
