%%% ====================================================================
%%%  BibTeX-file{
%%%  filename  = "jsyml.bib",
%%%  version   = "3.02",
%%%  url = "http://theory.lcs.mit.edu/~dmjones/hbp/jsyml/jsyml.bib",
%%%  date      = "13 November 1998",
%%%  time      = "12:41:07 EST",
%%%  author    = "David M. Jones",
%%%  address   = "MIT Laboratory for Computer Science
%%%               Room NE43-316
%%%               545 Technology Square
%%%               Cambridge, MA 02139
%%%               USA",
%%%  telephone = "(617) 253-5936",
%%%  FAX       = "(617) 253-3480",
%%%  checksum  = "62817 8402 14021 149213",
%%%  email     = "dmjones at theory.lcs.mit.edu",
%%%  codetable = "ISO/ASCII",
%%%  keywords  = "",
%%%  supported = "yes",
%%%  abstract  = "",
%%%  docstring = "The checksum field above contains a CRC-16 checksum
%%%               as the first value, followed by the equivalent of
%%%               the standard UNIX wc (word count) utility output of
%%%               lines, words, and characters.  This is produced by
%%%               Robert Solovay's checksum utility.",
%%%  }
%%% ====================================================================

@String{jsyml =  "The Journal of Symbolic Logic"}

Volume 55, Number 1
                              March 1990

@Article{JSYML::NadelS1990,
  title =        "On Models of the Elementary Theory of {$(\mathbf{Z},
                 +, 1)$}",
  author =       "Mark Nadel and Jonathan Stavi",
  pages =        "1--20",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Shelah1990,
  title =        "Strong Negative Partition Above the Continuum",
  author =       "Saharon Shelah",
  pages =        "21--31",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::AbrusciGW1990,
  title =        "Some Uses of Dilators in Combinatorial Problems.
                 {II}",
  author =       "V. Michele Abrusci and Jean-Yves Girard and Jacques
                 van de Wiele",
  pages =        "32--40",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Yetter1990,
  title =        "Quantales and (Noncommutative) Linear Logic",
  author =       "David N. Yetter",
  pages =        "41--64",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Oikkonen1990,
  title =        "On {Ehrenfeucht-Fra{\"\i}ss\'e} Equivalence of Linear
                 Orderings",
  author =       "Juha Oikkonen",
  pages =        "65--73",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Blizard1990,
  title =        "A Formal Theory of Objects, Space and Time",
  author =       "Wayne D. Blizard",
  pages =        "74--89",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::HindleyM1990,
  title =        "Principal Type-Schemes and Condensed Detachment",
  author =       "J. Roger Hindley and David Meredith",
  pages =        "90--105",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Lopez-Escobar1990,
  title =        "Remarks on the {Church-Rosser} Property",
  author =       "E. G. K. L{\'o}pez-Escobar",
  pages =        "106--112",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::AjtaiF1990,
  title =        "Reachability Is Harder for Directed than for
                 Undirected Finite Graphs",
  author =       "Miklos Ajtai and Ronald Fagin",
  pages =        "113--150",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Wagner1990,
  title =        "Subgroups of Stable Groups",
  author =       "Frank Wagner",
  pages =        "151--156",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Gordeev1990,
  title =        "Generalizations of the {Kruskal-Friedman} Theories",
  author =       "L. Gordeev",
  pages =        "157--181",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Goodman1990,
  title =        "Mathematics and Natural Science",
  author =       "Nicolas D. Goodman",
  pages =        "182--193",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Lubarsky1990,
  title =        "An Introduction to {$\gamma$}-Recursion Theory (Or
                 What to Do in {KP}---Foundation)",
  author =       "Robert S. Lubarsky",
  pages =        "194--206",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Gerla1990,
  title =        "Pointless Metric Spaces",
  author =       "Giangiacomo Gerla",
  pages =        "207--219",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Williams1990,
  title =        "On the Formalization of Semantic Conventions",
  author =       "James G. Williams",
  pages =        "220--243",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Cantini1990,
  title =        "A Theory of Formal Truth Arithmetically Equivalent to
                 {$\mathrm{ID}_1$}",
  author =       "Andrea Cantini",
  pages =        "244--259",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Grigorieff1990,
  title =        "Every Recursive Linear Ordering Has a Copy in
                 {$\mathrm{DTIME-SPACE}(n, \log(n))$}",
  author =       "Serge Grigorieff",
  pages =        "260--276",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::HaddadM1990,
  title =        "{L}'Axiome de Normalit\'e pour les Espaces Totalement
                 Ordonn\'es",
  author =       "Labib Haddad and Marianne Morillon",
  pages =        "277--283",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Merrill1990,
  title =        "{UFA} Fails in the {Bell-Kunen} Model",
  author =       "John W. L. Merrill",
  pages =        "284--296",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Williamson1990,
  title =        "Two Incomplete Anti-Realist Modal Epistemic Logics",
  author =       "Timothy Williamson",
  pages =        "297--314",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Zafrany1990,
  title =        "On Analytic Filters and Prefilters",
  author =       "Samy Zafrany",
  pages =        "315--322",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

@Article{JSYML::Leloup1990,
  title =        "Th\'eories Compl\`etes de Paires de Corps Valu\'es
                 {Henseliens}",
  author =       "G{\'e}rard Leloup",
  pages =        "323--339",
  journal =      jsyml,
  year =         "1990",
  month =        mar,
  volume =       "55",
  number =       "1",
}

Volume 55, Number 2
                              June 1990

