The Journal of Symbolic Logic, Volume 68
Volume 68, Number 1, March 2003
Thomas Forster: ZF + 'Every set is the same size as a wellfounded set'. 1-4- Andreas Weiermann: An application of graphical enumeration to PA*. 5-16
- Lev D. Beklemishev: On the induction schema for decidable predicates. 17-34
- Roman Wencel: Definable sets in Boolean ordered o-minimal structures. II. 35-51
- Shamil Ishmukhametov: On a problem of Cooper and Epstein. 52-64
- Andreas Blass, Yuri Gurevich: Strong extension axioms and Shelah's zero-one law for choiceless polynomial time. 65-131
- Katalin Bimbó: The Church-Rosser property in dual combinatory logic. 132-152
- Raf Cluckers: Presburger sets and p-minimal fields. 153-162
- Mamoru Kaneko, Nobu-Yuki Suzuki: Epistemic models of shallow depths and decision making in games: Horticulture. 163-186
- Jacques Duparc: The Steel hierarchy of ordinal valued Borel mappings. 187-234
- Panu Raatikainen: Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories. 262-266
- Steven Givant: Inequivalent representations of geometric relation algebras. 267-310
- Martin Ziegler: Separably closed fields with Hasse derivations. 311-318
Volume 68, Number 2, June 2003
- Pascal Koiran: The theory of Liouville functions. 353-365
- M. C. Stanley: Outer models and genericity. 389-418
- George Goguadze, Carla Piazza, Yde Venema: Simulating polyadic modal logics by monadic ones. 419-462
- William J. Mitchell: A Gitik iteration with nearly Easton factoring. 481-502
- Lou van den Dries, A. J. Wilkie: The laws of integer divisibility, and solution sets of linear divisibility conditions. 503-526
- Joel David Hamkins: A simple maximality principle. 527-550
- Rodney G. Downey, Geoffrey LaForte, Richard A. Shore: Decomposition and infima in the computably enumerable degrees. 551-579
- Yasuo Yoshinobu: Approachability and games on posets. 589-606
- Yde Venema: Atomless varieties. 607-614
- Thomas Blossier: Automorphism groups of trivial strongly minimal structures. 644-668
- Arthur W. Apter, Joel David Hamkins: Exactly controlling the non-supercompact strongly compact cardinals. 669-688
- Philip D. Welch: On revision operators. 689-711
Volume 68, Number 3, September 2003
- Oliver Deiser, Dieter Donder: Canonical functions, non-regular ultrafilters and Ulam's problem on omega1. 713-739
- William W. Tait: The completeness of Heyting first-order logic. 751-763
- Christopher Barney: Ultrafilters on the natural numbers. 764-784
- John T. Baldwin: Expansions of geometries. 803-827
- John Krueger: Fat sets and saturated ideals. 837-845
- Itay Ben-Yaacov: Discouraging results for ultraimaginary independence theory. 846-850
- Koji Nakazawa, Makoto Tatsuta: Strong normalization proof with CPS-translation for second order classical natural deduction. 851-859
- Alexandra Shlapentokh: Existential definability with bounds on archimedean valuations. 860-878
- George Barmpalias: The approximation structure of a computably approximable real. 885-922
- David Pierce: Differential forms in the model theory of differential fields. 923-945
- Max A. Dickmann, Francisco Miraglia: Elementary properties of the Boolean hull and reduced quotient functors. 946-971
- Antonio Montalbán: Embedding jump upper semilattices into the Turing degrees. 989-1014
- Joan Rand Moschovakis: Classical and constructive hierarchies in extended intuitionistic analysis. 1015-1043
Volume 68, Number 4, December 2003
- Sy D. Friedman, Ralf Schindler: Universally Baire sets and definable well-orderings of the reals. 1065-1081
- Chris Pollett: A theory for Log-Space and NLIN versus coNLIN. 1082-1090
- Andrea Cantini: The axiom of choice and combinatory logic. 1091-1108
- Timothy J. Carlson: Ranked partial structures. 1109-1144
- Alexander Berenstein: Simple stable homogeneous groups. 1145-1162
- Sy D. Friedman: Cardinal-preserving extensions. 1163-1170
- James H. Schmerl: Partitioning large vector spaces. 1171-1180
- Michael C. Laskowski: An application of Kochen's theorem. 1181-1188
- M. Giraudet, J. K. Truss: Recovering ordered structures from quotients of their automorphism groups. 1189-1198
- Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore: A computably categorical structure whose expansion by a constant has infinite computable dimension. 1199-1241
- Pavel Pudlák: Parallel strategies. 1242-1250
- Thomas Forster: Finite-to-one maps. 1251-1253
- Tomek Bartoszynski, Saharon Shelah, Boaz Tsaban: Additivity properties of topological diagonalizations. 1254-1260
- Teruyuki Yorioka: Distinguishing types of gaps in (omega)/fin. 1261-1276
- René David, Karim Nour: A short proof of the strong normalization of classical natural deduction with disjunction. 1277-1288
- Olivier Lessmann: Categoricity and U-rank in excellent classes. 1317-1336
- Jörg Brendle, Maria Losada: The cofinality of the infinite symmetric group and groupwise density. 1354-1361
- Wolfgang Merkle: The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences. 1362-1376
- Anand Pillay: On countable simple unidimensional theories. 1377-1384
- David M. Evans: Ample dividing. 1385-1402
- H. Kushida, M. Okada: A proof-theoretic study of the correspondence of classical logic and modal logic. 1403-1414
- Koji Nakazawa, Makoto Tatsuta: Corrigendum to "Strong normalization proof with CPS-translation for second order classical natural deduction". 1415-1416
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team