@Article{JSYML::Laflamme1990,
  title =        "Upward Directedness of the {Rudin-Keisler} Ordering of
                 {$P$}-Points",
  author =       "Claude Laflamme",
  pages =        "449--456",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::JustMPS1990,
  title =        "On the Existence of Large {$p$}-Ideals",
  author =       "Winfried Just and A. R. D. Mathias and Karel Prikry
                 and Petr Simon",
  pages =        "457--465",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Mekler1990,
  title =        "Universal Structures in Power~{$\aleph_1$}",
  author =       "Alan H. Mekler",
  pages =        "466--477",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::BorovikP1990,
  title =        "Tores et {$p$}-Groupes",
  author =       "Aleksandr Vasilievich Borovik and Bruno Petrovich
                 Poizat",
  pages =        "478--491",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Apter1990,
  title =        "Successors of Singular Cardinals and Measurability
                 Revisited",
  author =       "Arthur W. Apter",
  pages =        "492--501",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::DuBose1990,
  title =        "The Equivalence of Determinacy and Iterated Sharps",
  author =       "Derrick Albert DuBose",
  pages =        "502--525",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::David1990,
  title =        "Some Results on Higher {Suslin} Trees",
  author =       "R. David",
  pages =        "526--536",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::LouveauS1990,
  title =        "On the Quasi-Ordering of {Borel} Linear Orders under
                 Embeddability",
  author =       "Alain Louveau and Jean Saint-Raymond",
  pages =        "537--560",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Ivanov1990,
  title =        "Operative vs. Combinatory Spaces",
  author =       "Lyubomir Ivanov",
  pages =        "561--572",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Sutner1990,
  title =        "The Ordertype of {$\beta$}-{R}.{E}.\ sets",
  author =       "Klaus Sutner",
  pages =        "573--576",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::AndrekaNT1990,
  title =        "Weak Cylindric Set Algebra and Weak Subdirect
                 Indecomposability",
  author =       "H. Andr{\'e}ka and I. N{\'e}meti and R. J. Thompson",
  pages =        "577--588",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Bankston1990,
  title =        "Taxonomies of Model-Theoretically Defined Topological
                 Properties",
  author =       "Paul Bankston",
  pages =        "589--603",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Zivaljevic1990,
  title =        "Some Results about {Borel} Sets in Descriptive Set
                 Theory of Hyperfinite Sets",
  author =       "Bo{\v{s}}ko {\v{Z}}ivaljevi{\'c}",
  pages =        "604--614",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Malinowski1990,
  title =        "The Deduction Theorem for Quantum Logic---Some
                 Negative Results",
  author =       "Jacek Malinowski",
  pages =        "615--625",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Baldwin1990,
  title =        "The Spectrum of Resplendency",
  author =       "John T. Baldwin",
  pages =        "626--636",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::JockuschO1990,
  title =        "Weakly Semirecursive Sets",
  author =       "Carl G. {Jockusch, Jr.} and James C. {Owings, Jr.}",
  pages =        "637--644",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Howard1990,
  title =        "Definitions of Compact",
  author =       "Paul E. Howard",
  pages =        "645--655",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Bunder1990,
  title =        "Some Improvements to {Turner's} Algorithm for Bracket
                 Abstraction",
  author =       "M. W. Bunder",
  pages =        "656--669",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::GuteR1990,
  title =        "The Last Word on Elimination of Quantifiers in
                 Modules",
  author =       "Hans B. Gute and K. K. Reuter",
  pages =        "670--673",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Pawlikowski1990,
  title =        "Finite Support Iteration and Strong Measure Zero
                 Sets",
  author =       "Janusz Pawlikowski",
  pages =        "674--677",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::RobinsonR1990,
  title =        "Colimit Completions and the Effective Topos",
  author =       "Edmund Robinson and Giuseppe Rosolini",
  pages =        "678--699",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Booth1990,
  title =        "Hereditarily Finite {Finsler} Sets",
  author =       "David Booth",
  pages =        "700--706",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Avron1990,
  title =        "Relevance and Paraconsistency---{A} New Approach",
  author =       "Arnon Avron",
  pages =        "707--732",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Kumabe1990,
  title =        "A 1-Generic Degree which Bounds a Minimal Degree",
  author =       "Masahiro Kumabe",
  pages =        "733--743",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Cholak1990,
  title =        "Boolean Algebras and Orbits of the Lattice of
                 {R}.{E}.\ Sets Modulo the Finite Sets",
  author =       "Peter Cholak",
  pages =        "744--760",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Blass1990,
  title =        "Infinitary Combinatorics and Modal Logic",
  author =       "Andreas Blass",
  pages =        "761--778",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Otero1990,
  title =        "On {Diophantine} Equations Solvable in Models of Open
                 Induction",
  author =       "Margarita Otero",
  pages =        "779--786",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Knight1990,
  title =        "A Metatheorem for Constructions by Finitely Many
                 Workers",
  author =       "J. F. Knight",
  pages =        "787--804",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Oosten1990,
  title =        "Lifschitz' Realizability",
  author =       "Jaap van Oosten",
  pages =        "805--821",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::JechS1990,
  title =        "Full Reflection of Stationary Sets
                 Below~{$\aleph_\omega$}",
  author =       "Thomas Jech and Saharon Shelah",
  pages =        "822--830",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Sorbi1990,
  title =        "Some Remarks on the Algebraic Structure of the
                 {Medvedev} Lattice",
  author =       "Andrea Sorbi",
  pages =        "831--853",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

@Article{JSYML::Feldman1990,
  title =        "Cylindric Algebra with Terms",
  author =       "Normam Feldman",
  pages =        "854--866",
  journal =      jsyml,
  year =         "1990",
  month =        jun,
  volume =       "55",
  number =       "2",
}

Volume 55, Number 3
                            September 1990

@Article{JSYML::HyttinenV1990,
  title =        "On {Scott} and {Karp} Trees of Uncountable Models",
  author =       "Tapani Hyttinen and Jouko V{\"a}{\"a}n{\"a}nen",
  pages =        "897--908",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::JudahS1990,
  title =        "The {Kunen-Miller} Chart ({Lebesgue} Measure, the
                 {Baire} Property, {Laver} Reals and Preservation
                 Theorems for Forcing)",
  author =       "Haim Judah and Saharon Shelah",
  pages =        "909--927",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Loveys1990,
  title =        "Weakly Minimal Groups of Unbounded Exponent",
  author =       "James Loveys",
  pages =        "928--937",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Henle1990,
  title =        "Partition Properties and {Prikry} Forcing on Simple
                 Spaces",
  author =       "J. M. Henle",
  pages =        "938--947",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::BankstonR1990,
  title =        "Notions of Relative Ubiquity for Invariant Sets of
                 Relational Structures",
  author =       "Paul Bankston and Wim Ruitenburg",
  pages =        "948--986",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::HaughtS1990,
  title =        "Undecidability and Initial Segments of the ({R}.{E}.)\
                 tt-Degrees",
  author =       "Christine Ann Haught and Richard A. Shore",
  pages =        "987--1006",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Tung1990,
  title =        "Decidable Fragments of Field Theories",
  author =       "Shih-Ping Tung",
  pages =        "1007--1018",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Velleman1990,
  title =        "Partitioning Pairs of Countable Sets of Ordinals",
  author =       "Dan Velleman",
  pages =        "1019--1021",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Miller1990,
  title =        "Set Theoretic Properties of {Loeb} Measure",
  author =       "Arnold W. Miller",
  pages =        "1022--1036",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Newelski1990,
  title =        "Omitting Types for Stable {CCC} Theories",
  author =       "Ludomir Newelski",
  pages =        "1037--1047",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Carroll1990,
  title =        "Maximal {R}.{E}.\ Equivalence Relations",
  author =       "Jeffrey S. Carroll",
  pages =        "1048--1058",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Berarducci1990,
  title =        "The Interpretability Logic of {Peano} Arithmetic",
  author =       "Alessandro Berarducci",
  pages =        "1059--1089",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::ArtemovD1990,
  title =        "Finite {Kripke} Models and Predicate Logics of
                 Provability",
  author =       "Sergei Artemov and Giorgie Dzhaparidze",
  pages =        "1090--1098",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::MinariTO1990,
  title =        "Intermediate Predicate Logics Determined by Ordinals",
  author =       "Pierluigi Minari and Mitio Takano and Hiroakira Ono",
  pages =        "1099--1124",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Pas1990,
  title =        "On the Angular Component Map Modulo~{$P$}",
  author =       "John Pas",
  pages =        "1125--1129",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Schmerl1990,
  title =        "Coinductive {$\aleph_0$}-Categorical Theories",
  author =       "James H. Schmerl",
  pages =        "1130--1137",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Pillay1990,
  title =        "Differentially Algebraic Group Chunks",
  author =       "Anand Pillay",
  pages =        "1138--1142",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Lambalgen1990,
  title =        "The Axiomatization of Randomness",
  author =       "Michiel van Lambalgen",
  pages =        "1143--1167",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Chisholm1990:1168,
  title =        "Effective Model Theory vs.\ Recursive Model Theory",
  author =       "John Chisholm",
  pages =        "1168--1191",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Touraille1990,
  title =        "Th\'eories d'Alg\`ebres de {Boole} Munies d'Id\'eaux
                 Distingu\'es. {II}",
  author =       "Alain Touraille",
  pages =        "1192--1212",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Chisholm1990:1213,
  title =        "The Complexity of Intrinsically {R}.{E}.\ Subsets of
                 Existentially Decidable Models",
  author =       "John Chisholm",
  pages =        "1213--1232",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Ross1990,
  title =        "The Special Model Axiom in Nonstandard Analysis",
  author =       "David Ross",
  pages =        "1233--1242",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::MarkerP1990,
  title =        "Reducts of {$(\mathbf{C}, +, \cdot)$} which
                 Contain~{$+$}",
  author =       "D. Marker and A. Pillay",
  pages =        "1243--1251",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Heller1990,
  title =        "An Existence Theorem for Recursion Categories",
  author =       "Alex Heller",
  pages =        "1252--1268",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::Farmer1990,
  title =        "A Partial Functions Version of {Church's} Simple
                 Theory of Types",
  author =       "William M. Farmer",
  pages =        "1269--1291",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

@Article{JSYML::AlbertG1990,
  title =        "Rich Models",
  author =       "Michael H. Albert and Rami P. Grossberg",
  pages =        "1292--1298",
  journal =      jsyml,
  year =         "1990",
  month =        sep,
  volume =       "55",
  number =       "3",
}

Volume 55, Number 4
                            December 1990

@Article{JSYML::Enderton1990,
  title =        "Cumulative index to volumes 27--55 (1962--1990)",
  author =       "H. B. Enderton",
  pages =        "1329--1789",
  journal =      jsyml,
  year =         "1990",
  month =        dec,
  volume =       "55",
  number =       "4",
}

Volume 56, Number 1
                              March 1991

@Article{JSYML::Feferman1991,
  title =        "Reflecting on Incompleteness",
  author =       "Solomon Feferman",
  pages =        "1--49",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
  note =         "A survey/expository paper",
}

@Article{JSYML::Zivaljevic1991:50,
  title =        "The Structure of Graphs All of Whose {$Y$}-Sections
                 Are Internal Sets",
  author =       "Bo{\v{s}}ko {\v{Z}}ivaljevi{\'c}",
  pages =        "50--66",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Hatzikiriakou1991,
  title =        "Minimal Prime Ideals and Arithmetic Comprehension",
  author =       "Kostas Hatzikiriakou",
  pages =        "67--70",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::KeislerL1991,
  title =        "Meager Sets on the Hyperfinite Time Line",
  author =       "H. Jerome Keisler and Steven C. Leth",
  pages =        "71--102",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Burke1991,
  title =        "Powers of the Ideal of {Lebesgue} Measure Zero Sets",
  author =       "Maxim R. Burke",
  pages =        "103--107",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Schlingmann1991,
  title =        "Ramsey Cardinals, {$\alpha$-Erd\"os} Cardinals, and
                 the Core Model",
  author =       "Dirk R. H. Schlingmann",
  pages =        "108--114",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Grossberg1991:115,
  title =        "Indiscernable Sequences in a Model Which Fails to Have
                 the Order Property",
  author =       "Rami Grossberg",
  pages =        "115--123",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Grossberg1991:124,
  title =        "On Chains of Relatively Saturated Submodels of a Model
                 Without the Order Property",
  author =       "Rami Grossberg",
  pages =        "124--128",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Stalmarck1991,
  title =        "Normalization Theorems for Full First Order Classical
                 Natural Deduction",
  author =       "Gunnar St{\aa}lmarck",
  pages =        "129--149",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Hodes1991:150,
  title =        "Where Do Sets Come From?",
  author =       "Harold T. Hodes",
  pages =        "150--175",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Thomas1991,
  title =        "Reducts of the Random Graph",
  author =       "Simon Thomas",
  pages =        "176--181",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Kechris1991,
  title =        "Amenable Equivalence Relations and {Turing} Degrees",
  author =       "Alexander S. Kechris",
  pages =        "182--194",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Ahmad1991,
  title =        "Embedding the Diamond in the {$\Sigma_2$} Enumeration
                 Degrees",
  author =       "Seema Ahmad",
  pages =        "195--212",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Crabbe1991,
  title =        "Stratification and Cut-Elimination",
  author =       "Marcel Crabb{\'e}",
  pages =        "213--226",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Schellinx1991,
  title =        "Isomorphisms and Nonisomorphisms of Graph Models",
  author =       "Harold Schellinx",
  pages =        "227--249",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Loveys1991,
  title =        "Abelian Groups with Modular Generic",
  author =       "James Loveys",
  pages =        "250--259",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Jackson1991,
  title =        "Admissible {Suslin} Cardinals in~{$L(\mathbf{R})$}",
  author =       "Steve Jackson",
  pages =        "260--275",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Avron1991,
  title =        "Natural 3-Valued Logics---Characterization and Proof
                 Theory",
  author =       "Arnon Avron",
  pages =        "276--294",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::Gluschankof1991,
  title =        "The Elementary Class of Products of Totally Ordered
                 Abelian Groups",
  author =       "Daniel Gluschankof",
  pages =        "295--299",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::HodgesS1991,
  title =        "There Are Reasonably Nice Logics",
  author =       "Wilfrid Hodges and Saharon Shelah",
  pages =        "300--322",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

@Article{JSYML::ForsterK1991,
  title =        "End-Extensions Preserving Power Set",
  author =       "Thomas Forster and Richard Kaye",
  pages =        "323--328",
  journal =      jsyml,
  year =         "1991",
  month =        mar,
  volume =       "56",
  number =       "1",
}

Volume 56, Number 2
                              June 1991

@Article{JSYML::Mints1991,
  title =        "Proof Theory in the {USSR} 1925--1969",
  author =       "Grigori Mints",
  pages =        "385--424",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Bankston1991,
  title =        "Corrigendum to ``{Taxonomies} of Model-Theoretically
                 Defined Topological Properties''",
  author =       "Paul Bankston",
  pages =        "425--426",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
  references =   "\cite{JSYML::Bankston1990}",
}

@Article{JSYML::PacholskiS1991,
  title =        "Asymptotic Probabilities of Existential Second-Order
                 {G\"odel} Structures",
  author =       "Leszek Pacholski and Wies{\l}aw Szwast",
  pages =        "427--438",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Hauser1991,
  title =        "Indescribable Cardinals and Elementary Embeddings",
  author =       "Kai Hauser",
  pages =        "439--457",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Kaye1991:458,
  title =        "A Generalization of {Specker's} Theorem on Typical
                 Ambiguity",
  author =       "Richard Kaye",
  pages =        "458--466",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Swaen1991,
  title =        "The Logic of First Order Intuitionistic Type Theory
                 with Weak Sigma-Elimination",
  author =       "M. D. g. Swaen",
  pages =        "467--483",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Efrat1991,
  title =        "The Elementary Theory of Free Pseudo {$p$}-adically
                 Closed Fields of Finite Corank",
  author =       "Ido Efrat",
  pages =        "484--496",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Lano1991,
  title =        "Intuitionistic Modal Logic and Set Theory",
  author =       "K. Lano",
  pages =        "497--516",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Ghilardi1991,
  title =        "Incompleteness Results in {Kripke} Semantics",
  author =       "Silvio Ghilardi",
  pages =        "517--538",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Belair1991,
  title =        "Anneaux {$p$}-Adiquement Clos et Anneaux de Fonctions
                 {D}\'efinissables",
  author =       "Luc B{\'e}lair",
  pages =        "539--553",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Goldblatt1991,
  title =        "The {McKinsey} Axiom Is Not Canonical",
  author =       "Robert Goldblatt",
  pages =        "554--562",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::HinmanS1991,
  title =        "Jump Embeddings in {Turing} Degrees",
  author =       "Peter G. Hinman and Theodore A. Slaman",
  pages =        "563--591",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Spector1991,
  title =        "Extended Ultrapowers and the
                 {Vop\v{e}nka-Hrb\'a\v{c}ek} Theorem Without Choice",
  author =       "Mitchell Spector",
  pages =        "592--607",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::KrynickiT1991,
  title =        "An Axiomatization of the Logic with the Rough
                 Quantifier",
  author =       "Micha{\l} Krynicki and Hans-Peter Tuschik",
  pages =        "608--617",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::AguzarovFG1991,
  title =        "An Infinite Superstable Group Has Infinitely Many
                 Conjugacy Classes",
  author =       "I. Aguzarov and R. E. Farey and J. B. Goode",
  pages =        "618--623",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Goode1991,
  title =        "Some Trivial Considerations",
  author =       "John B. Goode",
  pages =        "624--631",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Vourtsanis1991,
  title =        "A Direct Proof of the {Feferman-Vaught} Theorem and
                 Other Preservations Theorems in Products",
  author =       "Yiannis Vourtsanis",
  pages =        "632--636",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Halpern1991,
  title =        "Presburger Arithmetic with Unarr Predicates is
                 {$\Pi_1^1$} Complete",
  author =       "Joseph Y. Halpern",
  pages =        "637--642",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::PaolaM1991,
  title =        "Some Properties of the Syntactic p-Recursion
                 Categories Generated by Consistent, Recursively
                 Enumerable Extensions of {Peano} Arithmetic",
  author =       "Robert A. Di Paola and Franco Montagna",
  pages =        "643--660",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::OshersonSW1991,
  title =        "A Universal Inductive Inference Machine",
  author =       "Daniel N. Osherson and Michael Stob and Scott
                 Weinstein",
  pages =        "661--672",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Ash1991,
  title =        "A Construction for Recursive Linear Orderings",
  author =       "C. J. Ash",
  pages =        "673--683",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::JockuschLR1991,
  title =        "{$\Pi^0_1$-Classes} and {Rado's} Selection Principle",
  author =       "C. G. Jockusch and A. Lewis and J. B. Remmel",
  pages =        "684--693",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Nesin1991:694,
  title =        "Poly-Separated and {$\omega$}-Stable Nilpotent
                 Groups",
  author =       "Ali Nesin",
  pages =        "694--699",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Boughattas1991,
  title =        "{L}'Arithem\'etique Ouverte et ses Mod\`eles
                 Non-Standards",
  author =       "Sedki Boughattas",
  pages =        "700--714",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Rathjen1991,
  title =        "The Role of Parameters in Bar Rule and Bar Induction",
  author =       "Michael Rathjen",
  pages =        "715--730",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::Nishimura1991,
  title =        "Boolean Valued {Lie} Algebras",
  author =       "Hirokazu Nishimura",
  pages =        "731--741",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

@Article{JSYML::JacksonM1991,
  title =        "Nonuniformization Results for the Projective
                 Hierarchy",
  author =       "Steve Jackson and R. Daniel Mauldin",
  pages =        "742--748",
  journal =      jsyml,
  year =         "1991",
  month =        jun,
  volume =       "56",
  number =       "2",
}

Volume 56, Number 3
                            September 1991

@Article{JSYML::JudahS1991,
  title =        "Forcing Minimal Degree of Constructibility",
  author =       "Haim Judah and Saharon Shelah",
  pages =        "769--782",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::BelairD1991,
  title =        "{D}\'efinissabilit\'e dans les Corps de Fonctions
                 {$p$}-Adiques",
  author =       "Luc B{\'e}lair and Jean-Louis Duret",
  pages =        "783--785",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Scheepers1991,
  title =        "Concerning {$n$}-Tactics in the Countable-Finite
                 Game",
  author =       "Marion Scheepers",
  pages =        "786--794",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Brendle1991,
  title =        "Larger Cardinals in {Cicho\'n's} Diagram",
  author =       "J{\"o}rg Brendle",
  pages =        "795--810",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Otero1991,
  title =        "Corrigendum: On {Diophantine} equations solvable in
                 models of open induction",
  author =       "Margarita Otero",
  pages =        "811--812",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
  references =   "\cite{JSYML::Otero1990}",
}

@Article{JSYML::Ng1991:813,
  title =        "A Generalization of Forking",
  author =       "{Siu-ah} Ng",
  pages =        "813--822",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Ng1991:823,
  title =        "Definable {FN} Bases",
  author =       "{Siu-ah} Ng",
  pages =        "823--831",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::HartV1991,
  title =        "A Structure Theorem for Strongly Abelian Varieties
                 with Few Models",
  author =       "Bradd Hart and Matthew Valeriote",
  pages =        "832--852",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::DelonG1991,
  title =        "{XVII\`eme} Probl\`eme de {Hilbert} sur les Corps
                 Chai{\^\i}ne-Clos",
  author =       "Fran{\c{c}}oise Delon and Danielle Gondard",
  pages =        "853--861",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Itai1991,
  title =        "On the Strong {Martin} Conjecture",
  author =       "Masanori Itai",
  pages =        "862--875",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::MacphersonS1991,
  title =        "Binary Relational Structures Having Only Countably
                 Many Nonisomorphic Substructures",
  author =       "Dugald Macpherson and James H. Schmerl",
  pages =        "876--884",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Adamowicz1991,
  title =        "On Maximal Theories",
  author =       "Zofia Adamowicz",
  pages =        "885--890",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::AdlemanB1991,
  title =        "Inductive Inference and Unsolvability",
  author =       "Leonard M. Adleman and M. Blum",
  pages =        "891--900",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Doets1991,
  title =        "Axiomatizing Universal Properties of Quantifiers",
  author =       "Kees Doets",
  pages =        "901--905",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Zivaljevic1991:906,
  title =        "{$U$}-Meager Sets when the Cofinality and the
                 Coinitiality of~{$U$} Are Uncountable",
  author =       "Bo{\v{s}}ko {\v{Z}}ivaljevi{\'c}",
  pages =        "906--914",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Nesin1991:915,
  title =        "On Bad Groups, Bad Fields, and Pseudoplanes",
  author =       "Ali Nesin",
  pages =        "915--931",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::MarshallC1991,
  title =        "Sentences of Type Theory: The Only Sentences Preserved
                 Under Isomorphisms",
  author =       "M. Victoria Marshall and Rolando Chuaqui",
  pages =        "932--948",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Kaye1991:949,
  title =        "Model-Theoretic Properties Characterizing {Peano}
                 Arithmetic",
  author =       "Richard Kaye",
  pages =        "949--963",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Oosten1991,
  title =        "Extension of {Lifschitz'} Realizability to Higher
                 Order Arithmetic, and a Solution to a Problem of
                 {F.~Richman}",
  author =       "Jaap van Oosten",
  pages =        "964--973",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Delon1991:974,
  title =        "Plongement Dense d'un Corps Ordonn\'e dans sa
                 Cl\^oture {R}\'eelle",
  author =       "Fran{\c{c}}oise Delon",
  pages =        "974--980",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Scanlan1991,
  title =        "Who Were the {American} Postulate Theorists",
  author =       "Michael Scanlan",
  pages =        "981--1002",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Pillay1991,
  title =        "Some Remarks on Modular Regular Types",
  author =       "Anand Pillay",
  pages =        "1003--1011",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Palmgren1991,
  title =        "A Construction of Type:Type in {Martin-L\"of's}
                 Partial Type Theory with One Universe",
  author =       "Erik Palmgren",
  pages =        "1012--1015",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::KeislerS1991,
  title =        "Making the Hyperreal Line Both Saturated and
                 Complete",
  author =       "H. Jerome Keisler and James H. Schmerl",
  pages =        "1016--1025",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Wagner1991,
  title =        "Small Stable Groups and Generics",
  author =       "Frank O. Wagner",
  pages =        "1026--1037",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Takeuti1991,
  title =        "A Second Order Version of {$S^i_2$} and~{$U^1_2$}",
  author =       "Gaisi Takeuti",
  pages =        "1038--1063",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Zrotowski1991,
  title =        "Normality and {$\mathcal{P}(\kappa)/\mathcal{J}$}",
  author =       "R. Zrotowski",
  pages =        "1064--1067",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Kummer1991,
  title =        "Diagonals and Semihyperhypersimple Sets",
  author =       "Martin Kummer",
  pages =        "1068--1074",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

@Article{JSYML::Kumabe1991,
  title =        "Relative Recursive Enumerability of Generic Degrees",
  author =       "Masahiro Kumabe",
  pages =        "1075--1084",
  journal =      jsyml,
  year =         "1991",
  month =        sep,
  volume =       "56",
  number =       "3",
}

Volume 56, Number 4
                            December 1991

@Article{JSYML::HerreKPV1991,
  title =        "The {H\"artig} Quantifier: {A} Survey",
  author =       "Heinrich Herre and Micha{\l} Krynicki and Alexander
                 Pinus and Jouko V{\"a}{\"a}n{\"a}nen",
  pages =        "1153--1183",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::Buechler1991,
  title =        "Pseudoprojective Strongly Minimal Sets Are Locally
                 Projective",
  author =       "Steven Buechler",
  pages =        "1184--1194",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::BaumgartnerS1991,
  title =        "Independence and Consistencny Proofs in Quadratic Form
                 Theory",
  author =       "James E. Baumgartner and Otmar Spinas",
  pages =        "1195--1211",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::BonnetR1991,
  title =        "Elementary Embeddings Between Countable {Boolean}
                 Algebras",
  author =       "Robert Bonnet and Matatyahu Rubin",
  pages =        "1212--1229",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::ParlamentoP1991,
  title =        "Expressing Infinity Without Foundation",
  author =       "Franco Parlamento and Alberto Policriti",
  pages =        "1230--1235",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::Delon1991:1236,
  title =        "Ind\'ecidabilit\'e de la Th\'eorie des Paires
                 Imm\'ediates de Corps Valu\'es Henseliens",
  author =       "Fran{\c{c}}oise Delon",
  pages =        "1236--1242",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::Mclarty1991,
  title =        "Axiomatizing a Category of Categories",
  author =       "Colin Mclarty",
  pages =        "1243--1260",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::Chagrova1991,
  title =        "An Undecidable Problem in Correspondence Theory",
  author =       "L. A. Chagrova",
  pages =        "1261--1272",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::CichonMPS1991,
  title =        "Decomposing {Baire} Functions",
  author =       "J. Cicho{\'n} and M. Morayne and J. Pawlikowski and S.
                 Solecki",
  pages =        "1273--1283",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::BaloghG1991,
  title =        "On a Problem of {C.~H. Dowker}",
  author =       "Z. Balogh and G. Gruenhage",
  pages =        "1284--1289",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::Lavine1991,
  title =        "Dual Easy Uniformization and Model-Theoretic
                 Descriptive Set Theory",
  author =       "Shaughan Lavine",
  pages =        "1290--1316",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::Macpherson1991,
  title =        "Interpreting Groups in {$\omega$}-Categorical
                 Structures",
  author =       "Dugald Macpherson",
  pages =        "1317--1324",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::Linton1991,
  title =        "Countable Structures, {Ehrenfeucht} Stratagies, and
                 {Wadge} Reductions",
  author =       "Tom Linton",
  pages =        "1325--1348",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::Ishihara1991,
  title =        "Continuity and Nondiscontinuity in Constructive
                 Mathematics",
  author =       "Hajime Ishihara",
  pages =        "1349--1354",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::BurrisMV1991,
  title =        "Decidable Discriminator Varieties from Unary
                 Varieties",
  author =       "Stanley Burris and Ralph McKenzie and Matthew
                 Valeriote",
  pages =        "1355--1368",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::Andretta1991,
  title =        "Building Iteration Trees",
  author =       "Alessandro Andretta",
  pages =        "1369--1384",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::Baudisch1991,
  title =        "A Construction of Superstable {NDOP-NOTOP} Groups",
  author =       "Andreas Baudisch",
  pages =        "1385--1390",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::Nesin1991:1391,
  title =        "Generalized {Fitting} Subgroup of a Group of Finite
                 {Morley} Rank",
  author =       "Ali Nesin",
  pages =        "1391--1399",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::Komjath1991,
  title =        "A Set Mapping with No Infinite Free Subsets",
  author =       "P. Komj{\'a}th",
  pages =        "1400--1402",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::Abrusci1991,
  title =        "Phase Semantics and Sequent Calculus for Pure
                 Noncommutative Classical Linear Propositional Logic",
  author =       "V. Michele Abrusci",
  pages =        "1403--1451",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::CainD1991,
  title =        "On the Weak {Kleene} Scheme in {Kripke's} Theory of
                 Truth",
  author =       "James Cain and Zlatan Damnjanovic",
  pages =        "1452--1468",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::KrachtW1991,
  title =        "Properties of Independently Axiomatizable Bimodal
                 Logics",
  author =       "Marcus Kracht and Frank Wolter",
  pages =        "1469--1485",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

@Article{JSYML::Hodes1991:1486,
  title =        "Corrections to \emph{Where} {\emph{Do Sets Come
                 From?}}",
  author =       "Harold T. Hodes",
  pages =        "1486",
  journal =      jsyml,
  year =         "1991",
  month =        dec,
  volume =       "56",
  number =       "4",
}

Volume 57, Number 1
                              March 1992

@Article{JSYML::Tung1992,
  title =        "Arithmetic Definability by Formulas with Two
                 Quantifiers",
  author =       "Shih Ping Tung",
  pages =        "1--11",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::DAquino1992,
  title =        "Local Behaviour of the {Chebyshev} Theorem in Models
                 of~{$I\Delta_0$}",
  author =       "Paola D'Aquino",
  pages =        "12--27",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::Coquand1992,
  title =        "An Intuitionistic Proof of {Tychonoff's} Theorem",
  author =       "Thierry Coquand",
  pages =        "28--32",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::Pitts1992,
  title =        "On an Interpretation of Second Order Quantification in
                 First Order Intuitionistic Propositional Logic",
  author =       "Andrew M. Pitts",
  pages =        "33--52",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::GasarchPS1992,
  title =        "Learning vi Queries in~{$[+, <]$}",
  author =       "William I. Gasarch and Mark G. Pleszkoch and Robert
                 Solovay",
  pages =        "53--81",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::Oikkonen1992,
  title =        "A Recursion Principle for Linear Orderings",
  author =       "Juha Oikkonen",
  pages =        "82--96",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::PillayS1992,
  title =        "Superstable Differential Fields",
  author =       "A. Pillay and {\v{Z}}. Sokolovi{\'c}",
  pages =        "97--108",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::MarkerPP1992,
  title =        "Additive Reducts of Real Closed Fields",
  author =       "David Marker and Ya'acov Peterzil and Anand Pillay",
  pages =        "109--117",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::Lo1992,
  title =        "Functions and Functionals on Finite Systems",
  author =       "Libo Lo",
  pages =        "118--130",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::Visser1992,
  title =        "An Inside View of {EXP}; or, {The} Closed Fragment of
                 the Provability Logic of {$I\Delta_0 + \Omega_1$} with
                 a Propositional Constant for {EXP}",
  author =       "Albert Visser",
  pages =        "131--165",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::Velleman1992,
  title =        "On a Topological Construction of {Juhasz} and
                 {Shelah}",
  author =       "Dan Velleman",
  pages =        "166--171",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::Zivaljevic1992,
  title =        "{Lusin-Sierpi\'nski} Index for the Internal Sets",
  author =       "Bo{\v{s}}ko {\v{Z}}ivaljevi{\'c}",
  pages =        "172--178",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::AlbertBR1992,
  title =        "Undecidability of the Identity Problem for Finite
                 Semigroups",
  author =       "Douglas Albert and Robert Baldinger and John Rhodes",
  pages =        "179--192",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::HerzogR1992,
  title =        "Models with Regular Generic Types. {Part~IV}",
  author =       "Ivo Herzog and Philipp Rothmaler",
  pages =        "193--199",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::HarnikM1992,
  title =        "Lambek's Categorical Proof Theory and {L\"auchli's}
                 Abstract Realizability",
  author =       "Victor Harnik and Michael Makkai",
  pages =        "200--230",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::Otto1992,
  title =        "Automorphism Properties of Stationary Logic",
  author =       "Martin Otto",
  pages =        "231--237",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

@Article{JSYML::Lascar1992,
  title =        "Les Automorphismes d'un Ensemble Fortement Minimal",
  author =       "Daniel Lascar",
  pages =        "238--251",
  journal =      jsyml,
  year =         "1992",
  month =        mar,
  volume =       "57",
  number =       "1",
}

Volume 57, Number 2
                              June 1992

@Article{JSYML::Uspensky1992,
  title =        "Kolmogorov and Mathematical Logic",
  author =       "Vladimir A. Uspensky",
  pages =        "385--412",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
  note =         "A survey/expository paper",
}

@Article{JSYML::KechrisL1992,
  title =        "Descriptive Set Theory and Harmonic Analysis",
  author =       "A. S. Kechris and A. Louveau",
  pages =        "413--441",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
  note =         "A survey/expository paper",
}

@Article{JSYML::HellaL1992,
  title =        "The {Beth}-Closure of~{$\mathcal{L}(Q_\alpha)$} Is Not
                 Finitely Generated",
  author =       "Lauri Hella and Kerkko Luosto",
  pages =        "442--448",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Rubel1992,
  title =        "On the Ring of Differentially-Algebraic Entire
                 Functions",
  author =       "Lee A. Rubel",
  pages =        "449--451",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Tzouvaras1992,
  title =        "On Expandability of Models of {Peano} Arithmetic to
                 Models of the Alternative Set Theory",
  author =       "Athanassios Tzouvaras",
  pages =        "452--460",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Barbanel1992,
  title =        "A Note on a Result of {Kunen} and {Pelletier}",
  author =       "Julius B. Barbanel",
  pages =        "461--465",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Harnik1992,
  title =        "Provably Total Functions of Intuitionistic Bounded
                 Arithmetic",
  author =       "Victor Harnik",
  pages =        "466--477",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Lavine1992,
  title =        "A {Spector-Gandy} Theorem for
                 {$\mathrm{cPC}_d(\mathbb{A})$} Classes",
  author =       "Shaughan Lavine",
  pages =        "478--500",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Lachlan1992,
  title =        "{$\aleph_0$}-Categorical Tree-Decomposable
                 Structures",
  author =       "A. H. Lachlan",
  pages =        "501--514",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Villemaire1992,
  title =        "Theories of Modules Closed Under Direct Products",
  author =       "Roger Villemaire",
  pages =        "515--521",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Jin1992:522,
  title =        "Cuts in Hyperfinite Time Lines",
  author =       "Renling Jin",
  pages =        "522--527",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Jin1992:528,
  title =        "{$U$-Lusin} Sets in Hyperfinite Time Lines",
  author =       "Renling Jin",
  pages =        "528--533",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Jin1992:534,
  title =        "{$U$}-Monad Topologies of Hyperfinite Time Lines",
  author =       "Renling Jin",
  pages =        "534--539",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Pawlikowski1992,
  title =        "Adding Dominating Reals with {$\omega^\omega$}
                 Bounding Posets",
  author =       "Janusz Pawlikowski",
  pages =        "540--547",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Wagner1992,
  title =        "{\`A} propos d'\'Equations {G}\'en\'eriques",
  author =       "Frank O. Wagner",
  pages =        "548--554",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::McLarty1992,
  title =        "Failure of {Cartesian} Closedness in~{NF}",
  author =       "Colin McLarty",
  pages =        "555--556",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Ishihara1992,
  title =        "Continuity Properties in Constructive Mathematics",
  author =       "Hajime Ishihara",
  pages =        "557--565",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Rijke1992,
  title =        "The Modal Logic of Inequality",
  author =       "Maarten de Rijke",
  pages =        "566--584",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Qinglong1992,
  title =        "The Density of the Meet-Inaccessible r.~e.\ Degrees",
  author =       "Zhang Qinglong",
  pages =        "585--596",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Adamowicz1992,
  title =        "A Sharp Version of the Bounded {Matijasevich}
                 Conjecture and the End-Extension Problem",
  author =       "Zofia Adamowicz",
  pages =        "597--616",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::E1992,
  title =        "Combinatorics on Large Cardinals",
  author =       "Carlos H. Montenegro E.",
  pages =        "617--643",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Newelski1992,
  title =        "A Model and Its Subset",
  author =       "Ludomir Newelski",
  pages =        "644--658",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::GirardN1992,
  title =        "Embeddability of {PTYKES}",
  author =       "Jean-Yves Girard and Dag Normann",
  pages =        "659--676",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Kummer1992,
  title =        "A Proof of {Beigel's} Cardinality Conjecture",
  author =       "Martin Kummer",
  pages =        "677--681",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::HarizanovKO1992,
  title =        "Frequency Computations and the Cardinality Theorem",
  author =       "Valentina Harizanov and Martin Kummer and Jim Owings",
  pages =        "682--687",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::Bianconi1992,
  title =        "On Sets {$\forall$}-Definable from {Pfaffian} Sets",
  author =       "Ricardo Bianconi",
  pages =        "688--697",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::KuceraP1992:698,
  title =        "Imaginary Modules",
  author =       "T. G. Kucera and M. Prest",
  pages =        "698--723",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::KuceraP1992:724,
  title =        "Four Concepts from ``Geometrical'' Stability Theory in
                 Modules",
  author =       "T. G. Kucera and M. Prest",
  pages =        "724--740",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

@Article{JSYML::BallardH1992,
  title =        "Standard Foundations for Nonstandard Analysis",
  author =       "David Ballard and Karel Hrbacek",
  pages =        "741--748",
  journal =      jsyml,
  year =         "1992",
  month =        jun,
  volume =       "57",
  number =       "2",
}

Volume 57, Number 3
                            September 1992

@Article{JSYML::Mendez1992,
  title =        "Filters on the Space of Partitions~{$Q_k(\lambda)$}",
  author =       "Gisela M. M{\'e}ndez",
  pages =        "769--778",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Peterzil1992,
  title =        "A Structure Theorem for Semibounded Sets in the
                 Reals",
  author =       "Ya'acov Peterzil",
  pages =        "779--794",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Dyckhoff1992,
  title =        "Contraction-Free Sequent Calculi for Intuitionistic
                 Logic",
  author =       "Roy Dyckhoff",
  pages =        "795--807",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Duret1992,
  title =        "{\'E}quivalence \'El\'ementaire et Isomorphisme des
                 Corps de Courbe sur un Corps Alg\'ebriquement Clos",
  author =       "Jean-Louis Duret",
  pages =        "808--823",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::FriedmanM1992,
  title =        "Whither Relevant Arithmetic?",
  author =       "Harvey Friedman and Robert K. Meyer",
  pages =        "824--831",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Biro1992,
  title =        "Non-Finite-Axiomatizability Results in Algebraic
                 Logic",
  author =       "Bal{\'a}zs Bir{\'o}",
  pages =        "832--843",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Montagna1992,
  title =        "Polynomially and Superexponentially Shorter Proofs in
                 Fragments of Logic",
  author =       "Franco Montagna",
  pages =        "844--863",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Ambos-SpiesNS1992,
  title =        "The Theory of the Recursively Enumerable Weak
                 Truth-Table Degrees Is Undecidability",
  author =       "Klaus Ambos-Spies and Andr\'e Nies and Richard A.
                 Shore",
  pages =        "864--874",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::KojmanS1992,
  title =        "Nonexistence of Universal Orders in Many Cardinals",
  author =       "Menachem Kojman and Saharon Shelah",
  pages =        "875--891",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Feldman1992,
  title =        "Recursion Theory in a Lower Semilattice",
  author =       "Alex Feldman",
  pages =        "892--911",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Rybakov1992,
  title =        "Rules of Inference with Parameters for Intuitionistic
                 Logic",
  author =       "Vladimir V. Rybakov",
  pages =        "912--923",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Swaen1992,
  title =        "A Characterization of \textbf{ML} in Many-Sorted
                 Arithmetic with Conditional Application",
  author =       "M. D. G. Swaen",
  pages =        "924--953",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Rathjen1992,
  title =        "A Proof-Theoretic Characterization of the Primitive
                 Recursive Set Functions",
  author =       "Michael Rathjen",
  pages =        "954--969",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Matsubara1992,
  title =        "Saturated Ideals and the Singular Cardinal
                 Hypothesis",
  author =       "Yo Matsubara",
  pages =        "970--974",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Jin1992:975,
  title =        "The Isomorphism Property Versus the Special Model
                 Axiom",
  author =       "Renling Jin",
  pages =        "975--987",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Dubhashi1992,
  title =        "On Decidable Varieties of {Heyting} Algebras",
  author =       "Devdatt P. Dubhashi",
  pages =        "988--991",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::MacphersonPW1992,
  title =        "Countable Structures of Given Age",
  author =       "H. D. Macpherson and M. Pouzet and R. E. Woodrow",
  pages =        "992--1010",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Jin1992:1011,
  title =        "A Theorem on the Isomorphism Property",
  author =       "Renling Jin",
  pages =        "1011--1017",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::FaginHV1992,
  title =        "What Is an Inference Rule?",
  author =       "Ronald Fagin and Joseph Y. Halpern and Moshe Y.
                 Vardi",
  pages =        "1018--1045",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Herrmann1992,
  title =        "1-{Reducibility} Inside an m-Degree with a Maximal
                 Set",
  author =       "E. Herrmann",
  pages =        "1046--1056",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Smith1992,
  title =        "Prime Numbers and Factorization in~{$\mathrm{IE}_1$}
                 and Weaker Systems",
  author =       "Stuart T. Smith",
  pages =        "1057--1085",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::Landver1992:1086,
  title =        "Baire Numbers, Uncountable {Cohen} Sets and
                 Perfect-Set Forcing",
  author =       "Avner Landver",
  pages =        "1086--1107",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::JagerP1992,
  title =        "About the Proof-Theoretic Ordinals of Weak Fixed Point
                 Theories",
  author =       "Gerhard J{\"a}ger and Barbara Primo",
  pages =        "1108--1119",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

@Article{JSYML::LemppL1992,
  title =        "The Existential Theory of the Pomset of r.e.\ Degrees
                 with a Predicate for Single Jump Reducibility",
  author =       "Steffen Lempp and Manuel Lerman",
  pages =        "1120--1130",
  journal =      jsyml,
  year =         "1992",
  month =        sep,
  volume =       "57",
  number =       "3",
}

Volume 57, Number 4
                            December 1992

@Article{JSYML::Stanley1992,
  title =        "Forcing Disable",
  author =       "M. C. Stanley",
  pages =        "1153--1175",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

@Article{JSYML::Servi1992,
  title =        "Nonmonotonic Consequence Based on Intuitionistic
                 Logic",
  author =       "Gis\`ele Fischer Servi",
  pages =        "1176--1197",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

@Article{JSYML::Gropp1992,
  title =        "There Is No Sharp Transitivity on~{$q^6$} when {$q$}
                 Is a Type of Morely Rank~2",
  author =       "Ursula Gropp",
  pages =        "1198--1212",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

@Article{JSYML::Maddux1992,
  title =        "Relation Algebras of Every Dimension",
  author =       "Roger D. Maddux",
  pages =        "1213--1229",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

@Article{JSYML::Wang1992,
  title =        "The {McKinsey} Axiom Is Not Compact",
  author =       "Xiaoping Wang",
  pages =        "1230--1238",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

@Article{JSYML::Kohlenbach1992,
  title =        "Effective Bounds from Ineffective Proofs in Analysis:
                 An Application of Functional Interpretation and
                 Majorization",
  author =       "Ulrich Kohlenbach",
  pages =        "1239--1273",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

@Article{JSYML::Lambalgen1992,
  title =        "Independence, Randomness and the Axiom of Choice",
  author =       "Michiel van Lambalgen",
  pages =        "1274--1304",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

@Article{JSYML::Nagayama1992,
  title =        "On {Boolean} Algebras and Integrally Closed
                 Commutative Regular Rings",
  author =       "Misao Nagayama",
  pages =        "1305--1318",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

@Article{JSYML::GabbayQ1992,
  title =        "Extending the {Curry-Howard} Interpretation to Linear,
                 Relevant and Other Resource Logics",
  author =       "Dov M. Gabbay and Ruy J. G. B. de Queiroz",
  pages =        "1319--1365",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

@Article{JSYML::Petry1992,
  title =        "Stratified Languages",
  author =       "A. P{\'e}try",
  pages =        "1366--1376",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

@Article{JSYML::Zakharyaschev1992,
  title =        "Canonical Formulas for~{$K4$}. {Part I}: Basic
                 Results",
  author =       "Michael Zakharyaschev",
  pages =        "1377--1402",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

@Article{JSYML::Landver1992:1403,
  title =        "Singular {$\sigma$}-Dense Trees",
  author =       "Avner Landver",
  pages =        "1403--1416",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

@Article{JSYML::Dalen1992,
  title =        "The Continuum and First-Order Intuitionistic Logic",
  author =       "D. van Dalen",
  pages =        "1417--1424",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

@Article{JSYML::Orlowska1992,
  title =        "Relational Proof System for Relevant Logics",
  author =       "Ewa Orlowska",
  pages =        "1425--1440",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

@Article{JSYML::Corazza1992,
  title =        "Ramsey Sets, the {Ramsey} Ideal, and Other Classes
                 over~\textbf{R}",
  author =       "Paul Corazza",
  pages =        "1441--1468",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

@Article{JSYML::BorovikN1992,
  title =        "On the {Schur-Zassenhaus} Theorem for Groups of Finite
                 {Morley} Rank",
  author =       "Alexandre V. Borovik and Ali Nesin",
  pages =        "1469--1477",
  journal =      jsyml,
  year =         "1992",
  month =        dec,
  volume =       "57",
  number =       "4",
}

Volume 58, Number 1
                              March 1993

@Article{JSYML::Spencer1993,
  title =        "Zero-One Laws with Variable Probability",
  author =       "Joel Spencer",
  pages =        "1--14",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
  note =         "A survey/expository paper",
}

@Article{JSYML::Maddy1993,
  title =        "Does {V} Equal {L}?",
  author =       "Penelope Maddy",
  pages =        "15--41",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::CichonRSW1993,
  title =        "Combinatorial Properties of the
                 Ideal~{$\mathfrak{P}_2$}",
  author =       "J. Cicho{\'n} and A. Ros{\l}anowski and J. Steprans
                 and B. W{\k{e}}glorz",
  pages =        "42--54",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Shioya1993,
  title =        "Weakly Normal Closures of Filters on~{$P_\kappa
                 \lambda$}",
  author =       "Masahiro Shioya",
  pages =        "55--63",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::CornarosD1993,
  title =        "A Note on Exponentiation",
  author =       "Ch. Cornaros and C. Dimitracopoulos",
  pages =        "64--71",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::JudahS1993,
  title =        "{$\Delta^1_3$}-Sets of Reals",
  author =       "Haim Judah and Saharon Shelah",
  pages =        "72--80",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Lavine1993,
  title =        "Generalized Reduction Theorems for Model-Theoretic
                 Analogs of the Class of Coanalytic Sets",
  author =       "Shaughan Lavine",
  pages =        "81--98",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Knobel1993,
  title =        "Constructive Set Theoretic Models of Typed Combinatory
                 Logic",
  author =       "Andreas Knobel",
  pages =        "99--118",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Barbanel1993,
  title =        "On the Relationship Between the Partition Property and
                 the Weak Partition Property for Normal Ultrafilters
                 on~{$P_\kappa \lambda$}",
  author =       "Julius B. Barbanel",
  pages =        "119--127",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Koszmider1993,
  title =        "On Coherent Families of Finite-to-One Functions",
  author =       "Piotr Koszmider",
  pages =        "128--138",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Kracht1993,
  title =        "Splittings and the Finite Model Property",
  author =       "Marcus Kracht",
  pages =        "139--157",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Shlapentokh1993,
  title =        "Diophantine Relations Between Rings of {$S$}-Integers
                 of Fields of Algebraic Functions in One Variable Over
                 Constant Fields of Positive Characteristic",
  author =       "Alexandra Shlapentokh",
  pages =        "158--192",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::JockuschS1993,
  title =        "On the {$\Sigma_2$}-Theory of the Upper Semilattice of
                 {Turing} Degrees",
  author =       "Carl G. {Jockusch, Jr.} and Theodore A. Slaman",
  pages =        "193--204",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Belegradek1993,
  title =        "Quasiunitriangular Groups",
  author =       "O. V. Belegradek",
  pages =        "205--218",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Kumabe1993,
  title =        "Every {$n$}-Generic Degree Is a Minimal Cover of an
                 {$n$}-Generic Degree",
  author =       "Masahiro Kumabe",
  pages =        "219--231",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Tsuboi1993,
  title =        "Algebraic Types and Automorphism Groups",
  author =       "Akito Tsuboi",
  pages =        "232--239",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Cummings1993,
  title =        "Strong Ultrapowers and Long Core Models",
  author =       "James Cummings",
  pages =        "240--248",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Ignatiev1993,
  title =        "On Strong Provability Predicates and the Associated
                 Modal Logics",
  author =       "Konstantin N. Ignatiev",
  pages =        "249--290",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Lubarsky1993,
  title =        "{$\mu$-Definable} Sets of Integers",
  author =       "Robert S. Lubarsky",
  pages =        "291--313",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Keenan1993,
  title =        "Natural Languages, Sortal Reducibility and Generalized
                 Quantifiers",
  author =       "Edward L. Keenan",
  pages =        "314--325",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Boughattas1993,
  title =        "Resultats Optimaux sur {L}'Existenece d'une Partie
                 Entiere dans les Corps Ordonnes",
  author =       "Sedki Boughattas",
  pages =        "326--333",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

@Article{JSYML::Kremer1993,
  title =        "Quantifying over Propositions in Relevance Logic:
                 Nonaxiomatisability of Primary Interpretations of
                 {$\forall p$} and {$\exists p$}",
  author =       "Philip Kremer",
  pages =        "334--349",
  journal =      jsyml,
  year =         "1993",
  month =        mar,
  volume =       "58",
  number =       "1",
}

Volume 58, Number 2
                              June 1993

@Article{JSYML::PoizatW1993,
  title =        "Sous-Groupes Periodiques d'un Groupe Stable",
  author =       "Bruno Poizat and Frank Wagner",
  pages =        "385--400",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::BartoszynskiJS1993,
  title =        "The {Cicho\'n} Diagram",
  author =       "Tomek Bartoszy{\'n}ski and Haim Judah and Saharon
                 Shelah",
  pages =        "401--423",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::Pazdyka1993,
  title =        "Definability of Models by Means of Existential
                 Formulas without Identity",
  author =       "Pawe{\l} Pazdyka",
  pages =        "424--434",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::ShelahF1993,
  title =        "Pointwise Compact and Stable Sets of Measurable
                 Functions",
  author =       "S. Shelah and D. H. Fremlin",
  pages =        "435--455",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::Otero1993,
  title =        "Quadratic Forms in Normal Open Induction",
  author =       "Margarita Otero",
  pages =        "456--476",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::Cantini1993,
  title =        "Extending the First-Order Theory of Combinators with
                 Self-Referential Truth",
  author =       "Andrea Cantini",
  pages =        "477--513",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::AllweinD1993,
  title =        "Kripke Models for Linear Logic",
  author =       "Gerard Allwein and J. Michael Dunn",
  pages =        "514--545",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::DavisN1993,
  title =        "On Solvable Centerless Groups of {Morley} Rank~3",
  author =       "Mark Kelly Davis and Ali Nesin",
  pages =        "546--556",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::BrownS1993,
  title =        "The {Baire} Category Theorem in Weak Subsystems of
                 Second-Order Arithmetic",
  author =       "Douglas K. Brown and Stephen G. Simpson",
  pages =        "557--578",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::Heck1993,
  title =        "The Development of Arithmetic in {Frege's}
                 \emph{Grundgesetze der Arithmetik}",
  author =       "Richard G. {Heck, Jr.}",
  pages =        "579--601",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::Hansson1993,
  title =        "Theory Contraction and Base Contraction Unified",
  author =       "Sven Ove Hansson",
  pages =        "602--625",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::KomoriH1993,
  title =        "The Number of Proofs for a {BCK}-Formula",
  author =       "Yuichi Komori and Sachio Hirokawa",
  pages =        "626--628",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::CholakD1993,
  title =        "On the {Cantor-Bendixon} Rank of Recursively
                 Enumerable Sets",
  author =       "Peter Cholak and Rod Downey",
  pages =        "629--640",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::MourguesR1993,
  title =        "Every Real Closed Field Has an Integer Part",
  author =       "M. H. Mourgues and J. P. Ressayre",
  pages =        "641--647",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::Newelski1993,
  title =        "Scott Analysis of Pseudotypes",
  author =       "Ludomir Newelski",
  pages =        "648--663",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::Weiermann1993,
  title =        "Bounds for the Closure Ordinals of Essentially
                 Monotonic Increasing Functions",
  author =       "Andreas Weiermann",
  pages =        "664--671",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::BatemanJW1993,
  title =        "Decidability and Undecidability of Theories with a
                 Predicate for the Primes",
  author =       "P. T. Bateman and C. G. Jockusch and A. R. Woods",
  pages =        "672--687",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

@Article{JSYML::BonetB1993,
  title =        "The Deduction Rule and Linear and Near-Linear Proof
                 Simulations",
  author =       "Maria Luisa Bonet and Samuel R. Buss",
  pages =        "688--709",
  journal =      jsyml,
  year =         "1993",
  month =        jun,
  volume =       "58",
  number =       "2",
}

Volume 58, Number 3
                            September 1993

@Article{JSYML::BarendregtBD1993,
  title =        "Systems of Illative Combinatory Logic Complete for
                 First-Order Propositional and Predicate Calculus",
  author =       "Henk Barendregt and Martin Bunder and Wil Dekkers",
  pages =        "769--788",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::Tatsuta1993,
  title =        "Uniqueness of Normal Proofs of Minimal Formulas",
  author =       "Makoto Tatsuta",
  pages =        "789--799",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::GabbayS1993,
  title =        "Undedidability of Modal and Intermediate First-Order
                 Logics with Two Individual Variables",
  author =       "D. M. Gabbay and V. B. Shehtman",
  pages =        "800--823",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::ShoreS1993,
  title =        "Working below a Highly Recursively Enumerable Degree",
  author =       "Richard A. Shore and Theodore A. Slaman",
  pages =        "824--859",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::PriscoH1993,
  title =        "Partitions of Products",
  author =       "Carlos A. Di Prisco and James M. Henle",
  pages =        "860--871",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::Monro1993,
  title =        "Logic, Sheaves, and Factorization Systems",
  author =       "G. P. Monro",
  pages =        "872--893",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::Kechris1993,
  title =        "Amenable Versus Hyperfinite {Borel} Equivalence
                 Relations",
  author =       "Alexander S. Kechris",
  pages =        "894--907",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::Goldfarb1993,
  title =        "Random Models and Solvable {Skolem} Classes",
  author =       "Warren Goldfarb",
  pages =        "908--914",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::Farre1993,
  title =        "A Transfer Theorem for {Henselian} Valued and Ordered
                 Fields",
  author =       "Rafel Farr{\'e}",
  pages =        "915--930",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::Steel1993,
  title =        "The Well-Foundedness of the {Mitchell} Order",
  author =       "J. R. Steel",
  pages =        "931--940",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::Ben-ArieJ1993,
  title =        "{$\Delta_3^1$}-Stability",
  author =       "Dror Ben-Ari{\'e} and Haim Judah",
  pages =        "941--954",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::Peterzil1993,
  title =        "Reducts of Some Structures over the Reals",
  author =       "Ya'acov Peterzil",
  pages =        "955--966",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::ChagrovZ1993,
  title =        "The Undecidability of the Disjunction Property of
                 Propositional Logics and Other Related Problems",
  author =       "Alexander Chagrov and Michael Zakharyaschev",
  pages =        "967--1002",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::Venema1993,
  title =        "Derivation Rules as Anti-Axioms in Modal Logic",
  author =       "Yde Venema",
  pages =        "1003--1034",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::Scheepers1993,
  title =        "Variations on a Game of {Gale} {(I)}: Coding
                 Strategies",
  author =       "Marion Scheepers",
  pages =        "1035--1043",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::Wagner1993,
  title =        "Quasi-Endomorphisms in Small Stable Groups",
  author =       "Frank O. Wagner",
  pages =        "1044--1051",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

@Article{JSYML::MeklerV1993,
  title =        "Trees and {$\Pi^1_1$}-Subsets of
                 {$^{\omega_1}\omega_1$}",
  author =       "Alan Mekler and Jouko V{\"a}{\"a}n{\"a}nen",
  pages =        "1052--1070",
  journal =      jsyml,
  year =         "1993",
  month =        sep,
  volume =       "58",
  number =       "3",
}

Volume 58, Number 4
                            December 1993

@Article{JSYML::Hjorth1993,
  title =        "Thin Equivalence Relations and Effective
                 Decompositions",
  author =       "Greg Hjorth",
  pages =        "1153--1164",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::Ng1993,
  title =        "A Remark on Locally Pure Measures",
  author =       "{Siu-ah} Ng",
  pages =        "1165--1170",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::FrankiewiczSZ1993,
  title =        "On Closed {P}-Sets with ccc in the
                 Space~{$\omega^*$}",
  author =       "Rvszard Frankiewicz and Saharon Shelah and Pawe{\l}
                 Zbierski",
  pages =        "1171--1176",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::Hammond1993,
  title =        "Nonisomorphism of Lattices of Recursively Enumerable
                 Sets",
  author =       "John Todd Hammond",
  pages =        "1177--1188",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::LaskowskiS1993,
  title =        "On the Existence of Atomic Models",
  author =       "M. C. Laskowski and S. Shelah",
  pages =        "1189--1194",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::Palmgren1993,
  title =        "A Note on \emph{Mathematics of infinity}",
  author =       "Erik Palmgren",
  pages =        "1195--1200",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::Liu1993,
  title =        "Stationary Subsets of {$[\aleph_\omega]^{<
                 \omega_n}$}",
  author =       "Kecheng Liu",
  pages =        "1201--1218",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::Wehrung1993,
  title =        "Boolean Universes above {Boolean} Models",
  author =       "Friedrich Wehrung",
  pages =        "1219--1250",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::Stefani1993,
  title =        "A Relativization Mechanism in Recursion Categories",
  author =       "Stefano Stefani",
  pages =        "1251--1267",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::Steprans1993,
  title =        "A Very Discontinuous {Borel} Function",
  author =       "Juris Stepr{\=a}ns",
  pages =        "1268--1283",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::Brendle1993,
  title =        "Amoeba-Absoluteness and Projective Measurability",
  author =       "J{\"o}rg Brendle",
  pages =        "1284--1290",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::BaldwinLS1993,
  title =        "Forcing Isomorphism",
  author =       "J. T. Baldwin and M. C. Laskowski and S. Shelah",
  pages =        "1291--1301",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::BouscarenL1993,
  title =        "{S}-Homogeneity and Automorphism Groups",
  author =       "Elisabeth Bouscaren and Michael C. Laskowski",
  pages =        "1302--1322",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::GoldsternJS1993,
  title =        "Strong Measure Zero Sets Without {Cohen} Reals",
  author =       "Martin Goldstern and Haim Judah and Saharon Shelah",
  pages =        "1323--1341",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::GluschankofL1993,
  title =        "Hyper-Regular Lattice-Ordered Groups",
  author =       "Daniel Gluschankof and Fran{\c{c}}ois Lucas",
  pages =        "1342--1358",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::Moloney1993,
  title =        "An Existence Theorem for a Special Ultrafilter when
                 {$\mathfrak{d} = \mathfrak{c}$}",
  author =       "James J. Moloney",
  pages =        "1359--1364",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::FerrariM1993,
  title =        "Counting the Maximal Intermediate Constructive
                 Logics",
  author =       "Mauro Ferrari and Pierangelo Miglioli",
  pages =        "1365--1401",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::ShelahTV1993,
  title =        "On the Number of Automorphisms of Uncountable Models",
  author =       "Saharon Shelah and Heikki Tuuri and Jouko
                 V{\"a}{\"a}n{\"a}nen",
  pages =        "1402--1418",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::HartS1993,
  title =        "Addendum to ``{A} Structure Theorem for Strongly
                 Abelian Varieties''",
  author =       "Bradd Hart and Sergei Starchenko",
  pages =        "1419--1425",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::Rott1993,
  title =        "Belief Contraction in the Context for the General
                 Theory of Rational Choice",
  author =       "Hans Rott",
  pages =        "1426--1450",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

@Article{JSYML::Khelif1993,
  title =        "The {Bass-Milnor-Serre} Theorem for Nonstandard Models
                 in {Peano} Arithmetic",
  author =       "Anatole Khelif",
  pages =        "1451--1458",
  journal =      jsyml,
  year =         "1993",
  month =        dec,
  volume =       "58",
  number =       "4",
}

Volume 59, Number 1
                              March 1994

@Article{JSYML::Schlindwein1994,
  title =        "Consistency of {Suslin's} Hypothesis, a Nonspecial
                 {Aronszajn} Tree, and {GCH}",
  author =       "Chaz Schlindwein",
  pages =        "1--29",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
  references =   "\cite{APAL::Schlindwein1993}",
}

@Article{JSYML::HalbeiseS1994,
  title =        "Consequences of Arithmetic for Set Theory",
  author =       "Lorenz Halbeise and Saharon Shelah",
  pages =        "30--40",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::Chowdhury1994,
  title =        "On the Number of Nonisomorphic Models of
                 Size~{$|T|$}",
  author =       "Ambar Chowdhury",
  pages =        "41--59",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
  references =   "\cite{APAL::ShelahB1989}",
}

@Article{JSYML::HerrmannK1994,
  title =        "Diagonals and {$\mathcal{D}$}-Maximal Sets",
  author =       "Eberhard Herrmann and Martin Kummer",
  pages =        "60--72",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
  references =   "\cite{TCS::Kummer1990}",
}

@Article{JSYML::Krajicek1994,
  title =        "Lower Bounds to the Size of Constant-Depth
                 Propositional Proofs",
  author =       "Jan Kraj{\'\i}{\v{c}}ek",
  pages =        "73--86",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
  references =   "\cite{FOCS::Ajtai1988} \cite{SICOMP::BellantoniPU1992}
                 \cite{TCS::BussT1988} \cite{TCS::Haken1985}
                 \cite{STOC::Sipser1983} \cite{STOC::Smolensky1987}
                 \cite{FOCS::Toda1989} \cite{FOCS::Yao1985}",
}

@Article{JSYML::BelairD1994,
  title =        "Ind\'ecidabilit\'e des Corps de Courbe {R}\'eelle",
  author =       "Luc B{\'e}lair and Jean-Louis Duret",
  pages =        "87--91",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::Goode1994,
  title =        "Accessible Telephone Directories",
  author =       "John B. Goode",
  pages =        "92--105",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::Knight1994,
  title =        "Nonarithmetical {$\aleph_0$}-Categorical Theories with
                 Recursive Models",
  author =       "Julia F. Knight",
  pages =        "106--112",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::Simpson1994,
  title =        "On the Strength of {K\"onig's} Duality Theorem for
                 Countable Bipartite Graphs",
  author =       "Stephen G. Simpson",
  pages =        "113--123",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
  references =   "\cite{APAL::Marcone1991}",
}

@Article{JSYML::Latka1994,
  title =        "Finitely Constrained Classes of Homogeneous Directed
                 Graphs",
  author =       "Brenda J. Latka",
  pages =        "124--139",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::Barback1994,
  title =        "Torre Models in the Isols",
  author =       "Joseph Barback",
  pages =        "140--150",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::Pillay1994:151,
  title =        "Some remarks on nonmultidimensional superstable
                 theories",
  author =       "Anand Pillay",
  pages =        "151--165",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::Gao1994,
  title =        "The Degrees of Conditional Problems",
  author =       "Su Gao",
  pages =        "166--181",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::Zhang1994,
  title =        "Stationary Reflections and Ideals",
  author =       "Shu-Guo Zhang",
  pages =        "182--184",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::MarkerS1994,
  title =        "Definable Types in {$\mathcal{O}$}-Minimal Theories",
  author =       "David Marker and Charles I. Steinhorn",
  pages =        "185--198",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::Liu1994,
  title =        "Semilinear Cell Decomposition",
  author =       "Nianzheng Liu",
  pages =        "199--208",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::Fagin1994,
  title =        "A Quantitative Analysis of Modal Logic",
  author =       "Ronald Fagin",
  pages =        "209--252",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
  references =   "\cite{JACM::FaginHV1991} \cite{STOC::FaginV1985}
                 \cite{JACM::HalpernM1990} \cite{FOCS::Pratt1976}",
}

@Article{JSYML::McGee1994,
  title =        "On the Degrees of Unsolvability of Modal Predicate
                 Logics of Provability",
  author =       "Vann McGee",
  pages =        "253--261",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::Hamkins1994,
  title =        "Fragile Measurability",
  author =       "Joel Hamkins",
  pages =        "262--282",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::BorovikN1994,
  title =        "{Schur-Zassenhaus} Theorem Revisited",
  author =       "Alexandre V. Borovik and Ali Nesin",
  pages =        "283--291",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::JinS1994,
  title =        "The Strength of the Isomorphism Property",
  author =       "Renling Jin and Saharon Shelah",
  pages =        "292--301",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
  references =   "\cite{APAL::JinK1993}",
}

@Article{JSYML::Fuchino1994,
  title =        "Some Remarks on Openly Generated {Boolean} Algebras",
  author =       "Saka{\'e} Fuchino",
  pages =        "302--310",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
  references =   "\cite{APAL::FuchinoKT1992}",
}

@Article{JSYML::Low1994,
  title =        "Lattice of Algebraically Closed Sets in One-Based
                 Theories",
  author =       "Lee Fong Low",
  pages =        "311--321",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::Ignjatovic1994,
  title =        "Hilbert's Program and the Omega-Rule",
  author =       "Aleksandar Ignjatovi{\'c}",
  pages =        "322--343",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

@Article{JSYML::Wilkie1994,
  title =        "On Defining {$C^\infty$}",
  author =       "A. J. Wilkie",
  pages =        "344",
  journal =      jsyml,
  year =         "1994",
  month =        mar,
  volume =       "59",
  number =       "1",
}

Volume 59, Number 2
                              June 1994

@Article{JSYML::Mazur1994,
  title =        "Questions of Decidability and Undecidability in Number
                 Theory",
  author =       "B. Mazur",
  pages =        "353--371",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
  note =         "A survey/expository paper",
}

@Article{JSYML::Pheidas1994,
  title =        "Extensions of {Hilbert's} Tenth Problem",
  author =       "Thanases Pheidas",
  pages =        "372--397",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
}

@Article{JSYML::Maddux1994,
  title =        "Undecidable Semiassociative Relation Algebras",
  author =       "Roger D. Maddux",
  pages =        "398--418",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
}

@Article{JSYML::Roorda1994,
  title =        "Interpolation in Fragments of Classical Linear Logic",
  author =       "Dirk Roorda",
  pages =        "419--444",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
  references =   "\cite{TCS::Girard1987} \cite{JLOGC::Roorda1992}",
}

@Article{JSYML::GitikM1994,
  title =        "Extender Based Forcings",
  author =       "Moti Gitik and Menachem Magidor",
  pages =        "445--460",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
  references =   "\cite{APAL::Gitik1989} \cite{APAL::Gitik1993}",
}

@Article{JSYML::Melles1994,
  title =        "Natural Internal Forcing Schemata Extending {ZFC}:
                 Truth in the Universe",
  author =       "Garvin Melles",
  pages =        "461--472",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
}

@Article{JSYML::HosliJ1994,
  title =        "About Some Symmetries of Negation",
  author =       "Brigitte H{\"o}sli and Gerhard J{\"a}ger",
  pages =        "473--485",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
  references =   "\cite{JLOGP::Kunen1987} \cite{JLOGC::Stark1991}",
}

@Article{JSYML::BaligaCJS1994,
  title =        "Machine Learning of Higher-Order Programs",
  author =       "Ganesh Baliga and John Case and Sanjay Jain and
                 Mandayam Suraj",
  pages =        "486--500",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
  references =   "\cite{IC::BlumB1975} \cite{JACM::Blum1967}
                 \cite{TCS::CaseS1983} \cite{IC::Gold1967}",
}

@Article{JSYML::Malhas1994,
  title =        "Abacus Logic: The Lattice of Quantum Propositions as
                 the Poset of a Theory",
  author =       "Othman Qasim Malhas",
  pages =        "501--515",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
}

@Article{JSYML::Kumabe1994,
  title =        "Minimal Upper Bounds for Arithmetical Degrees",
  author =       "Masahiro Kumabe",
  pages =        "516--528",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
}

@Article{JSYML::Fuller1994,
  title =        "Normality of a Filter over a Space of Partitions",
  author =       "Mark Fuller",
  pages =        "529--533",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
}

@Article{JSYML::SternS1994,
  title =        "A Class of Connected Theories of Order",
  author =       "Alan S. Stern and Stanis{\l}aw {\'S}wierczkowski",
  pages =        "534--542",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
}

@Article{JSYML::AbramskyJ1994,
  title =        "Games and Full Completeness for Multiplicative Linear
                 Logic",
  author =       "Samson Abramsky and Radha Jagadeesan",
  pages =        "543--574",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
  references =   "\cite{TCS::Abramsky1993} \cite{LICS::AbramskyJ1992}
                 \cite{MSCS::AbramskyV1993} \cite{MSCS::Barr1991}
                 \cite{TCS::BainbridgeFSS1990} \cite{APAL::Blass1992}
                 \cite{LICS::GonthierAL1992} \cite{TCS::Girard1986}
                 \cite{TCS::Girard1987} \cite{MSCS::Girard1991}
                 \cite{POPL::Lafont1990} \cite{LICS::LafontS1991}
                 \cite{TCS::Plotkin1977}",
}

@Article{JSYML::Wagner1994,
  title =        "A Note on Defining Groups in Stable Structures",
  author =       "Frank O. Wagner",
  pages =        "575--578",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
}

@Article{JSYML::BouscarenH1994,
  title =        "On One-Based Theories",
  author =       "E. Bouscaren and E. Hrushovski",
  pages =        "579--595",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
  references =   "\cite{APAL::Bouscaren1989} \cite{APAL::Pillay1898}",
}

@Article{JSYML::Mundici1994,
  title =        "A Constructive Proof of {McNaughton's} Theorem in
                 Infinite-valued Logic",
  author =       "Daniele Mundici",
  pages =        "596--602",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
}

@Article{JSYML::Scheepers1994,
  title =        "Meager Nowhere-Dense Games ({IC}): {$n$}-Tactics
                 (Continued)",
  author =       "Marion Scheepers",
  pages =        "603--605",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
}

@Article{JSYML::Friedman1994:606,
  title =        "The Genericity Conjecture",
  author =       "Sy D. Friedman",
  pages =        "606--614",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
}

@Article{JSYML::JechW1994,
  title =        "Full Reflection at a Measurable Cardinal",
  author =       "Thomas Jech and Ji{\v{r}}{\'\i} Witzany",
  pages =        "615--630",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
  references =   "\cite{APAL::Cummings1996}",
}

@Article{JSYML::AndrekaGN1994,
  title =        "The Lattice of Varieties of Representable Relation
                 Algebras",
  author =       "Hajnal Andr{\'e}ka and Steven Givant and Istv{\'a}n
                 N{\'e}meti",
  pages =        "631--661",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
}

@Article{JSYML::Plewik1994,
  title =        "Ideals of Nowhere {Ramsey} Sets Are Isomorphic",
  author =       "Szymon Plewik",
  pages =        "662--667",
  journal =      jsyml,
  year =         "1994",
  month =        jun,
  volume =       "59",
  number =       "2",
}

Volume 59, Number 3
                            September 1994

@Article{JSYML::Buss1994,
  title =        "On {G\"odel's} Theorems on Lenghts of Proofs {I}:
                 Number of Lines and Speedup for Arithmetics",
  author =       "Samuel R. Buss",
  pages =        "737--756",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
  note =         "A survey/expository paper",
  references =   "\cite{APAL::Farmer1991} \cite{APAL::Krajicek1989}",
}

@Article{JSYML::Becker1994,
  title =        "The Topological {Vaught's} Conjecture and Minimal
                 Counterexamples",
  author =       "Howard Becker",
  pages =        "757--784",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
}

@Article{JSYML::VerbruggeV1994,
  title =        "A Small Reflection Principle for Bounded Arithmetic",
  author =       "Rineke Verbrugge and Albert Visser",
  pages =        "785--812",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
  references =   "\cite{APAL::Adamowicz1993}
                 \cite{APAL::BerarducciV1993} \cite{TCS::KentH1982}
                 \cite{JCSS::MandersA1978} \cite{APAL::Solovay1989}
                 \cite{TCS::Stockmeyer1976} \cite{TCS::Wrathall1976}",
}

@Article{JSYML::Moschovakis1994,
  title =        "More About Relatively Lawless Sequences",
  author =       "Joan Rand Moschovakis",
  pages =        "813--829",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
}

@Article{JSYML::Ying1994,
  title =        "A Logic for Approximate Reasoning",
  author =       "Mingsheng Ying",
  pages =        "830--837",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
}

@Article{JSYML::Hrushovski1994,
  title =        "Finitely Axiomatizable {$\aleph_1$} Categorical
                 Theories",
  author =       "Ehud Hrushovski",
  pages =        "838--844",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
}

@Article{JSYML::Hansson1994,
  title =        "Kernel Contraction",
  author =       "Sven Ove Hansson",
  pages =        "845--859",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
}

@Article{JSYML::Bekkali1994,
  title =        "Chains and Antichains in Interval Algebras",
  author =       "M. Bekkali",
  pages =        "860--867",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
}

@Article{JSYML::Fenner1994,
  title =        "Almost Weakly 2-Generic Sets",
  author =       "Stephen A. Fenner",
  pages =        "868--887",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
  references =   "\cite{TCS::Ambos-SpiesFH1987} \cite{JACM::Blum1967}
                 \cite{FOCS::BlumI1987} \cite{APAL::ChongD1990}
                 \cite{JCSS::FennerFK1994} \cite{SICOMP::GrollmannS1988}
                 \cite{SICOMP::Lutz1990}",
}

@Article{JSYML::MartiniM1994,
  title =        "A Modal View of Linear Logic",
  author =       "Simone Martini and Andrea Masini",
  pages =        "888--899",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
  references =   "\cite{TCS::Girard1987} \cite{APAL::LincolnMSS1992}
                 \cite{APAL::Lincoln1993}",
}

@Article{JSYML::KikyoT1994,
  title =        "On Reduction Properties",
  author =       "Hirotaka Kikyo and Akito Tsuboi",
  pages =        "900--911",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
  references =   "\cite{APAL::HodgesHM1990}",
}

@Article{JSYML::AndrekaKN1994,
  title =        "Connections Between Axioms of Set Theory and Basic
                 Theorems of Universal Algebra",
  author =       "H. Andr{\'e}ka and {\'A}. Kurucz and I. N{\'e}meti",
  pages =        "912--923",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
}

@Article{JSYML::Fernando1994,
  title =        "Bisimulations and Predicate Logic",
  author =       "Tim Fernando",
  pages =        "924--944",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
  references =   "\cite{IC::Abramsky1991} \cite{LICS::AcetoBV1992}
                 \cite{JACM::BloomIM1995} \cite{LICS::ChristensenHM1993}
                 \cite{IC::DarondeauY1992} \cite{JACM::HennessyM1985}",
}

@Article{JSYML::Weiermann1994,
  title =        "A Functorial Property of the {Aczel-Buchholz-Feferman}
                 Function",
  author =       "Andreas Weiermann",
  pages =        "945--955",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
  references =   "\cite{LICS::DershowitzO1988}",
}

@Article{JSYML::Groszek1994,
  title =        "{$\omega^*_1$} as an Initial Segment of the
                 {$c$}-Degrees",
  author =       "Marcia Groszek",
  pages =        "956--976",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
}

@Article{JSYML::LachlanS1994,
  title =        "Models of Arithmetic and Upper Bounds for Arithmetic
                 Sets",
  author =       "Alistair H. Lachlan and Robert I. Soare",
  pages =        "977--983",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
}

@Article{JSYML::HyttinenS1994,
  title =        "Constructing Strongly Equivalent Nonisomorphic Models
                 for Unsuperstable Theories, Part {A}",
  author =       "Tapani Hyttinen and Saharon Shelah",
  pages =        "984--996",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
  references =   "\cite{APAL::HyttinenT1991}",
}

@Article{JSYML::Sharp1994,
  title =        "Combinatorics on Ideals and Axiom~{A}",
  author =       "James D. Sharp",
  pages =        "997--1000",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
}

@Article{JSYML::Ferreira1994,
  title =        "A Feasible Theory for Analysis",
  author =       "Fernando Ferreira",
  pages =        "1001--1011",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
}

@Article{JSYML::Grainger1994,
  title =        "Flat Sets",
  author =       "Arthur D. Grainger",
  pages =        "1012--1021",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
}

@Article{JSYML::Solecki1994,
  title =        "Covering Analytic Sets by Families of Closed Sets",
  author =       "S{\l}awomir Solecki",
  pages =        "1022--1031",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
}

@Article{JSYML::Sheard1994,
  title =        "A Guide to Truth Predicates in the Modern Era",
  author =       "Michael Sheard",
  pages =        "1032--1054",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
  references =   "\cite{NDJFL::Kotlarski1991}
                 \cite{SICOMP::MannaS1976}",
}

@Article{JSYML::Kanai1994,
  title =        "On a Generalization of Distributivity",
  author =       "Yasuo Kanai",
  pages =        "1055--1067",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
}

@Article{JSYML::Shlapentokh1994,
  title =        "Diophantine Equivalence and Countable Rings",
  author =       "Alexandra Shlapentokh",
  pages =        "1068--1095",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
  references =   "\cite{NDJFL::Shlapentokh1992}",
}

@Article{JSYML::Friedman1994:1096,
  title =        "Jensen's {$\Sigma^*$} Theory and the Combinatorial
                 Content of {$V = L$}",
  author =       "Sy D. Friedman",
  pages =        "1096--1104",
  journal =      jsyml,
  year =         "1994",
  month =        sep,
  volume =       "59",
  number =       "3",
}

Volume 59, Number 4
                            December 1994

@Article{JSYML::JockuschS1994,
  title =        "Boolean Algebras, {Stone} Spaces, and the Iterated
                 {Turing} Jump",
  author =       "Carl G. {Jockusch, Jr.} and Robert I. Soare",
  pages =        "1121--1138",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
  references =   "\cite{APAL::JockuschS1991}",
}

@Article{JSYML::ArtemovM1994,
  title =        "On First-Order Theories with Provability Operator",
  author =       "Sergei Art{\"e}mov and Franco Montagna",
  pages =        "1139--1153",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
}

@Article{JSYML::Gordeev1994,
  title =        "A Modified Sentence Unprovable in \textbf{PA}",
  author =       "L. Gordeev",
  pages =        "1154--1157",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
}

@Article{JSYML::Kafkoulis1994,
  title =        "The Consistency Strength of an Infinitary {Ramsey}
                 Property",
  author =       "George Kafkoulis",
  pages =        "1158--1195",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
}

@Article{JSYML::Cummings1994,
  title =        "Possible Behaviours for the {Mitchell} Ordering {II}",
  author =       "James Cummings",
  pages =        "1196--1209",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
  references =   "\cite{APAL::Cummings1993}",
}

@Article{JSYML::Damnjanovic1994,
  title =        "Strictly Primitive Recursive Realizability, {I}",
  author =       "Zlatan Damnjanovic",
  pages =        "1210--1227",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
}

@Article{JSYML::Takeuti1994:1228,
  title =        "The Critical Number of a Variable in a Function",
  author =       "Gaisi Takeuti",
  pages =        "1228--1244",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
}

@Article{JSYML::Prati1994,
  title =        "A Partial Model of \textbf{NP} with~{E}",
  author =       "N. Prati",
  pages =        "1245--1253",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
}

@Article{JSYML::Willard1994,
  title =        "Hereditary Undecidability of Some Theories of Finite
                 Structures",
  author =       "Ross Willard",
  pages =        "1254--1262",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
}

@Article{JSYML::Takano1994,
  title =        "Subformula Property in Many-Valued Modal Logics",
  author =       "Mitio Takano",
  pages =        "1263--1273",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
  references =   "\cite{NDJFL::Takano1992}",
}

@Article{JSYML::Takeuti1994:1274,
  title =        "Grzegorcyk's Hierarchy and {$Iep\Sigma_1$}",
  author =       "Gaisi Takeuti",
  pages =        "1274--1284",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
}

@Article{JSYML::ChowdhuryP1994,
  title =        "On the Number of Models of Uncountable Theories",
  author =       "Ambar Chowdhury and Anand Pillay",
  pages =        "1285--1300",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
  references =   "\cite{APAL::HrushovskiS1989}
                 \cite{APAL::Newelski1990}",
}

@Article{JSYML::Hummel1994,
  title =        "Effective Versions of {Ramsey's} Theorem: Avoiding the
                 Cone above {$\mathbf{0}'$}",
  author =       "Tamara Lakins Hummel",
  pages =        "1301--1325",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
}

@Article{JSYML::Weber1994,
  title =        "Initial Segments of the Lattice of Ideals of {R}.{E}.\
                 Degrees",
  author =       "Frank P Weber",
  pages =        "1326--1350",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
  references =   "\cite{APAL::Downey1990}",
}

@Article{JSYML::Nadel1994,
  title =        "Scott Heights of {Abelian} Groups",
  author =       "Mark E. Nadel",
  pages =        "1351--1359",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
}

@Article{JSYML::DowneyH1994,
  title =        "Embedding Lattices into the \emph{wtt}-Degrees
                 below~$0'$",
  author =       "Rod Downey and Christine Haught",
  pages =        "1360--1382",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
  references =   "\cite{APAL::DowneyB1989}",
}

@Article{JSYML::AshK1994,
  title =        "Mixed Systems",
  author =       "C. J. Ash and J. F. Knight",
  pages =        "1383--1399",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
  references =   "\cite{APAL::Ash1990} \cite{APAL::AshK1990}
                 \cite{APAL::Knight1990}",
}

@Article{JSYML::Pillay1994:1400,
  title =        "Definability of Types, and Pairs of {O}-Minimal
                 Structures",
  author =       "Anand Pillay",
  pages =        "1400--1409",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
}

@Article{JSYML::Ash1994,
  title =        "On Countable Fractions from an Elementary Class",
  author =       "C. J. Ash",
  pages =        "1410--1413",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
}

@Article{JSYML::Kotlarski1994,
  title =        "On the Incompleteness Theorems",
  author =       "Henryk Kotlarski",
  pages =        "1414--1419",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
}

@Article{JSYML::Welch1994,
  title =        "Characterising Subsets of {$\omega_1$} Constructible
                 from a Real",
  author =       "P. D. Welch",
  pages =        "1420--1432",
  journal =      jsyml,
  year =         "1994",
  month =        dec,
  volume =       "59",
  number =       "4",
  references =   "\cite{APAL::DonderL1989}",
}

Volume 60, Number 1
                              March 1995

@Article{JSYML::ShelahS1995:1,
  title =        "A Combinatorial Forcing for Coding the Universe by a
                 Real When There Are No Sharps",
  author =       "Saharon Shelah and Lee J. Stanley",
  pages =        "1--35",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::ShelahS1995:36,
  title =        "The Combinatorics of Combinatorial Coding by a Real",
  author =       "Saharon Shelah and Lee J. Stanley",
  pages =        "36--57",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::GoldsternS1995,
  title =        "The Bounded Proper Forcing Axiom",
  author =       "Martin Goldstern and Saharon Shelah",
  pages =        "58--73",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::DriesL1995,
  title =        "{$T$}-Convexity and Tame Extensions",
  author =       "Lou van den Dries and Adam H. Lewenberg",
  pages =        "74--102",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::Ignjatovic1995,
  title =        "Delineating Classes of Computational Complexity via
                 Second Order Theories with Weak Set Existence
                 Principles. {I}",
  author =       "Aleksandar Ignjatovi{\'c}",
  pages =        "103--121",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
  references =   "\cite{STOC::Cook1975}",
}

@Article{JSYML::ChuaquiS1995,
  title =        "Free-Variable Axiomatic Foundations of Infinitesimal
                 Analysis: {A} Fragment with Finitary Consistency
                 Proof",
  author =       "Rolando Chuaqui and Patrick Suppes",
  pages =        "122--159",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::Ozawa1995,
  title =        "Scott Incomplete {Boolean} Ultrapowers of the Real
                 Line",
  author =       "Masanao Ozawa",
  pages =        "160--171",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::Henle1995,
  title =        "The Consistency of One Fixed Omega",
  author =       "J. M. Henle",
  pages =        "172--177",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::Holmes1995,
  title =        "The Equivalence of {NF}-Style Set Theories with
                 ``Tangled'' Type Theories; The Construction of
                 {$\omega$}-Models of Predicative {NF} (and More)",
  author =       "M. Randall Holmes",
  pages =        "178--190",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::Mycielski1995,
  title =        "New Set-Theoretic Axioms Derived from a Lean
                 Metamathematics",
  author =       "Jan Mycielski",
  pages =        "191--198",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::JockuschS1995,
  title =        "Weak Presentation of Computable Fields",
  author =       "Carl G. {Jockusch, Jr.} and Alexandra Shalpentokh",
  pages =        "199--208",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::Bell1995,
  title =        "Type Reducing Correspondences and Well-Orderings:
                 {Frege's} and {Zermelo's} Constructions Re-examined",
  author =       "J. L. Bell",
  pages =        "209--221",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::Knight1995,
  title =        "Requirement Systems",
  author =       "Julia F. Knight",
  pages =        "222--245",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::BaldwinS1995,
  title =        "Abstract Classes with Few Models Have
                 `Homogeneous-Universal' Models",
  author =       "J. Baldwin and S. Shelah",
  pages =        "246--265",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::Rybakov1995,
  title =        "Hereditarily Structurally Complete Modals Logics",
  author =       "V. V. Rybakov",
  pages =        "266--288",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::Selivanov1995,
  title =        "Fine Hierarchies and {Boolean} Terms",
  author =       "V. L. Selivanov",
  pages =        "289--317",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::Kanovei1995,
  title =        "Uniqueness, Collection, and External Collapse of
                 Cardinals in {IST} and Models of {Peano} Arithmetic",
  author =       "V. Kanovei",
  pages =        "318--324",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
}

@Article{JSYML::Coquand1995,
  title =        "A Semantics of Evidence for Classical Arithmetic",
  author =       "Thierry Coquand",
  pages =        "325--337",
  journal =      jsyml,
  year =         "1995",
  month =        mar,
  volume =       "60",
  number =       "1",
  references =   "\cite{TCS::Abramsky1993}",
}

Volume 60, Number 2
                              June 1995

@Article{JSYML::Herwig1995,
  title =        "Weight {$\omega$} in Stable Theories with Few Types",
  author =       "Bernhard Herwig",
  pages =        "353--373",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::JudahR1995:374,
  title =        "Martin's Axiom and the Continuum",
  author =       "Haim Judah and Andrzej Ros{\l}anowski",
  pages =        "374--391",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::McColm1995,
  title =        "The Dimension of the Negation of Transitive Closure",
  author =       "Gregory L. McColm",
  pages =        "392--414",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
  references =   "\cite{POPL::AhoU1979} \cite{JCSS::ChandraH1982}
                 \cite{IC::HarelK1984} \cite{JCSS::Immerman1981}
                 \cite{JCSS::Immerman1982} \cite{IC::Immerman1986}
                 \cite{SICOMP::Immerman1987} \cite{IC::Ladner1977}
                 \cite{IC::McColm1995} \cite{STOC::Vardi1982}",
}

@Article{JSYML::Bishop1995,
  title =        "Ultrafilters Generated by a Closed Set of Functions",
  author =       "Greg Bishop",
  pages =        "415--430",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::NyikosP1995,
  title =        "On the Equivalence of Certain Consequences of the
                 Proper Forcing Axiom",
  author =       "Peter Nyikos and Leszek Pi{\c{a}}tkiewicz",
  pages =        "431--443",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::LabcedzkiR1995,
  title =        "Hechler Reals",
  author =       "Grzegorz {\L}ab{\c{e}}dzki and Miroslav Repick{\'y}",
  pages =        "444--458",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::Xu1995,
  title =        "On the Basic Logic of \emph{STIT} with a Single
                 Agent",
  author =       "Ming Xu",
  pages =        "459--483",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::Belair1995,
  title =        "Anneaux de Fonctions {$p$}-adiques",
  author =       "Luc B{\'e}lair",
  pages =        "484--497",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::JonghC1995,
  title =        "The Decidability of Dependency in Intuitionistic
                 Propositional Logic",
  author =       "Dick de Jongh and L. A. Chagrova",
  pages =        "498--504",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::Yang1995,
  title =        "The Thickness Lemma from {$P^- + I\Sigma_1 + \neg B
                 \Sigma_2$}",
  author =       "Yue Yang",
  pages =        "505--511",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::Schmerl1995:512,
  title =        "The Isomorphism Property for Nonstandard Universes",
  author =       "James H. Schmerl",
  pages =        "512--516",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::Grohe1995,
  title =        "Complete Problems for Fixed-Point Logics",
  author =       "Martin Grohe",
  pages =        "517--527",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
  references =   "\cite{JCSS::AbiteboulV1991}
                 \cite{STOC::AbiteboulV1991}
                 \cite{SICOMP::Immerman1987}",
}

@Article{JSYML::PillayP1995,
  title =        "Corps et Chirurgie",
  author =       "Anand Pillay and Bruno Poizat",
  pages =        "528--533",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::Witzany1995,
  title =        "Possible Behaviours of the Reflection Ordering of
                 Stationary Sets",
  author =       "Ji{\v{r}}{\'\i} Witzany",
  pages =        "534--547",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::Leloup1995,
  title =        "{\'E}limination des Quantificateurs dans des Paires de
                 Corps",
  author =       "G. Leloup",
  pages =        "548--562",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::Panti1995,
  title =        "A Geometric Proof of the Completeness of the
                 {{\L}ukasiewicz} Calculus",
  author =       "Giovanni Panti",
  pages =        "563--578",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::Mares1995,
  title =        "A Star-Free Semantics for $\mathbf{R}$",
  author =       "Edwin D. Mares",
  pages =        "579--590",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::Venema1995,
  title =        "Cylindrical Modal Logic",
  author =       "Yde Venema",
  pages =        "591--623",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::Baumgartner1995,
  title =        "Ultrafilters on {$\omega$}",
  author =       "James E. Baumgartner",
  pages =        "624--639",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::Dzierzgowski1995,
  title =        "Models of Intuitionistic {TT} and {NF}",
  author =       "Daniel Dzierzgowski",
  pages =        "640--653",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::Millar1995,
  title =        "Model Completeness and Omitting Types",
  author =       "Terrence Millar",
  pages =        "654--672",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

@Article{JSYML::Casanovas1995,
  title =        "Compactly Expandable Models and Stability",
  author =       "Enrique Casanovas",
  pages =        "673--683",
  journal =      jsyml,
  year =         "1995",
  month =        jun,
  volume =       "60",
  number =       "2",
}

Volume 60, Number 3
                            September 1995

@Article{JSYML::Spinas1995,
  title =        "Generic Trees",
  author =       "Otmar Spinas",
  pages =        "705--726",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
}

@Article{JSYML::DowneyS1995,
  title =        "Degree Theoretic Definitions of the {$\mathrm{low}_2$}
                 Recursively Enumerable Sets",
  author =       "Rod Downey and Richard A. Shore",
  pages =        "727--756",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
  references =   "\cite{JACM::Ladner1975}",
}

@Article{JSYML::Wolter1995,
  title =        "The Finite Model Property in Tense Logic",
  author =       "Frank Wolter",
  pages =        "757--774",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
}

@Article{JSYML::AndrekaGN1995,
  title =        "Perfect Extensions and Derived Algebras",
  author =       "Hajnal Andr{\'e}ka and Steven Givant and Istv{\'a}n
                 N{\'e}meti",
  pages =        "775--796",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
}

@Article{JSYML::Poston1995,
  title =        "Defining Multiplication in o-Minimal Expansions of the
                 Additive Reals",
  author =       "Robert J. Poston",
  pages =        "797--816",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
}

@Article{JSYML::LaskowskiS1995,
  title =        "on o-Minimal Expansions of {Archimedean} Ordered
                 Groups",
  author =       "Michael C. Laskowski and Charles Steinhorn",
  pages =        "817--831",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
}

@Article{JSYML::ApostoliB1995,
  title =        "A Solution to the Completeness Problem for Weakly
                 Aggregative Modal Logic",
  author =       "Peter Apostoli and Bryson Brown",
  pages =        "832--842",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
}

@Article{JSYML::Holly1995,
  title =        "Canonical Forms for Definable Subsets of Algebraically
                 Closed and Real Closed Valued Fields",
  author =       "Jan E. Holly",
  pages =        "843--860",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
}

@Article{JSYML::Sambin1995,
  title =        "Pretopologies and Completeness Proofs",
  author =       "Giovanni Sambin",
  pages =        "861--878",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
  references =   "\cite{TCS::Girard1987} \cite{TCS::KetonenW1984}",
}

@Article{JSYML::Leathrum1995,
  title =        "A Special Class of Almost Disjoint Families",
  author =       "Thomas E. Leathrum",
  pages =        "879--891",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
}

@Article{JSYML::SharpT1995,
  title =        "Some Questions Concerning the Cofinality of
                 {$\mathrm{Sym}(\kappa)$}",
  author =       "James D. Sharp and Simon Thomas",
  pages =        "892--897",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
}

@Article{JSYML::MessmerW1995,
  title =        "Separably Closed Fields with Higher Derivation {I}",
  author =       "Margit Messmer and Carol Wood",
  pages =        "898--910",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
}

@Article{JSYML::GhilardiZ1995,
  title =        "A Sheaf Representation and Duality for Finitely
                 Presenting {Heyting} Algebras",
  author =       "Silvio Ghilardi and Marek Zawadowski",
  pages =        "911--939",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
}

@Article{JSYML::KoepkeM1995,
  title =        "Superatomic {Boolean} Algebras Constructed from
                 Morasses",
  author =       "Peter Koepke and Juan Carlos Mart{\'\i}nez",
  pages =        "940--951",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
}

@Article{JSYML::GradelG1995,
  title =        "Tailoring Recursion for Complexity",
  author =       "Erich Gr{\"a}del and Yuri Gurevich",
  pages =        "952--969",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
  references =   "\cite{JCSS::AbiteboulV1991}
                 \cite{STOC::BellantoniC1992} \cite{IC::ComptonL1990}
                 \cite{TCS::Gradel1992} \cite{FOCS::Gurevich1983}
                 \cite{IC::GurevichL1984} \cite{JCSS::Immerman1982}
                 \cite{IC::Immerman1986} \cite{SICOMP::Immerman1987}
                 \cite{SICOMP::Immerman1989} \cite{JCSS::Krentel1988}
                 \cite{ACTAI::Szelepcsenyi1988} \cite{STOC::Vardi1982}",
}

@Article{JSYML::AndrekaDN1995,
  title =        "Expressibility of Properties of Relations",
  author =       "Hajnal Andr{\'e}ka and Ivo D{\"u}ntsch and Istv{\'a}n
                 N{\'e}meti",
  pages =        "970--991",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
  references =   "\cite{JSYMC::Duntsch1994} \cite{JCSS::Immerman1982}
                 \cite{IC::ImmermanK1989} \cite{IC::KolaitisV1992}",
}

@Article{JSYML::CummingsS1995,
  title =        "A Model in Which Every {Boolean} Algebra Has Many
                 Subalgebras",
  author =       "James Cummings and Saharon Shelah",
  pages =        "992--1004",
  journal =      jsyml,
  year =         "1995",
  month =        sep,
  volume =       "60",
  number =       "3",
}

Volume 60, Number 4
                            December 1995

@Article{JSYML::DuBose1995,
  title =        "Determinacy and the Sharp Function on Objects of Type
                 {$k$}",
  author =       "Derrick Albert DuBose",
  pages =        "1025--1053",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

@Article{JSYML::DavidN1995,
  title =        "Storage Operators and Directed Lambda-Calculus",
  author =       "Ren{\'e} David and Karim Nour",
  pages =        "1054--1086",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
  references =   "\cite{JFP::AbadiCCL1991}",
}

@Article{JSYML::DaveyHP1995,
  title =        "The Syntax and Semantics of Entailment in Duality
                 Theory",
  author =       "B. A. Davey and M. Haviar and H. A. Priestley",
  pages =        "1087--1114",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

@Article{JSYML::HowardR1995,
  title =        "The Axiom of Choice for Well-Ordered Families and for
                 Familes of Well-Orderable Sets",
  author =       "Paul Howard and Jean E. Rubin",
  pages =        "1115--1117",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

@Article{JSYML::LemppN1995,
  title =        "The Undecidability of the {$\Pi_4$}-Theory for the
                 {R.} {E.} {WTT} and {Turing} Degrees",
  author =       "Steffen Lempp and Andr{\'e} Nies",
  pages =        "1118--1136",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

@Article{JSYML::Schmerl1995:1137,
  title =        "A Reflection Principle and its Applications to
                 Nonstandard Models",
  author =       "James H. Schmerl",
  pages =        "1137--1152",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

@Article{JSYML::Huuskonen1995,
  title =        "Comparing Notions of Similarity for Uncountable
                 Models",
  author =       "Taneli Huuskonen",
  pages =        "1153--1167",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

@Article{JSYML::JudahR1995:1168,
  title =        "Amoeba Reals",
  author =       "Haim Judah and Miroslav Repick{\'y}",
  pages =        "1168--1185",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

@Article{JSYML::Blass1995,
  title =        "An Induction Principle and Pigeonhole Principles for
                 {K}-Finite Sets",
  author =       "Andreas Blass",
  pages =        "1186--1193",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

@Article{JSYML::Dekov1995,
  title =        "Embeddability and the Word Problem",
  author =       "Deko V. Dekov",
  pages =        "1194--1198",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

@Article{JSYML::Hjorth1995,
  title =        "A Dichotomy for the Definable Universe",
  author =       "Greg Hjorth",
  pages =        "1199--1207",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

@Article{JSYML::Damnjanovic1995,
  title =        "Minimal Realizability of Intuitionistic Arithmetic and
                 Elementary Analysis",
  author =       "Zlatan Damnjanovic",
  pages =        "1208--1241",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

@Article{JSYML::JezekM1995,
  title =        "The Existence of Finitely Based Lower Covers for
                 Finitely Based Equational Theories",
  author =       "Jaroslav Je{\v{z}}ek and George F. McNulty",
  pages =        "1242--1250",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

@Article{JSYML::Pillay1995,
  title =        "The Geometry of Forking and Groups of Finite {Morley}
                 Rank",
  author =       "Anand Pillay",
  pages =        "1251--1259",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

@Article{JSYML::HyttinenS1995,
  title =        "Constructing Strongly Equivalent Nonisomorphic Models
                 for Unsuperstable Theories, Part {B}",
  author =       "Tapani Hyttinen and Saharon Shelah",
  pages =        "1260--1272",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

@Article{JSYML::HjorthK1995,
  title =        "Analytic Equivalence Relations and {Ulm}-Type
                 Classifications",
  author =       "Greg Hjorth and Alexander S. Kechris",
  pages =        "1273--1300",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

@Article{JSYML::LipshitzP1995,
  title =        "An Analogue of {Hilbert's} Tenth Problem for
                 {$p$}-adic Entire Functions",
  author =       "Leonard Lipshitz and Thanases Pheidas",
  pages =        "1301--1309",
  journal =      jsyml,
  year =         "1995",
  month =        dec,
  volume =       "60",
  number =       "4",
}

Volume 61, Number 1
                              March 1996

@Article{JSYML::Zanardo1996,
  title =        "Branching-Time Logic with Quantification over Brances:
                 The Point of View of Modal Logic",
  author =       "Alberto Zanardo",
  pages =        "1--39",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::Hjorth1996:40,
  title =        "Variations of the {Martin-Solovay} Tree",
  author =       "Greg Hjorth",
  pages =        "40--51",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::Weiermann1996,
  title =        "How to Characterize Provably Total Functions by Local
                 Predicativity",
  author =       "Andreas Weiermann",
  pages =        "52--69",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::Oosten1996,
  title =        "Two Remarks on the {Lifschitz} Realizability Topos",
  author =       "Jaap van Oosten",
  pages =        "70--79",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::BartoszynskiRS1996,
  title =        "Adding One Random Real",
  author =       "Tomek Bartoszy{\'n}ski and Andrzej Ros{\l}anowski and
                 Saharon Shelah",
  pages =        "80--90",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::Beklemishev1996,
  title =        "Bimodal Logics for Extensions of Arithmetical
                 Theories",
  author =       "Lev D. Beklemishev",
  pages =        "91--124",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::Rathjen1996,
  title =        "Monotone Inductive Definitions in Explicit
                 Mathematics",
  author =       "Michael Rathjen",
  pages =        "125--146",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::Otto1996,
  title =        "The Expressive Power of Fixed-Point Logic with
                 Counting",
  author =       "Martin Otto",
  pages =        "147--176",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
  references =   "\cite{LICS::AbiteboulV1989}
                 \cite{JCSS::AbiteboulV1991} \cite{STOC::AbiteboulV1991}
                 \cite{FOCS::CaiFI1989} \cite{IC::DawarLW1995}
                 \cite{FOCS::Gurevich1983} \cite{JCSS::Immerman1982}
                 \cite{IC::Immerman1986} \cite{LICS::KolaitisV1992}
                 \cite{LICS::Otto1994} \cite{STOC::Vardi1982}",
}

@Article{JSYML::HalbeisenJ1996,
  title =        "Mathias Absoluteness and the {Ramsey} Property",
  author =       "Lorenz Halbeisen and Haim Judah",
  pages =        "177--194",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::Hirokawa1996,
  title =        "The proofs of {$\alpha \rightarrow \alpha$} in
                 {$P-W$}",
  author =       "Sachio Hirokawa",
  pages =        "195--211",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::Westerstahl1996,
  title =        "Self-Commuting Quantifiers",
  author =       "Dag Westerst{\aa}hl",
  pages =        "212--224",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::Apter1996,
  title =        "{AD} and Patterns of Singular Cardinals below
                 {$\Theta$}",
  author =       "Arthur W. Apter",
  pages =        "225--235",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::CasanovasF1996,
  title =        "Omitting Types in Incomplete Theories",
  author =       "Enrique Casanovas and Rafel Farr{\'e}",
  pages =        "236--245",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::Scheepers1996,
  title =        "Lebesque Measure Zero Subsets of the Real Line and an
                 Infinite Game",
  author =       "Marion Scheepers",
  pages =        "246--249",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::GroveHK1996,
  title =        "Asymptotic Conditional Probabilities: The Non-Unary
                 Case",
  author =       "Adam J. Grove and Joseph Y. Halpern and Daphne
                 Koller",
  pages =        "250--276",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
  references =   "\cite{SICOMP::GroveHK1996} \cite{STOC::GroveHK1992}
                 \cite{IC::KolaitisV1990}",
}

@Article{JSYML::Khelif1996,
  title =        "Existentially Closed Models via Constructible Sets:
                 There are {$2^{\aleph_0}$} Existentially Closed
                 Pairwise Non Elementarily Equivalent Existentially
                 Closed Ordered Groups",
  author =       "Anatole Khelif",
  pages =        "277--284",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::Kotlarski1996,
  title =        "An Addition to {Rosser's} Theorem",
  author =       "Henryk Kotlarski",
  pages =        "285--292",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::Welch1996,
  title =        "Countable Unions of Simple Sets in the Core Model",
  author =       "P. D. Welch",
  pages =        "293--312",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::JechS1996:313,
  title =        "Possible pcf Algebras",
  author =       "Thomas Jech and Saharon Shelah",
  pages =        "313--317",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

@Article{JSYML::Newelski1996,
  title =        "On Atomic or Saturated Sets",
  author =       "Ludomir Newelski",
  pages =        "318--333",
  journal =      jsyml,
  year =         "1996",
  month =        mar,
  volume =       "61",
  number =       "1",
}

Volume 61, Number 2
                              June 1996

@Article{JSYML::Brady1996:353,
  title =        "Gentzenizations of Relevant Logics Without
                 Distribution. {I}",
  author =       "Ross T. Brady",
  pages =        "353--378",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
}

@Article{JSYML::Brady1996:379,
  title =        "Gentzenizations of Relevant Logics Without
                 Distribution. {II}",
  author =       "Ross T. Brady",
  pages =        "379--401",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
}

@Article{JSYML::Brady1996:402,
  title =        "Gentzenizations of Relevant Logics With Distribution",
  author =       "Ross T. Brady",
  pages =        "402--420",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
}

@Article{JSYML::Zakharyaschev1996,
  title =        "Canonical Formulas for {K4}. {Part II}: Confinal
                 Subframe Logics",
  author =       "Michael Zakharyaschev",
  pages =        "421--449",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
  references =   "\cite{JLOGC::ChagrovZ1995} \cite{JSYML::ChagrovZ1993}
                 \cite{JSYML::Chagrova1991}
                 \cite{JSYML::Zakharyaschev1992}",
}

@Article{JSYML::GroszekMS1996,
  title =        "The {Sacks} Density Theorem and
                 {$\Sigma_2$}-Bounding",
  author =       "Marcia J. Groszek and Michael E. Mytilinaios and
                 Theodore A. Slaman",
  pages =        "450--467",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
}

@Article{JSYML::Glass1996,
  title =        "On Power Set in Explicit Mathematics",
  author =       "Thomas Gla{\ss}",
  pages =        "468--489",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
  references =   "\cite{APAL::FefermanJ1996} \cite{APAL::Glass1995}
                 \cite{APAL::GlassS1996} \cite{APAL::Takahashi1989}",
}

@Article{JSYML::Maddy1996,
  title =        "Set Theoretic Naturalism",
  author =       "Penelope Maddy",
  pages =        "490--514",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
}

@Article{JSYML::CegielskiMR1996,
  title =        "Definability and Decidability Issues in Extensions of
                 the Integers with the Divisibility Predicate",
  author =       "Patrick Cegielski and Yuri Matiyasevich and Denis
                 Richard",
  pages =        "515--540",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
  references =   "\cite{NDJFL::Cegielski1989} \cite{APAL::ComptonH1990}
                 \cite{IC::Younger1967}",
}

@Article{JSYML::Lafont1996,
  title =        "The Undecidability of Second Order Linear Logic
                 Without Exponentials",
  author =       "Yves Lafont",
  pages =        "541--548",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
  references =   "\cite{TCS::Girard1987} \cite{IC::LafontS1996}
                 \cite{APAL::LincolnMS1992} \cite{LICS::LincolnSS1995}
                 \cite{JLOGC::Schellinx1991}",
}

@Article{JSYML::GurevichS1996,
  title =        "On Finite Rigid Structures",
  author =       "Yuri Gurevich and Saharon Shelah",
  pages =        "549--562",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
  references =   "\cite{LICS::Stolboushkin1992}",
}

@Article{JSYML::FinkelR1996,
  title =        "Stretchings",
  author =       "O. Finkel and J. P. Ressayre",
  pages =        "563--585",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
}

@Article{JSYML::Kanovei1996,
  title =        "On External {Scott} Algebras in Nonstandard Models of
                 {Peano} Arithmetic",
  author =       "Vladimir Kanovei",
  pages =        "586--607",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
}

@Article{JSYML::Purdy1996,
  title =        "Fluted Formulas and the Limits of Decidability",
  author =       "William C. Purdy",
  pages =        "608--620",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
  references =   "\cite{NDJFL::Purdy1991}",
}

@Article{JSYML::SchimmerlingS1996,
  title =        "Fine Structure for Tame Inner Models",
  author =       "E. Schimmerling and J. R. Steel",
  pages =        "621--639",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
  references =   "\cite{APAL::Schimmerling1995}
                 \cite{APAL::Schimmerling1993}",
}

@Article{JSYML::Ensley1996,
  title =        "Automorphism-Invariant Measures on
                 {$\aleph_0$}-Categorical Structures Without the
                 Independence Property",
  author =       "Douglas E. Ensley",
  pages =        "640--652",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
}

@Article{JSYML::Sher1996,
  title =        "Did {Tarski} Commit ``{Tarski's} Fallacy''?",
  author =       "G. Y. Sher",
  pages =        "653--686",
  journal =      jsyml,
  year =         "1996",
  month =        jun,
  volume =       "61",
  number =       "2",
  references =   "\cite{NDJFL::Garci-Carpinero1993}
                 \cite{JSYML::McGee1992}",
}

Volume 61, Number 3
                            September 1996

@Article{JSYML::Taylor1996,
  title =        "Intuitionistic Sets and Ordinals",
  author =       "Paul Taylor",
  pages =        "705--744",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
  references =   "\cite{TCS::Pitts1994} \cite{LICS::Taylor1991}",
}

@Article{JSYML::VeldmanW1996,
  title =        "Some Elementary Results in Intuitionistic Model
                 Theory",
  author =       "Wim Veldman and Frank Waaldijk",
  pages =        "745--767",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
  references =   "\cite{JSYML::Dalen1992}",
}

@Article{JSYML::Avigad1996,
  title =        "On the Relationship Between {$\mathit{ATR}_0$} and
                 {$\widehat{\mathit{ID}}_{<\omega}$}",
  author =       "Jeremy Avigad",
  pages =        "768--779",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
  references =   "\cite{JSYML::Pudlak1985} \cite{JSYML::Simpson1994}",
}

@Article{JSYML::GilchristS1996,
  title =        "Identities on Cardinals less than~{$\aleph_\omega$}",
  author =       "M. Gilchrist and S. Shelah",
  pages =        "780--787",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
  references =   "\cite{APAL::ShelahS1987}",
}

@Article{JSYML::Horsten1996,
  title =        "Reflecting in Epistemic Arithmetic",
  author =       "Leon Horsten",
  pages =        "788--801",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
  references =   "\cite{APAL::Flagg1986} \cite{NDJFL::Horsten1994}
                 \cite{NDJFL::Owings1973}",
}

@Article{JSYML::HellaLV1996,
  title =        "The Hierarchy Theorem for Generalized Quantifiers",
  author =       "Lauri Hella and Kerkko Luosto and Jouko
                 V{\"a}{\"a}n{\"a}nen",
  pages =        "802--817",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
  references =   "\cite{JLOGC::Dawar1995} \cite{IC::Hella1996}
                 \cite{APAL::Hella1989} \cite{APAL::KolaitisV1995}
                 \cite{NDJFL::KrynickiLV1984}",
}

@Article{JSYML::JagerS1996,
  title =        "Some Theories with Positive Induction of Ordinal
                 Strength~{$\varphi\omega0$}",
  author =       "Gerhard J{\"a}ger and Thomas Strahm",
  pages =        "818--842",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
  references =   "\cite{APAL::FefermanJ1993} \cite{APAL::FefermanJ1996}
                 \cite{APAL::Jager1993} \cite{APAL::JagerS1995}
                 \cite{APAL::Sieg1985}",
}

@Article{JSYML::GhilardiM1996,
  title =        "Relational and Partial Variable Sets and Basic
                 Predicate Logic",
  author =       "Silvio Ghilardi and Giancarlo Meloni",
  pages =        "843--872",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
}

@Article{JSYML::Dow1996,
  title =        "On {Boolean} Subalgebras
                 of~{$\mathcal{P}(\omega_1)/\mathrm{ctble}$}",
  author =       "Alan Dow",
  pages =        "873--879",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
}

@Article{JSYML::Ambos-SpiesFLL1996,
  title =        "Decidability of the Two-Quantifier Theory of the
                 Recursively Enumerable Weak Truth-Table Degrees and
                 Other Distributive Upper Semi-Lattices",
  author =       "Klaus Ambos-Spies and Peter A. Fejer and Steffen Lempp
                 and Manuel Lerman",
  pages =        "880--905",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
  references =   "\cite{IC::Ambos-Spies1985}
                 \cite{TCS::Ambos-SpiesHS1994}
                 \cite{JSYML::Ambos-SpiesNS1992}
                 \cite{JSYML::JockuschS1993} \cite{TCS::ShoreS1992}
                 \cite{JSYML::Stoss1983}",
}

@Article{JSYML::Hjorth1996:906,
  title =        "On {$\aleph_1$} Many Minimal Models",
  author =       "Greg Hjorth",
  pages =        "906--919",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
}

@Article{JSYML::Laflamme1996,
  title =        "A Few Special Ordinal Ultrafilters",
  author =       "Claude Laflamme",
  pages =        "920--927",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
  references =   "\cite{JSYML::Baumgartner1995}
                 \cite{APAL::Laflamme1989}",
}

@Article{JSYML::Iovino1996,
  title =        "The {Morley} Rank of a {Banach} Space",
  author =       "Jos{\'e} Iovino",
  pages =        "928--941",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
}

@Article{JSYML::Zambella1996,
  title =        "Notes on Polynomially Bounded Arithmetic",
  author =       "Domenico Zambella",
  pages =        "942--966",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
  references =   "\cite{APAL::Ajtai1983} \cite{APAL::Krajicek1990}
                 \cite{APAL::KrajicekPT1991}",
}

@Article{JSYML::ChowdhuryLT1996,
  title =        "A Definable Continuous Rank for Nonmultidimensional
                 Superstable Theories",
  author =       "Ambar Chowdhury and James Loveys and Predrag
                 Tanovi{\'c}",
  pages =        "967--984",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
  references =   "\cite{APAL::HarnikH1984} \cite{APAL::HrushovskiS1989}
                 \cite{JSYML::Pillay1994} \cite{JSYML::Saffe1984}
                 \cite{APAL::ShelahB1989}",
}

@Article{JSYML::LaskowskiM1996,
  title =        "Stable Structures with Few Substructures",
  author =       "Michael C. Laskowski and Laura L. Mayer",
  pages =        "985--1005",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
  references =   "\cite{JSYML::MacphersonS1991}",
}

@Article{JSYML::AlechinaL1996,
  title =        "Generalized Quantification as Substructural Logic",
  author =       "Natasha Alechina and Michiel van Lambalgen",
  pages =        "1006--1044",
  journal =      jsyml,
  year =         "1996",
  month =        sep,
  volume =       "61",
  number =       "3",
  references =   "\cite{APAL::BlassG1986} \cite{JSYML::Chagrova1991}
                 \cite{JSYML::SambinV1989} \cite{JSYML::Lambalgen1990}
                 \cite{JSYML::Lambalgen1992}",
}

Volume 61, Number 4
                            December 1996

@Article{JSYML::Gabbay1996,
  title =        "Fibred Semantics and the Weaving of Logics. {Part~1}.
                 {Modal} and Intuitionistic Logics",
  author =       "D. M. Gabbay",
  pages =        "1057--1120",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
  references =   "\cite{NDJFL::Bull1965} \cite{JSYML::Bull1966}
                 \cite{JSYML::Ewald1986} \cite{NDJFL::FingerG1996}
                 \cite{NDJFL::Font1986} \cite{JLOGC::GorankoP1992}
                 \cite{JSYML::JonesP1985} \cite{APAL::Wijesekera1990}",
}

@Article{JSYML::DelonF1996,
  title =        "Some Model Theory for Almost Real Closed Fields",
  author =       "Fran{\c{c}}oise Delon and Rafel Farr{\'e}",
  pages =        "1121--1152",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
  references =   "\cite{JSYML::DelonL1989} \cite{JSYML::Farre1993}",
}

@Article{JSYML::CifuentesSM1996,
  title =        "Cauchy Completeness in Elementary Logic",
  author =       "J. C. Cifuentes and A. M. Sette and D. Mundici",
  pages =        "1153--1157",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
  references =   "\cite{APAL::Caicedo1993} \cite{JSYML::Mundici1986}",
}

@Article{JSYML::Kumabe1996,
  title =        "Minimal Complementation Below Uniform Upper Bounds for
                 the Arithmetical Degrees",
  author =       "Masahiro Kumabe",
  pages =        "1158--1192",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
  references =   "\cite{JSYML::Cooper1989} \cite{JSYML::EndertonP1970}
                 \cite{JSYML::Hodes1978} \cite{JSYML::JockuschP1978}
                 \cite{JSYML::KnightLS1984} \cite{JSYML::Kumabe1994}
                 \cite{JSYML::Lachlan1966} \cite{APAL::Lerman1985}
                 \cite{JSYML::Posner1981} \cite{JSYML::PosnerR1981}
                 \cite{JSYML::SlamanS1989} \cite{JSYML::Yates1966}",
}

@Article{JSYML::Mints1996,
  title =        "Strong Termination for the Epsilong Substitution
                 Method",
  author =       "Grigori Mints",
  pages =        "1193--1205",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
  references =   "\cite{JSYML::Kreisel1951} \cite{JSYML::Kreisel1952}
                 \cite{JSYML::Tait1965} \cite{JSYML::Tait1965}",
}

@Article{JSYML::LifschesS1996,
  title =        "Uniformization, Choice Functions and Well Orders in
                 the Class of Trees",
  author =       "Shmuel Lifsches and Saharon Shelah",
  pages =        "1206--1227",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
  references =   "\cite{JSYML::GurevichS1983}
                 \cite{JSYML::LifschesS1997}",
}

@Article{JSYML::BerarducciO1996,
  title =        "A Recursive Nonstandard Model of Normal Open
                 Induction",
  author =       "Alessandro Berarducci and Margarita Otero",
  pages =        "1228--1241",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
  references =   "\cite{APAL::MacintyreM1989} \cite{JSYML::McAloon1982}
                 \cite{JSYML::Otero1990} \cite{APAL::Otero1993}
                 \cite{JSYML::Wilmers1985}",
}

@Article{JSYML::DellundeJ1996,
  title =        "Some Characterization Theorems for Infinitary
                 Universal {Horn} Logic Without Equality",
  author =       "Pilar Dellunde and Ramon Jansana",
  pages =        "1242--1260",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
  references =   "\cite{JSYML::McNulty1977}",
}

@Article{JSYML::Shelah1996,
  title =        "If There Is an Exactly {$\lambda$}-free Abelian Group
                 There There Is an Exactly {$\lambda$}-Separable One
                 in~{$\lambda$}",
  author =       "Saharon Shelah",
  pages =        "1261--1278",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
  references =   "\cite{NDJFL::Shelah1985}",
}

@Article{JSYML::LoveysT1996,
  title =        "Countable Models of Trivial Theories Which Admit
                 Finite Coding",
  author =       "James Loveys and Predrag Tanovi{\'c}",
  pages =        "1279--1286",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
  references =   "\cite{JSYML::Hrushovski1989}",
}

@Article{JSYML::Dasgupta1996,
  title =        "Boolean Operations, {Borel} Sets, and {Hausdorff's}
                 Question",
  author =       "Abhijit Dasgupta",
  pages =        "1287--1304",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
  references =   "\cite{JSYML::Dougherty1987}",
}

@Article{JSYML::LaskowskiS1996,
  title =        "Forcing Isomorphism~{II}",
  author =       "M. C. Laskowski and S. Shelah",
  pages =        "1305--1320",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
  references =   "\cite{JSYML::BaldwinLS1993} \cite{APAL::Shelah1987}",
}

@Article{JSYML::Brady1996:1321,
  title =        "Simple Gentzenizations for the Normal Formulae of
                 Contraction-Less Logics",
  author =       "Ross T. Brady",
  pages =        "1321--1346",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
}

@Article{JSYML::CooperS1996,
  title =        "Noncappable Enumeration Degrees
                 Below~{$\mathbf{0}'_e$}",
  author =       "S. Barry Cooper and Andrea Sorbi",
  pages =        "1347--1363",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
  references =   "\cite{JSYML::Ahmad1991} \cite{JSYML::Cooper1982}
                 \cite{JSYML::Cooper1984} \cite{JSYML::McEvoy1985}
                 \cite{JSYML::McEvoyC1985} \cite{JSYML::Posner1981}
                 \cite{JSYML::Yates1966}",
}

@Article{JSYML::CalhounS1996,
  title =        "The {$\Pi_2^0$} Enumeration Degrees Are Not Dense",
  author =       "William C. Calhoun and Theodore A. Slaman",
  pages =        "1364--1379",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
  references =   "\cite{JSYML::Cooper1982} \cite{JSYML::Cooper1984}",
}

@Article{JSYML::JechS1996:1380,
  title =        "On Countably Closed Complete {Boolean} Algebras",
  author =       "Thomas Jech and Saharon Shelah",
  pages =        "1380--1386",
  journal =      jsyml,
  year =         "1996",
  month =        dec,
  volume =       "61",
  number =       "4",
}

Volume 62, Number 1
                              March 1997

@Article{JSYML::Scowcroft1997,
  title =        "More on Imaginaries in {$p$}-adic Fields",
  author =       "Philip Scowcroft",
  pages =        "1--13",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
  references =   "\cite{APAL::Belair1988} \cite{JSYML::Dries1984}
                 \cite{JSYML::Poizat1983} \cite{JSYML::ScowcroftD1988}
                 \cite{APAL::ScowcroftM1993}",
}

@Article{JSYML::Dries1997,
  title =        "{$T$}-Convexity and Tame Extensions~{II}",
  author =       "Lou van den Dries",
  pages =        "14--34",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
  references =   "\cite{JSYML::holly1995} \cite{JSYML::MarkerS1994}
                 \cite{JSYML::Pillay1994} \cite{JSYML::DriesL1995}",
}

@Article{JSYML::Zapletal1997:35,
  title =        "Splitting Number at Uncountable Cardinals",
  author =       "Jind{\v{r}}ich Zapletal",
  pages =        "35--42",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
}

@Article{JSYML::Peterson1997,
  title =        "Cardinal Functions on Ultraproducts of {Boolean}
                 Algebras",
  author =       "Douglas Peterson",
  pages =        "43--59",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
  references =   "\cite{JSYML::KeislerP1974}",
}

@Article{JSYML::Simonetta1997,
  title =        "Une Correspondance entre Anneaux Partiels et Groupes",
  author =       "Patrick Simonetta",
  pages =        "60--78",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
  references =   "\cite{APAL::Berline1986}",
}

@Article{JSYML::Shavrukov1997,
  title =        "Undecidability in Diagonalizable Algebras",
  author =       "V. Yu. Shavrukov",
  pages =        "79--116",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
  references =   "\cite{NDJFL::ArtemovB1993}
                 \cite{APAL::Beklemishev1994} \cite{JACM::CockeM1964}
                 \cite{APAL::Dzaparidze1993} \cite{APAL::Shavrukov1993}
                 \cite{NDJFL::Zambella1992} \cite{NDJFL::Zambella1994}",
}

@Article{JSYML::BurkeM1997,
  title =        "Ideals and Combinatorial Principles",
  author =       "Douglas Burke and Yo Matsubara",
  pages =        "117--122",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
  references =   "\cite{JSYML::BaumgartnerTW1977}
                 \cite{APAL::BurkeM1990} \cite{JSYML::Gitik1985}
                 \cite{APAL::Goldreing1992} \cite{JSYML::Johnson1989}
                 \cite{APAL::Schimmerling1995}",
}

@Article{JSYML::Maurin1997,
  title =        "The Theory of Integer Multiplication with Order
                 Restricted to Primes Is Decidable",
  author =       "Fran{\c{c}}oise Maurin",
  pages =        "123--130",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
  references =   "\cite{APAL::ComptonH1990} \cite{SICOMP::FerranteR1975}
                 \cite{JSYML::Robinson1949}",
}

@Article{JSYML::Wolter1997,
  title =        "Completeness and Decidability of Tense Logics Closely
                 Related to Logics Above~{K4}",
  author =       "Frank Wolter",
  pages =        "131--158",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
  references =   "\cite{JSYML::Bull1968} \cite{JSYML::Fine1974}
                 \cite{JSYML::Fine1985} \cite{JLOGC::GorankoP1992}
                 \cite{JSYML::KrachtW1991} \cite{NDJFL::Rybakov1992}
                 \cite{JLOGC::Wolter1994} \cite{JSYML::Wolter1995}
                 \cite{NDJFL::Wolter1996}
                 \cite{JSYML::Zakharyaschev1992}",
}

@Article{JSYML::Chapuis1997,
  title =        "{$\forall$}-Free Metabelian Groups",
  author =       "Olivier Chapuis",
  pages =        "159--174",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
  references =   "\cite{JSYML::Pheidas1994}",
}

@Article{JSYML::ForemanM1997,
  title =        "A Very Weak Square Principle",
  author =       "Matthew Foreman and Menachem Magidor",
  pages =        "175--196",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
  references =   "\cite{JSYML::Ben-DavidM1986} \cite{APAL::BurkeM1990}
                 \cite{APAL::ForemanM1997} \cite{JSYML::Magidor1982}",
}

@Article{JSYML::Kontostathis1997,
  title =        "The Combinatorics of the Splitting Theorem",
  author =       "Kyriakos Kontostathis",
  pages =        "197--224",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
  references =   "\cite{JSYML::HajekK1989}
                 \cite{JSYML::Mytilinaios1989}",
}

@Article{JSYML::HirschH1997:225,
  title =        "Step by Step---Building Representations in Algebraic
                 Logic",
  author =       "Robin Hirsch and Ian Hodkinson",
  pages =        "225--279",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
}

@Article{JSYML::Zapletal1997:280,
  title =        "Small Forcings and {Cohen} Reals",
  author =       "Jind{\v{r}}ich Zapletal",
  pages =        "280--284",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
}

@Article{JSYML::Liu1997,
  title =        "Analytic Cell Decomposition and the Closure of
                 {$p$}-adic Semianalytic Sets",
  author =       "Nianzheng Liu",
  pages =        "285--303",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
  references =   "\cite{JSYML::Macintyre1976}
                 \cite{JSYML::ScowcroftD1988}",
}

@Article{JSYML::Vedo1997,
  title =        "Asymptotic Probabilities for Second-Order Existential
                 {Kahr-Moore-Wang} Sentences",
  author =       "Anne Ved{\o}",
  pages =        "304--319",
  journal =      jsyml,
  year =         "1997",
  month =        mar,
  volume =       "62",
  number =       "1",
  references =   "\cite{JSYML::Fagin1976} \cite{JSYML::Gurevich1976}
                 \cite{STOC::KolaitisV1987} \cite{IC::KolaitisV1990}
                 \cite{IC::KolaitisV1992} \cite{FOCS::PacholskiZ1989}
                 \cite{JSYML::PacholskiS1991}
                 \cite{LICS::PacholskiS1991}",
}

Volume 62, Number 2
                              June 1997

@Article{JSYML::Hjorth1997,
  title =        "Some Applications of Coarse Inner Model Theory",
  author =       "Greg Hjorth",
  pages =        "337--365",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
  references =   "\cite{APAL::ForemanM1997} \cite{APAL::Hauser1995}
                 \cite{JSYML::Harrington1978} \cite{JSYML::Hjorth1993}
                 \cite{BSYML::Hjorth1996} \cite{JSYML::Hjorth1996}
                 \cite{APAL::Jackson1990} \cite{BSYML::Steel1995}",
}

@Article{JSYML::Bagaria1997,
  title =        "A Characterization of {Martin's} Axiom in Terms of
                 Absoluteness",
  author =       "Joan Bagaria",
  pages =        "366--372",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
  references =   "\cite{NDJFL::HarringtonS1985}
                 \cite{JSYML::JudahR1995}",
}

@Article{JSYML::Hamkins1997,
  title =        "Canonical Seeds and {Prikiry} Trees",
  author =       "Joel David Hamkins",
  pages =        "373--396",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
  references =   "\cite{APAL::Blass1988} \cite{JSYML::Henle1990}
                 \cite{JSYML::Kafkoulis1994} \cite{JSYML::Kenas1976}",
}

@Article{JSYML::Leonhardi1997,
  title =        "Generalized Nonsplitting in the Recursively Enumerable
                 Degrees",
  author =       "Steven D. Leonhardi",
  pages =        "397--437",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
  references =   "\cite{JSYML::Ambos-SpiesL1986}
                 \cite{JSYML::Ambos-SpiesL1989}
                 \cite{APAL::Ambos-SpiesS1993}
                 \cite{APAL::Ambos-SpiesS1989}
                 \cite{APAL::CooperHHLS1991} \cite{JSYML::Lachlan1966}
                 \cite{APAL::Slaman1991} \cite{JSYML::Yates1966}",
}

@Article{JSYML::Pincus1997,
  title =        "The {Dense Linear Ordering Principle}",
  author =       "David Pincus",
  pages =        "438--456",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
}

@Article{JSYML::Krajicek1997,
  title =        "Interpolation Theorems, Lower Bounds for Proof
                 Systems, and Independence Results for Bounded
                 Arithmetic",
  author =       "Jan Kraj{\'\i}{\v{c}}ek",
  pages =        "457--486",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
  references =   "\cite{TCS::BussT1988} \cite{STOC::Cook1975}
                 \cite{JSYML::CookR1979} \cite{JSYML::Craig1957}
                 \cite{TCS::Haken1985} \cite{STOC::KarchmerW1988}
                 \cite{APAL::Krajicek1989} \cite{JSYML::Krajicek1994}
                 \cite{JSYML::KrajicekP1989} \cite{APAL::Mundici1984}
                 \cite{JSYML::Parikh1971} \cite{APAL::ParisW1987}
                 \cite{JSYML::ParisWW1988} \cite{SICOMP::Pratt1975}
                 \cite{STOC::RazborovR1994}",
}

@Article{JSYML::Pillay1997,
  title =        "Remarks on {Galois} Cohomology and Definability",
  author =       "Anand Pillay",
  pages =        "487--492",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
  references =   "\cite{JSYML::Boizat1983}",
}

@Article{JSYML::Iovino1997,
  title =        "Definability in Functional Analysis",
  author =       "Jos{\'e} Iovino",
  pages =        "493--505",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
}

@Article{JSYML::Titani1997,
  title =        "Completeness of Global Intuitionistic Set Theory",
  author =       "Satoko Titani",
  pages =        "506--528",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
  references =   "\cite{JSYML::Powell1975} \cite{APAL::TakeutiT1987}",
}

@Article{JSYML::Kremer1997:529,
  title =        "On the Complexity of Propositional Quantification in
                 Intuitionistic Logic",
  author =       "Philip Kremer",
  pages =        "529--544",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
}

@Article{JSYML::Gottlob1997,
  title =        "Relativized Logspace and Generalized Quantifiers over
                 Finite Ordered Structures",
  author =       "Georg Gottlob",
  pages =        "545--574",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
  preliminary =  "lics::Gottlob1995",
  references =   "\cite{APAL::BlassG1986} \cite{JCSS::Buss1988}
                 \cite{MST::ChangK1995} \cite{JLOGC::Dawar1995}
                 \cite{APAL::Hella1989} \cite{LICS::Hella1992}
                 \cite{SICOMP::Immerman1987} \cite{SICOMP::Immerman1988}
                 \cite{APAL::KolaitisV1995} \cite{MST::LadnerL1976}
                 \cite{TCS::LadnerLS1975} \cite{MFCS::Lange1984}
                 \cite{TCS::Lynch1978} \cite{MST::Ogiwara1994}
                 \cite{JLOGC::Stewart1991} \cite{JLOGC::Stewart1991}
                 \cite{JCSS::Stewart1992} \cite{ACTAI::Szelpcsenyi1988}
                 \cite{SICOMP::Wagner1990} \cite{JSYML::Walkoe1970}
                 \cite{MST::Wilson1987} \cite{SICOMP::Wilson1990}",
}

@Article{JSYML::Strahm1997,
  title =        "Polynomial Time Operations in Explicit Mathematics",
  author =       "Thomas Strahm",
  pages =        "575--594",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
  references =   "\cite{APAL::CookU1993} \cite{JSYML::Feferman1988}
                 \cite{APAL::FefermanJ1993} \cite{APAL::FefermanJ1996}
                 \cite{JSYML::Ferreira1994} \cite{APAL::GlassS1997}
                 \cite{APAL::JagerS1995}",
}

@Article{JSYML::SchillingZ1997,
  title =        "Louveau's Theorem for the Descriptive Set Theory of
                 Internal Sets",
  author =       "Kenneth Schilling and Bo{\v{s}}ko
                 {\v{Z}}ivaljevi{\'c}",
  pages =        "595--607",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
  references =   "\cite{JSYML::KeislerKML1989}
                 \cite{APAL::Zivaljevic1991}
                 \cite{JSYML::Zivaljevic1991}
                 \cite{JSYML::Zivaljevic1992}",
}

@Article{JSYML::Vardi1997,
  title =        "Special Selection in Logic in Computer Science",
  author =       "Moshe Y. Vardi",
  pages =        "608",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
}

@Article{JSYML::Lynch1997,
  title =        "Infinitary Logics and Very Sparse Random Graphs",
  author =       "James F. Lynch",
  pages =        "609--623",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
  preliminary =  "LICS::Lynch1993",
  references =   "\cite{JCSS::ChandraH1982} \cite{JACM::ComptonR1995}
                 \cite{JSYML::Fagin1976} \cite{IC::KolaitisV1992}",
}

@Article{JSYML::MartinS1997,
  title =        "The Order Types of Termination Orderings on Monadic
                 Terms, Strings and Multisets",
  author =       "Ursula Martin and Elizabeth Scott",
  pages =        "624--635",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
  preliminary =  "LICS::MartinS1993",
  references =   "\cite{SCP::CherifaL1987} \cite{TCS::Dershowitz1982}
                 \cite{JSYMC::Dershowitz1987}
                 \cite{LICS::DershowitzO1988} \cite{ACTAI::DickKM1990}
                 \cite{APAL::Gallier1991} \cite{TCS::martin1989}
                 \cite{JSYMC::Sims1987} \cite{JSYMC::Zantema1994}",
}

@Article{JSYML::NarendranPS1997,
  title =        "On the Unification Problem for {Cartesian} Closed
                 Categories",
  author =       "Paliath Narendran and Frank Pfenning and Richard
                 Statman",
  pages =        "636--647",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
  preliminary =  "LICS::NarendranPS1993",
  references =   "\cite{MSCS::BruceCL1992} \cite{POPL::Cosmo1992}
                 \cite{JSYMC::Fages1987} \cite{SICOMP::JouannaudK1986}
                 \cite{JACM::PetersonS1981} \cite{JFP::Rittri1991}
                 \cite{JFP::RuncimanT1991} \cite{JACM::Stickel1981}",
}

@Article{JSYML::Pentus1997,
  title =        "Product-Free {Lambek} Calculus and Context-Free
                 Grammars",
  author =       "Mati Pentus",
  pages =        "648--660",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
  preliminary =  "LICS::Pentus1993",
  references =   "\cite{IC::Cohen1967} \cite{LICS::Pentus1993}",
}

@Article{JSYML::StolboushkinN1997,
  title =        "{$y = 2x$} vs. {$y = 3x$}",
  author =       "Alexei Stolboushkin and Damian Niwi{\'n}ski",
  pages =        "661--672",
  journal =      jsyml,
  year =         "1997",
  month =        jun,
  volume =       "62",
  number =       "2",
  preliminary =  "LICS::NiwinskiS1993:172",
  references =   "\cite{APAL::Ajtai1983} \cite{JCSS::Barrington1989}
                 \cite{SCTC::BarringtonIS1988}
                 \cite{JCSS::BarringtonIS1990}
                 \cite{JCSS::BarringtonCTS1989} \cite{MST::FurstSS1984}
                 \cite{IC::GurevichL1984} \cite{SICOMP::Immerman1987}
                 \cite{LICS::Nurmonen1996} \cite{MFCS::Peladeau1989}
                 \cite{ICALP::StraubingTT1989}",
}

Volume 62, Number 3
                            September 1997

@Article{JSYML::Coquand1997,
  title =        "Minimal Invariant Spaces in Formal Topology",
  author =       "Thierry Coquand",
  pages =        "689--698",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  references =   "\cite{JSYML::Sambin1995}",
}

@Article{JSYML::AdamekJMR1997,
  title =        "Finitary Sketches",
  author =       "J. Ad{\'a}mek and P. T. Johnstone and J. A. Makowsky
                 and J. Rosick{\'y}",
  pages =        "699--707",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  references =   "\cite{MSCS::AdamekR1995} \cite{JSYML::Reyes1972}",
}

@Article{JSYML::BonetPR1997,
  title =        "Lower Bounds for Cutting Planes Proofs with Small
                 Coefficients",
  author =       "Maria Bonet and Toniann Pitassi and Ran Raz",
  pages =        "708--728",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  preliminary =  "STOC::BonetPR1995",
  references =   "\cite{FOCS::Ajtai1988} \cite{JSYML::Buss1987}
                 \cite{JSYML::CookR1979} \cite{TCS::Haken1985}
                 \cite{LICS::ImpagliazzoPU1994}
                 \cite{STOC::KarchmerW1988} \cite{JSYML::Krajicek1997}
                 \cite{JSYML::Krajicek1994} \cite{JSYML::ParisWW1988}
                 \cite{FOCS::RazW1989} \cite{STOC::RazW1990}
                 \cite{STOC::RazborovR1994} \cite{STOC::BeameIKPPW1992}
                 \cite{STOC::BeameL1992} \cite{STOC::Yao1979}",
}

@Article{JSYML::BrodaD1997,
  title =        "Compact Bracket Abstraction in Combinatory Logic",
  author =       "Sabine Broda and Lu{\'\i}s Damas",
  pages =        "729--740",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  references =   "\cite{JSYML::Abdali1976} \cite{TCS::Hindley1989}
                 \cite{LICS::Statman1986} \cite{JSYML::Turner1979}
                 \cite{SPE::Turner1979}",
}

@Article{JSYML::Burke1997,
  title =        "Precipitous Towers of Normal Filters",
  author =       "Douglas R. Burke",
  pages =        "741--754",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  references =   "\cite{APAL::Jech1984} \cite{JSYML::JechMMP1980}",
}

@Article{JSYML::DanosJS1997,
  title =        "A New Deconstructive Logic: Linear Logic",
  author =       "Vincent Danos and Jean-Baptiste Joinet and Harold
                 Schellinx",
  pages =        "755--807",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  references =   "\cite{IC::BarbaneraB1996} \cite{TCS::Girard1987}
                 \cite{MSCS::Girard1991} \cite{APAL::Girard1993}
                 \cite{POPL::Griffin1990} \cite{JSYML::Kreisel1951}
                 \cite{APAL::Krivine1994} \cite{TCS::Krivine1994}
                 \cite{FOCS::Leivant1983} \cite{LICS::Murthy1991}
                 \cite{LICS::Murthy1992} \cite{JSYML::Parigot1997}
                 \cite{TCS::Parigot1992} \cite{LICS::Parigot1993}
                 \cite{TCS::Plotkin1975} \cite{APAL::Vauzeilles1993}",
}

@Article{JSYML::Friedman1997,
  title =        "Coding without Fine Structure",
  author =       "Sy D. Friedman",
  pages =        "808--815",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  references =   "\cite{APAL::Friedman1994}",
}

@Article{JSYML::HirschH1997:816,
  title =        "Complete Representations in Algebraic Logic",
  author =       "Robin Hirsch and Ian Hodkinson",
  pages =        "816--847",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
}

@Article{JSYML::LifschesS1997,
  title =        "Peano Arithmetic Maybe Not Be Interpretable in the
                 Monadic Theory of Linear Orders",
  author =       "Shmuel Lifsches and Saharon Shelah",
  pages =        "848--872",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  references =   "\cite{NDJFL::BaldwinS1985}
                 \cite{JSYML::GurevichMS1983}
                 \cite{JSYML::GurevichMS1989}
                 \cite{JSYML::GurevichS1983}",
}

@Article{JSYML::Mcleish1997,
  title =        "The Forth Part of the Back and Forth Map in Countable
                 Homogeneous Structures",
  author =       "S. J. Mcleish",
  pages =        "873--890",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  references =   "\cite{APAL::CherlinHL1985}",
}

@Article{JSYML::Rosicky1997,
  title =        "Accessible Categories, Saturation and Categoricity",
  author =       "Ji{\v{r}}{\'\i} Rosick{\'y}",
  pages =        "891--901",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
}

@Article{JSYML::ShelahT1997,
  title =        "The Cofinality Spectrum of the Infinite Symmetric
                 Group",
  author =       "Saharon Shelah and Simon Thomas",
  pages =        "902--916",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  references =   "\cite{APAL::BurkeM1990} \cite{NDJFL::SharpT1994}",
}

@Article{JSYML::Erdelyi-Szabo1997,
  title =        "Decidability of {Scott's} Model as an Ordered
                 {$\mathbb{Q}$}-Vectorspace",
  author =       "Mikl{\'o}s Erd{\'e}lyi-Szab{\'o}",
  pages =        "917--924",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  references =   "\cite{APAL::Scowcroft1984} \cite{APAL::Scowcroft1986}
                 \cite{APAL::Scowcroft1988} \cite{APAL::Scowcroft1990}",
}

@Article{JSYML::Woods1997,
  title =        "Counting Finite Models",
  author =       "Alan R. Woods",
  pages =        "925--949",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  references =   "\cite{IC::BlassGK1985} \cite{APAL::ComptonHS1987}
                 \cite{JSYML::Fagin1976}",
}

@Article{JSYML::Zakharyaschev1997,
  title =        "Canonical Formulas for~{K4}. {Part~III}: The Finite
                 Model Property",
  author =       "Michael Zakharyaschev",
  pages =        "950--975",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  references =   "\cite{JSYML::Fine1985} \cite{JSYML::Kracht1993}
                 \cite{NDJFL::Rybakov1992} \cite{JSYML::SambinV1989}
                 \cite{JSYML::Venthem1976}
                 \cite{JSYML::Zakharyaschev1992}
                 \cite{JSYML::Zakharyaschev1996}",
}

@Article{JSYML::Scheepers1997,
  title =        "Rothberger's Property and Partition Relations",
  author =       "Marion Scheepers",
  pages =        "976--980",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
}

@Article{JSYML::Pudlak1997,
  title =        "Lower Bounds for Resolution and Cutting Plane Proofs
                 and Monotone Computations",
  author =       "Pavel Pudl{\'a}k",
  pages =        "981--998",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  references =   "\cite{FOCS::Ajtai1988} \cite{STOC::BeameIKPPW1992}
                 \cite{STOC::BonetPR1995} \cite{JSYML::Craig1957}
                 \cite{JSYML::Craig1957} \cite{TCS::Haken1985}
                 \cite{FOCS::Haken1995} \cite{LICS::ImpagliazzoPU1994}
                 \cite{JSYML::Krajicek1997} \cite{JSYML::Krajicek1994}
                 \cite{JSYML::ParisWW1988} \cite{TCS::Schnorr1976}",
}

@Article{JSYML::Oikkonen1997,
  title =        "Undefinability of {$\kappa$}-Well-Orderings
                 in~{$L_{\infty\kappa}$}",
  author =       "Juha Oikkonen",
  pages =        "999--1020",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  references =   "\cite{JSYML::MeklerV1993} \cite{JSYML::Oikkonen1990}
                 \cite{NDJFL::Tuuri1992}",
}

@Article{JSYML::PalmgrenS1997,
  title =        "A Logical Presentation of the Continuous Functionals",
  author =       "Erik Palmgren and Viggo Stoltenberg-Hansen",
  pages =        "1021--1034",
  journal =      jsyml,
  year =         "1997",
  month =        sep,
  volume =       "62",
  number =       "3",
  references =   "\cite{APAL::Berger1993} \cite{LICS::LassezM1990}
                 \cite{JSYML::Normann1983} \cite{LICS::PalmgrenS1995}",
}

Volume 62, Number 4
                            December 1997

@Article{JSYML::Kremer1997:1057,
  title =        "Defining Relevant Implication in a Propositionally
                 Quantified~\textbf{S4}",
  author =       "Philip Kremer",
  pages =        "1057--1069",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
}

@Article{JSYML::PillayT1997,
  title =        "Amalgamations Preserving {$\aleph_0$}-Categoricity",
  author =       "Anand Pillay and Akito Tsuboi",
  pages =        "1070--1074",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{APAL::EvansH1993} \cite{JSYML::Pillay1991}
                 \cite{JSYML::Schmerl1980}",
}

@Article{JSYML::HaskellM1997,
  title =        "A Version of {$o$}-Minimality for the {$p$}-adics",
  author =       "Deirdre Haskell and Dugald Macpherson",
  pages =        "1075--1092",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{APAL::Dries1989} \cite{APAL::HaskellM1994}
                 \cite{JSYML::Macintyre1976}
                 \cite{APAL::MacphersonS1996}
                 \cite{JSYML::Scowcroft1988}
                 \cite{JSYML::ScowcroftD1988}",
}

@Article{JSYML::Holly1997,
  title =        "Prototypes for Definable Subsets of Algebraically
                 Closed Value Fields",
  author =       "Jan E. Holly",
  pages =        "1093--1141",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{JSYML::Delon1984} \cite{JSYML::Dries1984}
                 \cite{APAL::haskellM1994} \cite{JSYML::Holly1995}
                 \cite{JSYML::Macintyre1976} \cite{JSYML::Poizat1983}
                 \cite{JSYML::apal}",
}

@Article{JSYML::Jager1997,
  title =        "Power Types in Explicit Mathematics",
  author =       "Gerhard J{\"a}ger",
  pages =        "1142--1146",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{APAL::FefermanJ1996} \cite{JSYML::Glass1996}",
}

@Article{JSYML::Dalen1997,
  title =        "How Connected Is the Intuitionistic Continuum?",
  author =       "Dirk van Dalen",
  pages =        "1147--1150",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
}

@Article{JSYML::GilchristS1997,
  title =        "The Consistency of {$\mathrm{ZFC} + 2^{\aleph_0} >
                 \aleph_\omega + \mathcal{F}(\aleph_2) =
                 \mathcal{F}(\aleph_\omega)$}",
  author =       "Martin Gilchrist and Saharon Shelah",
  pages =        "1151--1160",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
}

@Article{JSYML::Goldring1997,
  title =        "The Entire {NS} Ideal on~{$\mathcal{P}_\gamma \mu$}
                 Can Be Precipitous",
  author =       "Noa Goldring",
  pages =        "1161--1172",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{APAL::Goldring1992}",
}

@Article{JSYML::Bianconi1997,
  title =        "Nondefiniability Results for Expansions of the Field
                 of Real Numbers by the Exponential Function and by the
                 Restricted Sine Function",
  author =       "Ricardo Bianconi",
  pages =        "1173--1178",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{JSYML::Bianconi1992} \cite{APAL::Macintyre1991}
                 \cite{JSYML::Dries1988}",
}

@Article{JSYML::Mildenberger1997,
  title =        "Non-Constructive {Galois-Tukey} Connections",
  author =       "Heike Mildenberger",
  pages =        "1179--1186",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
}

@Article{JSYML::JainS1997,
  title =        "The Structure of Intrinsic Complexity of Learning",
  author =       "Sanjay Jain and Arun Sharma",
  pages =        "1187--1201",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{JCSS::Angluin1980} \cite{IC::Angluin1980}
                 \cite{JACM::Blum1967} \cite{MST::Case1974}
                 \cite{ECOLT::FreivaldsKS1995} \cite{IC::Gold1967}
                 \cite{COLT::JainS1994} \cite{JCSS::JainS1996}",
}

@Article{JSYML::Lafont1997,
  title =        "The Finite Model Property for Various Fragments of
                 Linear Logic",
  author =       "Yves Lafont",
  pages =        "1202--1208",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{JSYML::Abrusci1991} \cite{TCS::Girard1987}
                 \cite{LICS::Kopylov1995} \cite{JSYML::Lafont1996}
                 \cite{IC::LafontS1996} \cite{APAL::LincolnMSS1992}",
}

@Article{JSYML::AspertiC1997,
  title =        "A Sufficient Condition for Completability of Partial
                 Combinatory Algebras",
  author =       "Andrea Asperti and Agata Ciabattoni",
  pages =        "1209--1214",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{JSYML::Bethke1987}",
}

@Article{JSYML::DowneyL1997,
  title =        "Contiguity and Distributivity in the Enumerable
                 {Turing} Degrees",
  author =       "Rodney G. Downey and Steffen Lempp",
  pages =        "1215--1240",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{JSYML::Ambos-SpiesF1988}
                 \cite{APAL::Ambos-SpiesS1989} \cite{APAL::CholakD1993}
                 \cite{APAL::DowneyR1989} \cite{JSYML::DowneyS1995}
                 \cite{APAL::DowneyS1989} \cite{APAL::DowneyS1986}
                 \cite{APAL::DowneyS1993} \cite{JSYML::DowneyW1986}
                 \cite{JSYML::LermanR1984} \cite{APAL::slaman1991}
                 \cite{JSYML::Stoss1983}",
}

@Article{JSYML::Jin1997,
  title =        "Type Two Cuts, Bad Cuts and Very Bad Cuts",
  author =       "Renling Jin",
  pages =        "1241--1252",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{JSYML::Henson1974} \cite{JSYML::Jin1992}
                 \cite{JSYML::Jin1992} \cite{JSYML::Jin1992}
                 \cite{APAL::JinK1993} \cite{JSYML::JinS1994}
                 \cite{JSYML::KeislerL1991} \cite{JSYML::Schmerl1995}",
}

@Article{JSYML::ScheepersW1997,
  title =        "Variations on a Game of {Gale (III)}: Remainder
                 Strategies",
  author =       "Marion Scheepers and William Weiss",
  pages =        "1253--1264",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{TCS::Scheepers1994}",
}

@Article{JSYML::Bell1997,
  title =        "Zorn's Lemma and Complete {Boolean} Algebras in
                 Intuitionistic Type Theories",
  author =       "J. L. Bell",
  pages =        "1265--1279",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{JSYML::Bell1983} \cite{JSYML::Monro1983}",
}

@Article{JSYML::Bes1997,
  title =        "Undecidable Extensions of {B\"uchi} Arithmetic and
                 {Cobham-Sem\"enov} Theorem",
  author =       "Alexis B{\`e}s",
  pages =        "1280--1296",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{MST::Cobham1969} \cite{JSYML::ElgotR1966}
                 \cite{APAL::MichauxV1996} \cite{STACS::Villemaire1992}
                 \cite{TCS::Villemaire1992}",
}

@Article{JSYML::RoslanowskiS1997,
  title =        "Simple Forcing Notions and Forcing Axioms",
  author =       "Andrzej Ros{\l}anowski and Saharon Shelah",
  pages =        "1297--1314",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{JSYML::JudahR1995}",
}

@Article{JSYML::NegriV1997,
  title =        "Tychonoff's Theorem in the Framework of Formal
                 Topologies",
  author =       "Sara Negri and Silvio Valentini",
  pages =        "1315--1332",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{FACS::BackhouseCMS1989}
                 \cite{JSYML::Coquand1992} \cite{TCS::SambinVV1996}",
}

@Article{JSYML::Kanovei1997,
  title =        "An {Ulm}-Type Classification Theorem for Equivalence
                 Relations in {Solovay} Model",
  author =       "Vladimir Kanovei",
  pages =        "1333--1351",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{JSYML::Hjorth1995} \cite{JSYML::HjorthK1995}",
}

@Article{JSYML::MartinO1997,
  title =        "Scientific Discovery Based on Belief Revision",
  author =       "Eric Martin and Daniel Osherson",
  pages =        "1352--1370",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{JSYML::AlchourronGM1985}
                 \cite{JSYML::Hansson1994} \cite{JSYML::OshersonSW1991}
                 \cite{JSYML::Rott1993}",
}

@Article{JSYML::McGee1997,
  title =        "The Complexity of the Modal Predicate Logic of ``True
                 in Every Transitive Model of~{ZF}''",
  author =       "Vann McGee",
  pages =        "1371--1378",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{JSYML::BoolosM1987} \cite{JSYML::McGee1994}",
}

@Article{JSYML::BagariaW1997,
  title =        "{$\tilde{\Delta}^1_n$} Sets of Reals",
  author =       "Joan Bagaria and W. Hugh Woodin",
  pages =        "1379--1428",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{APAL::Bagaria1994} \cite{NDJFL::HarringtonS1985}
                 \cite{APAL::JudahS1989} \cite{JSYML::JudahS1993}",
}

@Article{JSYML::Toffalori1997,
  title =        "Wildness Implies Undecidability for Lattices over
                 Group Rings",
  author =       "Carlo Toffalori",
  pages =        "1429--1447",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{APAL::Toffalori1997}",
}

@Article{JSYML::MoerdijkP1997,
  title =        "Minimal Models of {Heyting} Arithmetic",
  author =       "Ieke Moerdijk and Erik Palmgren",
  pages =        "1448--1460",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  references =   "\cite{APAL::Moerdijk1995} \cite{JSYML::Palmgren1993}
                 \cite{APAL::Palmgren1995}",
}

@Article{JSYML::Parigot1997,
  title =        "Proofs of Strong Normalisation for Second Order
                 Classical Natural Deduction",
  author =       "Michel Parigot",
  pages =        "1461--1479",
  journal =      jsyml,
  year =         "1997",
  month =        dec,
  volume =       "62",
  number =       "4",
  preliminary =  "lics::Parigot1993",
  references =   "\cite{JSYML::Coquand1995} \cite{JSYML::DanosJS1997}
                 \cite{CAAP::DeGroote1994} \cite{JACM::FortuneLO1983}
                 \cite{TCS::Girard1987} \cite{MSCS::Girard1991}
                 \cite{POPL::Griffin1990} \cite{MFCS::Parigot1990}
                 \cite{TCS::Plotkin1975}",
}

Volume 63, Number 1
                              March 1998

@Article{JSYML::HarringtonS1998,
  title =        "Codable Sets and Orbits of Computably Enumerable
                 Sets",
  author =       "Leo Harrington and Robert I. Soare",
  pages =        "1--28",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{JSYML::Lachlan1968} \cite{JSYML::Maass1982}
                 \cite{JSYML::Maass1985} \cite{JSYML::Schoenfield1976}
                 \cite{BSYML::Soare1996}",
}

@Article{JSYML::MillerS1998,
  title =        "Orthogonal Familes of Real Sequences",
  author =       "Arnold W. Miller and Juris Steprans",
  pages =        "29--49",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
}

@Article{JSYML::Boffa1998,
  title =        "More on an Undecidability Result of {Bateman},
                 {Jockusch} and {Woods}",
  author =       "M. Boffa",
  pages =        "50",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{JSYML::BatemanJW1993}",
}

@Article{JSYML::Hamkins1998,
  title =        "Small Forcing Makes Any Cardinal Superdestructable",
  author =       "Joel David Hamkins",
  pages =        "51--58",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{JSYML::Hamkins1994}",
}

@Article{JSYML::LachlanS1998,
  title =        "Models of Arithmetic and Subuniform Bounds for the
                 Arithmetic Sets",
  author =       "Alistair H. Lachlan and Robert I. Soare",
  pages =        "59--72",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{JSYML::Friedberg1957} \cite{JSYML::KnightLS1984}
                 \cite{JSYML::Knight1983} \cite{JSYML::Knight1990}
                 \cite{JSYML::LachlanS1994} \cite{APAL::Lerman1985}",
}

@Article{JSYML::EiterG1998,
  title =        "On the Expressiveness of Frame Satisfiability and
                 Fragments of Second-Order Logic",
  author =       "Thomas Eiter and Georg Gottlob",
  pages =        "73--82",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{APAL::EiterGG1996} \cite{JSYML::Fagin1976}
                 \cite{APAL::HalpernK1994} \cite{IC::KolaitisV1990}
                 \cite{JCSS::Leivant1989}",
}

@Article{JSYML::LipshitzR1998,
  title =        "One-Dimensional Fibers of Rigid Subanalytic Sets",
  author =       "L. Lipshitz and Z. Robinson",
  pages =        "83--88",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{APAL::HaskellM1994}
                 \cite{APAL::MacphersonS1998}",
}

@Article{JSYML::Bigelow1998,
  title =        "Supplements of Bounded Permutation Groups",
  author =       "Stephen Bigelow",
  pages =        "89--102",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{APAL::BurkeM1990}",
}

@Article{JSYML::LifschesS1998,
  title =        "Uniformization and {Skolem} Functions in the Class of
                 Trees",
  author =       "Shmuel Lifsches and Saharon Shelah",
  pages =        "103--127",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{JSYML::GurevichS1983}
                 \cite{JSYML::LifschesS1996}",
}

@Article{JSYML::BalcerzakRS1998,
  title =        "Ideals without~{CCC}",
  author =       "Marek Balcerzak and Andrzej Ros{\l}anowski and Saharon
                 Shelah",
  pages =        "128--148",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{JSYML::JudahR1995} \cite{APAL::JudahS1989}",
}

@Article{JSYML::Apter1998,
  title =        "Laver Indestructability and the Class of Compact
                 Ordinals",
  author =       "Arthur W. Apter",
  pages =        "149--157",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{APAL::Apter1983} \cite{JSYML::ApterG1998}
                 \cite{JSYML::DiPriscoH1978} \cite{JSYML::Spector1981}",
}

@Article{JSYML::Friedman1998,
  title =        "Generic Saturation",
  author =       "Sy D. Friedman",
  pages =        "158--162",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
}

@Article{JSYML::AndrekaGN1998,
  title =        "Relativised Quantification: Some Canonical Varieties
                 of Sequence-Set Algebras",
  author =       "Hajnal Andr{\'e}ka and Robert Goldblatt and Istv{\'a}n
                 N{\'e}meti",
  pages =        "163--184",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{APAL::Goldblatt1989}",
}

@Article{JSYML::Spreen1998,
  title =        "On Effective Topological Spaces",
  author =       "Dieter Spreen",
  pages =        "185--221",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{JSYML::Beeson1975} \cite{JSYML::Beeson1976}
                 \cite{JSYML::BeesonS1984} \cite{APAL::Berger1993}
                 \cite{IC::BakkerZ1982} \cite{TCS::EgliC1976}
                 \cite{IC::GianniniL1984} \cite{JSYML::Lachlan1964}
                 \cite{STOC::ScioreT1978} \cite{ICALP::Scott1982}
                 \cite{ICALP::Smyth1983} \cite{IC::Spreen1995}
                 \cite{APAL::Spreen1996} \cite{JSYML::YoungC1983}",
}

@Article{JSYML::Nasso1998,
  title =        "Pseudo-Superstructures as Nonstandard Universes",
  author =       "Mauro Di Nasso",
  pages =        "222--236",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{JCSS::AmericaR1989} \cite{JSYML::BallardH1992}
                 \cite{JSYML::Fletcher1989}",
}

@Article{JSYML::DelonS1998,
  title =        "Undecidable Wreath Products and Skew Power Series
                 Fields",
  author =       "Fran{\c{c}}oise Delon and Patrick Simonetta",
  pages =        "237--246",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{JSYML::DelonR1988} \cite{JSYML::DelonS1998}",
}

@Article{JSYML::Antonelli1998,
  title =        "Extensional Quotients for Type Theory and the
                 Consistency Property for~{NF}",
  author =       "Gian Aldo Antonelli",
  pages =        "247--261",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{JSYML::Hailperin1944}",
}

@Article{JSYML::Schilling1998,
  title =        "Vanishing {Borel} Sets",
  author =       "Kenneth Schilling",
  pages =        "262--268",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{JSYML::KeislerKM1989} \cite{JSYML::KeislerL1991}
                 \cite{JSYML::Zivaljevic1990}",
}

@Article{JSYML::Polacik1998,
  title =        "Propositional Quantification in the Monadic Fragment
                 of Intuitionistic Logic",
  author =       "Tomasz Po{\l}acik",
  pages =        "269--300",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
  references =   "\cite{JSYML::GhilardiZ1995} \cite{JSYML::Pitts1992}
                 \cite{NDJFL::Polacik1998}",
}

@Article{JSYML::NowikSW1998,
  title =        "The Algebraic Sum of Sets of Real Numbers with Strong
                 Measure Zero Sets",
  author =       "Andrej Nowik and Marion Scheepers and Tomasz Weiss",
  pages =        "301--324",
  journal =      jsyml,
  year =         "1998",
  month =        mar,
  volume =       "63",
  number =       "1",
}

Volume 63, Number 2
                              June 1998

@Article{JSYML::Lurie1998,
  title =        "The Effective Content of Surreal Algebra",
  author =       "Jacob Lurie",
  pages =        "337--371",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{NDJFL::Harkleroad1990}",
}

@Article{JSYML::BallardB1998,
  title =        "Definability and Descent",
  author =       "David Ballard and William Boshuck",
  pages =        "372--378",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{APAL::Zawadowski1995}",
}

@Article{JSYML::BesR1998,
  title =        "Undecidable Extensions of {Skolem} Arithmetic",
  author =       "Alexis B{\`e}s and Denis Richard",
  pages =        "379--401",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JSYML::CegielskiMR1996} \cite{JSYML::Maurin1997}
                 \cite{JSYML::Putman1957} \cite{JSYML::Robinson1949}",
}

@Article{JSYML::DAquino1998,
  title =        "Solving {Pell} Equations Locally in Models
                 of~{$I\Delta_0$}",
  author =       "Paola D'Aquino",
  pages =        "402--410",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{APAL::BerarducciI1991} \cite{JSYML::DAquino1992}
                 \cite{APAL::DAquino1996} \cite{APAL::Kaye1990}
                 \cite{JSYML::Parikh1971} \cite{JSYML::ParisWW1988}",
}

@Article{JSYML::ArslanovLS1998,
  title =        "Relative Enumerability in the Difference Hierarchy",
  author =       "Marat M. Arslanov and Geoffrey L. LaForte and Theodore
                 A. Slaman",
  pages =        "411--420",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{APAL::ArslanovLS1996}
                 \cite{JSYML::JockuschS1984} \cite{JSYML::Putnam1965}",
}

@Article{JSYML::Belegradek1998,
  title =        "On Minimal Structures",
  author =       "Oleg V. Belegradek",
  pages =        "421--426",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JSYML::BaldwinL1971}",
}

@Article{JSYML::BaldwinS1998,
  title =        "{DOP} and {FCP} in Generic Structures",
  author =       "John T. Baldwin and Saharon Shelah",
  pages =        "427--438",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{APAL::BaldwinS1996}",
}

@Article{JSYML::Priest1998,
  title =        "The Representation Theories of Elementarily Equivalent
                 Rings",
  author =       "Mike Priest",
  pages =        "439--450",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{APAL::Rothmaler1997} \cite{JSYML::rothmaler1983}
                 \cite{JSYML::SabbaghE1971} \cite{APAL::Ziegler1984}",
}

@Article{JSYML::HurkensMMMW1998,
  title =        "The Logic of Recursive Equations",
  author =       "A. J. C. Hurkens and Monica McArthur and Yiannis N.
                 Moschovakis and Lawrence S. Moss and Glen T. Whitney",
  pages =        "451--478",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{MFCS::BloomE1994} \cite{ICALP::courcelleKV1974}
                 \cite{ICALP::BakkerR1972} \cite{TCS::Esik1997}
                 \cite{ICALP::MannaV1972} \cite{JSYML::Moschovakis1989}
                 \cite{IC::Moschovakis1991}",
}

@Article{JSYML::Marx1998,
  title =        "Amalgamation in Relational Algebras",
  author =       "Maarten Marx",
  pages =        "479--484",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JSYML::Nemeti1985}",
}

@Article{JSYML::DebonisN1998,
  title =        "There Are {$2^{\aleph_0}$} Many Almost Strongly
                 Minimal Generalized {$n$}-gons That Do Not Interpret an
                 Infinite Group",
  author =       "Mark J. Debonis and Ali Nesin",
  pages =        "485--508",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JSYML::Herwig1995} \cite{APAL::Hrushovski1993}
                 \cite{JSYML::Nesin1991}",
}

@Article{JSYML::Rathjen1998,
  title =        "Explicit Mathematics with the Monotone Fixed Point
                 Principle",
  author =       "Michael Rathjen",
  pages =        "509--542",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JSYML::Cantini1986} \cite{APAL::GlassRS1997}
                 \cite{JSYML::John1986} \cite{JSYML::Rathjen1996}
                 \cite{APAL::Takahashi1989}",
}

@Article{JSYML::Bays1998,
  title =        "Some Two-Cardinal Results for {O}-Minimal Theories",
  author =       "Timothy Bays",
  pages =        "543--548",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
}

@Article{JSYML::HamkinsS1998,
  title =        "Superdestructibility: {A} Dual to {Laver's}
                 Indestructibility",
  author =       "Joel David Hamkins and Saharon Shelah",
  pages =        "549--554",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JSYML::Hamkins1998}",
}

@Article{JSYML::Langholm1998,
  title =        "A Strong Version of {Herbrand's} Theorem for Introvert
                 Sentences",
  author =       "Tore Langholm",
  pages =        "555--569",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JLOGP::DowlingG1984} \cite{JACM::McAllester1993}
                 \cite{CACM::Shostak1978}",
}

@Article{JSYML::BaisalovP1998,
  title =        "Paires de Structures {O}-Minimales",
  author =       "Yerzhan Baisalov and Bruno Poizat",
  pages =        "570--578",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JSYML::MarkerS1994} \cite{JSYML::Pillay1994}
                 \cite{JSYML::Poizat1983}",
}

@Article{JSYML::BridgesM1998,
  title =        "Sequentially Continuous Linear Mappings in
                 Constructive Analysis",
  author =       "Douglas Bridges and Ray Mines",
  pages =        "579--583",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JSYML::Ishihara1991}
                 \cite{JSYML::Ishihara1992}",
}

@Article{JSYML::LaflammeZ1998,
  title =        "The {Rudin-Blass} Ordering of Ultrafilters",
  author =       "Claude Laflamme and Jian-Ping Zhu",
  pages =        "584--592",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JSYML::Blass1972} \cite{NDJFL::Blass1986}
                 \cite{APAL::BlassS1987} \cite{NDJFL::Canjar1989}
                 \cite{APAL::Laflamme1989}",
}

@Article{JSYML::Mildenberger1998,
  title =        "Changing Cardinal Invariants of the Reals without
                 Changing Cardinals or the Reals",
  author =       "Heike Mildenberger",
  pages =        "593--599",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JSYML::Mitchell1974}",
}

@Article{JSYML::BerardiBC1998,
  title =        "On the Computational Content of the {Axiom of
                 Choice}",
  author =       "Stefano Berardi and Marc Bezem and Thierry Coquand",
  pages =        "600--622",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JSYML::Coquand1995} \cite{JSYML::HowardK1966}
                 \cite{JSYML::Kleene1945} \cite{JSYML::Kreisel1962}",
}

@Article{JSYML::MacCaull1998,
  title =        "Relational Semantics and a Relational Proof System for
                 Full {Lambek} Calculus",
  author =       "Wendy MacCaull",
  pages =        "623--637",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JSYML::AllweinD1993} \cite{JAR::DAgostinoG1994}
                 \cite{JSYML::OnoK1985} \cite{JSYKL::Orlowska1992}",
}

@Article{JSYML::Benedikt1998,
  title =        "Ultrafilters which Extend Measures",
  author =       "Michael Benedikt",
  pages =        "638--662",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{APAL::Blass1989}",
}

@Article{JSYML::Hjorth1998,
  title =        "An Absoluteness Principle for {Borel} Sets",
  author =       "Greg Hjorth",
  pages =        "663--693",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JSYML::Harrington1978} \cite{JSYML::Makkai1981}
                 \cite{JSYML::Sami1984}",
}

@Article{JSYML::Schlatter1998,
  title =        "A Many Permutation Group Result for Unstable
                 Theories",
  author =       "Mark D. Schlatter",
  pages =        "694--708",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
}

@Article{JSYML::Takeuti1998,
  title =        "Frege Proof System and {$\mathrm{TNC}^\circ$}",
  author =       "Gaisi Takeuti",
  pages =        "709--738",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JCSS::BarringtonIS1990} \cite{STOC::Buss1987}
                 \cite{JSYML::Buss1987} \cite{APAL::Buss1991}
                 \cite{SICOMP::BussCGR1992} \cite{LICS::Clote1990}
                 \cite{STOC::Cook1975} \cite{JSYML::CookR1977}
                 \cite{STOC::KarchmerW1988} \cite{JSYML::KrajicekP1989}
                 \cite{STOC::RazW1990}",
}

@Article{JSYML::HaskellM1998,
  title =        "A Note on Valuation Definable Expansions of Fields",
  author =       "Deirdre Haskell and Dugald Macpherson",
  pages =        "739--743",
  journal =      jsyml,
  year =         "1998",
  month =        jun,
  volume =       "63",
  number =       "2",
  references =   "\cite{JSYML::Belair1991} \cite{APAL::cherlinD1983}
                 \cite{APAL::HaskellM1994} \cite{JSYML::Holly1995}
                 \cite{APAL::MacphersonS1996}
                 \cite{JSYML::MarkerPP1992}",
}

Volume 63, Number 3
                            September 1998

@Article{JSYML::Morgan1998,
  title =        "Higher Gap Morasses, {IA}: Gap-Two Morasses and
                 Condensation",
  author =       "Charles Morgan",
  pages =        "753--787",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{APAL::Velleman1987}",
}

@Article{JSYML::Pillay1998,
  title =        "Definability and Definable Groups in Simple Theories",
  author =       "Anand Pillay",
  pages =        "788--796",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{APAL::KimP1977}",
}

@Article{JSYML::ChongY1998,
  title =        "{$\Sigma_2$} Induction and Infinite Injury Priority
                 Argument, Part~{I}: Maximal Sets and the Jump
                 Operator",
  author =       "C. T. Chong and Yue Yang",
  pages =        "797--814",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{APAL::ChongM1990} \cite{JSYML::GroszekMS1996}
                 \cite{JSYML::Mytilinaios1989}
                 \cite{JSYML::MytilinaiosS1989} \cite{JSYML::Yang1995}",
}

@Article{JSYML::Korner1998,
  title =        "Automorphisms Moving All Non-Algebraic Points and an
                 Application to~{NF}",
  author =       "Friederike K{\"o}rner",
  pages =        "815--830",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{JSYML::Boffa1977} \cite{JSYML::Hailperin1944}
                 \cite{JSYML::Henson1969} \cite{APAL::KayeKK1991}
                 \cite{JSYML::Quine1953}",
}

@Article{JSYML::Avron1998,
  title =        "Multiplicative Conjunction and an Algebraic Meaning of
                 Contraction and Weakening",
  author =       "A. Avron",
  pages =        "831--859",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{JSYML::Avron1984} \cite{TCS::Avron1988}
                 \cite{NDJFL::Avron1990} \cite{NDJFL::Avron1991}
                 \cite{JLOGC::Avron1992} \cite{TCS::Girard1987}",
}

@Article{JSYML::TakeutiY1998,
  title =        "Forcing on Bounded Arithmetic~{II}",
  author =       "Gaisi Takeuti and Masahiro Yasumoto",
  pages =        "860--868",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{FOCS::Ajtai1988} \cite{STOC::Ajtai1994}",
}

@Article{JSYML::DekkersBB1998,
  title =        "Completeness of the Propositions-as-Types
                 Interpretation of Intuitionistic Logic into Illative
                 Combinatory Logic",
  author =       "Wil Dekkers and Martin Bunder and Henk Barendregt",
  pages =        "869--890",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{JSYML::BarendregtBD1993}",
}

@Article{JSYML::Gao1998,
  title =        "On Automorphism Groups of Countable Structures",
  author =       "Su Gao",
  pages =        "891--896",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{JSYML::Makkai1981} \cite{JSYML::ShelahTV1993}",
}

@Article{JSYML::Arai1998,
  title =        "Variations on a Theme by {Weiermann}",
  author =       "Toshiyasu Arai",
  pages =        "897--925",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{APAL::Arai1998} \cite{APAL::Arai1991}
                 \cite{APAL::Buchholz1987} \cite{APAL::Buccholz1995}
                 \cite{APAL::FriedmanS1995} \cite{APAL::Sommer1995}
                 \cite{JSYML::Weiermann1996}",
}

@Article{JSYML::Kim1998,
  title =        "A Note on {Lascar} Strong Types in Simple Theories",
  author =       "Byunghan Kim",
  pages =        "926--936",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{APAL::KimP1998} \cite{JSYML::Lascar1982}
                 \cite{JSYML::PillayP1987}",
}

@Article{JSYML::Cunningham1998,
  title =        "The Fine Structure of Real Mice",
  author =       "Daniel W. Cunningham",
  pages =        "937--994",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{APAL::Cunningham1998}
                 \cite{APAL::Cunningham1995}",
}

@Article{JSYML::Wagner1998,
  title =        "Small Fields",
  author =       "Frank O. Wagner",
  pages =        "995--1002",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{JSYML::Wagner1991}",
}

@Article{JSYML::MatsubaraS1998,
  title =        "Nowhere Precipitousness of Some Ideals",
  author =       "Yo Matsubara and Masahiro Shioya",
  pages =        "1003--1006",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{APAL::BurkeM1990} \cite{JSYML::GalvinJM1978}
                 \cite{JSYML::Johnson1988}",
}

@Article{JSYML::ParisV1998,
  title =        "Proof Systems for Probabilistic Uncertain Reasoning",
  author =       "J. Paris and A. Vencovsk{\'a}",
  pages =        "1007--1039",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{LICS::FaginHM1988}",
}

@Article{JSYML::MatetP1998,
  title =        "Ideals over~{$\omega$} and Cardinal Invariants of the
                 Continuum",
  author =       "P. Matet and J. Pawlikowski",
  pages =        "1040--1054",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{JSYML::BartoszynskiI1989}
                 \cite{JSYML::GoldsternJS1993}",
}

@Article{JSYML::Koszmider1998,
  title =        "On the Existence of Strong Chains
                 in~{$\mathcal{P}(\omega_1)/\mathrm{Fin}$}",
  author =       "Piotr Koszmider",
  pages =        "1055--1062",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{APAL::BaumgartnerS1987} \cite{APAL::Morgan1996}
                 \cite{JSYML::Velleman1984}",
}

@Article{JSYML::McAllister1998,
  title =        "Completions of~{PA}: Models and Enumerations of
                 Representable Sets",
  author =       "Alex M. McAllister",
  pages =        "1063--1082",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{JSYML::LachlanS1994} \cite{APAL::Lerman1985}",
}

@Article{JSYML::FoucheP1998,
  title =        "Kolmogorov Complexity and Symmetric Relational
                 Structures",
  author =       "W. L. Fouch{\'e} and P. H. Potgieter",
  pages =        "1083--1094",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{JSYML::Gacs1989} \cite{JSYML::Jockusch1972}
                 \cite{IC::Martin-Lof1966}",
}

@Article{JSYML::ChiariK1998,
  title =        "Witnessing Functions in Bounded Arithmetic and Search
                 Problems",
  author =       "Mario Chiari and Jan Kraj{\'\i}{\v{c}}ek",
  pages =        "1095--1115",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{APAL::Ajtai1983} \cite{JSYML::Ajtai1987}
                 \cite{STOC::Cook1971} \cite{STOC::Cook1975}
                 \cite{JSYML::CookR1979} \cite{MST::FurstSS1984}
                 \cite{APAL::KrajicekPT1991} \cite{RSA::KrajicekPW1995}
                 \cite{FOCS::Papadimitriou1990}
                 \cite{STOC::PapadimitriouY1988}
                 \cite{JSYML::Parikh1971} \cite{APAL::ParisW1987}
                 \cite{JSYML::ParisWW1988} \cite{CC::PitassiBI1993}
                 \cite{FOCS::Yao1985}",
}

@Article{JSYML::Villaveces1998,
  title =        "Chains of End Elementary Extensions of Models of Set
                 Theory",
  author =       "Andr{\'e}s Villaveces",
  pages =        "1116--1136",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
  references =   "\cite{JSYML::Boos1974} \cite{JSYML::Hauser1991}
                 \cite{JSYML::Kaufmann1983} \cite{JSYML::apal}
                 \cite{JSYML::Villaveces1998}",
}

@Article{JSYML::Koepke1998,
  title =        "Extenders, Embedding Normal Forms, and the
                 {Martin-Steel}-Theorem",
  author =       "Peter Koepke",
  pages =        "1137--1176",
  journal =      jsyml,
  year =         "1998",
  month =        sep,
  volume =       "63",
  number =       "3",
}
