default search action

combined dblp search
author search
venue search
publication search

ask others

Search dblp for Publications

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

export results for "toc:db/journals/jsyml/jsyml62.bht:"

> Home > Search

download as .bib file

@article{DBLP:journals/jsyml/AdamekJMR97,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Peter T. Johnstone and
                  Johann A. Makowsky and
                  Jir{\'{\i}} Rosick{\'{y}}},
  title        = {Finitary Sketches},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {699--707},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275568},
  doi          = {10.2307/2275568},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/AdamekJMR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/AspertiC97,
  author       = {Andrea Asperti and
                  Agata Ciabattoni},
  title        = {A Sufficient Condition for Completability of Partial Combinatory Algebras},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1209--1214},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275638},
  doi          = {10.2307/2275638},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/AspertiC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Bagaria97,
  author       = {Joan Bagaria},
  title        = {A Characterization of Martin's Axiom in Terms of Absoluteness},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {366--372},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275537},
  doi          = {10.2307/2275537},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Bagaria97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BagariaW97,
  author       = {Joan Bagaria and
                  W. Hugh Woodin},
  title        = {{\textasciitilde}Delta\({}^{\mbox{1}}\)\({}_{\mbox{n}}\) Sets of Reals},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1379--1428},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275649},
  doi          = {10.2307/2275649},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BagariaW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Bell97,
  author       = {John L. Bell},
  title        = {Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type
                  Theories},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1265--1279},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275642},
  doi          = {10.2307/2275642},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Bell97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Bes97,
  author       = {Alexis B{\`{e}}s},
  title        = {Undecidable Extensions of B{\"{u}}chi Arithmetic and Cobham-Sem{\"{e}}nov
                  Theorem},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1280--1296},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275643},
  doi          = {10.2307/2275643},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Bes97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Bianconi97,
  author       = {Ricardo Bianconi},
  title        = {Nondefiniability Results for Expansions of the Field of Real Numbers
                  by the Exponential Function and by the Restricted Sine Function},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1173--1178},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275634},
  doi          = {10.2307/2275634},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Bianconi97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BonetPR97,
  author       = {Maria Luisa Bonet and
                  Toniann Pitassi and
                  Ran Raz},
  title        = {Lower Bounds for Cutting Planes Proofs with Small Coefficients},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {708--728},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275569},
  doi          = {10.2307/2275569},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BonetPR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BrodaD97,
  author       = {Sabine Broda and
                  Lu{\'{\i}}s Damas},
  title        = {Compact Bracket Abstraction in Combinatory Logic},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {729--740},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275570},
  doi          = {10.2307/2275570},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BrodaD97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Burke97,
  author       = {Douglas R. Burke},
  title        = {Precipitous Towers of Normal Filters},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {741--754},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275571},
  doi          = {10.2307/2275571},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Burke97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BurkeM97,
  author       = {Douglas R. Burke and
                  Yo Matsubara},
  title        = {Ideals and Combinatorial Principles},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {117--122},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275734},
  doi          = {10.2307/2275734},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BurkeM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Chapuis97,
  author       = {Olivier Chapuis},
  title        = {forall-Free Metabelian Groups},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {159--174},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275737},
  doi          = {10.2307/2275737},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Chapuis97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Coquand97,
  author       = {Thierry Coquand},
  title        = {Minimal Invariant Spaces in Formal Topology},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {689--698},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275567},
  doi          = {10.2307/2275567},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Coquand97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Dalen97,
  author       = {Dirk van Dalen},
  title        = {How Connected Is the Intuitionistic Continuum?},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1147--1150},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275631},
  doi          = {10.2307/2275631},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Dalen97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/DanosJS97,
  author       = {Vincent Danos and
                  Jean{-}Baptiste Joinet and
                  Harold Schellinx},
  title        = {A New Deconstructive Logic: Linear Logic},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {755--807},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275572},
  doi          = {10.2307/2275572},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/DanosJS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/DowneyL97,
  author       = {Rodney G. Downey and
                  Steffen Lempp},
  title        = {Contiguity and Distributivity in the Enumerable Turing Degrees},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1215--1240},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275639},
  doi          = {10.2307/2275639},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/DowneyL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Dries97,
  author       = {Lou van den Dries},
  title        = {T-Convexity and Tame Extensions {II}},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {14--34},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275729},
  doi          = {10.2307/2275729},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Dries97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Erdelyi-Szabo97,
  author       = {Mikl{\'{o}}s Erd{\'{e}}lyi{-}Szab{\'{o}}},
  title        = {Decidability of Scott's Model as an Ordered Q-Vectorspace},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {917--924},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275579},
  doi          = {10.2307/2275579},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Erdelyi-Szabo97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/ForemanM97,
  author       = {Matthew Foreman and
                  Menachem Magidor},
  title        = {A Very Weak Square Principle},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {175--196},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275738},
  doi          = {10.2307/2275738},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/ForemanM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Friedman97,
  author       = {Sy D. Friedman},
  title        = {Coding without Fine Structure},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {808--815},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275573},
  doi          = {10.2307/2275573},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Friedman97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/GilchristS97,
  author       = {Martin Gilchrist and
                  Saharon Shelah},
  title        = {The Consistency of {ZFC} + 2\({}^{\mbox{aleph\({}_{\mbox{0}}\)}}\)
                  {\textgreater} aleph\({}_{\mbox{omega}}\) + F(aleph\({}_{\mbox{2}}\))
                  = F(aleph\({}_{\mbox{omega}}\))},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1151--1160},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275632},
  doi          = {10.2307/2275632},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/GilchristS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Goldring97,
  author       = {Noa Goldring},
  title        = {The Entire {NS} Ideal on P\({}_{\mbox{gamma}}\){\(\mathrm{\mu}\)}
                  Can Be Precipitous},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1161--1172},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275633},
  doi          = {10.2307/2275633},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Goldring97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Gottlob97,
  author       = {Georg Gottlob},
  title        = {Relativized Logspace and Generalized Quantifiers over Finite Ordered
                  Structures},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {545--574},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275546},
  doi          = {10.2307/2275546},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Gottlob97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Hamkins97,
  author       = {Joel David Hamkins},
  title        = {Canonical Seeds and Prikiry Trees},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {373--396},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275538},
  doi          = {10.2307/2275538},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Hamkins97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/HaskellM97,
  author       = {Deirdre Haskell and
                  Dugald Macpherson},
  title        = {A Version of o-Minimality for the p-adics},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1075--1092},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275628},
  doi          = {10.2307/2275628},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/HaskellM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/HirschH97,
  author       = {Robin Hirsch and
                  Ian M. Hodkinson},
  title        = {Step by Step - Building Representations in Algebraic Logic},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {225--279},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275740},
  doi          = {10.2307/2275740},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/HirschH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/HirschH97a,
  author       = {Robin Hirsch and
                  Ian M. Hodkinson},
  title        = {Complete Representations in Algebraic Logic},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {816--847},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275574},
  doi          = {10.2307/2275574},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/HirschH97a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Hjorth97,
  author       = {Greg Hjorth},
  title        = {Some Applications of Coarse Inner Model Theory},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {337--365},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275536},
  doi          = {10.2307/2275536},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Hjorth97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Holly97,
  author       = {Jan E. Holly},
  title        = {Prototypes for Definable Subsets of Algebraically Closed Value Fields},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1093--1141},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275629},
  doi          = {10.2307/2275629},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Holly97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Iovino97,
  author       = {Jos{\'{e}} Iovino},
  title        = {Definability in Functional Analysis},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {493--505},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275543},
  doi          = {10.2307/2275543},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Iovino97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Jager97,
  author       = {Gerhard J{\"{a}}ger},
  title        = {Power Types in Explicit Mathematics},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1142--1146},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275630},
  doi          = {10.2307/2275630},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Jager97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/JainS97,
  author       = {Sanjay Jain and
                  Arun Sharma},
  title        = {The Structure of Intrinsic Complexity of Learning},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1187--1201},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275636},
  doi          = {10.2307/2275636},
  timestamp    = {Tue, 21 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/JainS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Jin97,
  author       = {Renling Jin},
  title        = {Type Two Cuts, Bad Cuts and Very Bad Cuts},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1241--1252},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275640},
  doi          = {10.2307/2275640},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Jin97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kanovei97,
  author       = {Vladimir Kanovei},
  title        = {An Ulm-Type Classification Theorem for Equivalence Relations in Solovay
                  Model},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1333--1351},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275646},
  doi          = {10.2307/2275646},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kanovei97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kontostathis97,
  author       = {Kyriakos Kontostathis},
  title        = {The Combinatorics of the Splitting Theorem},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {197--224},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275739},
  doi          = {10.2307/2275739},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kontostathis97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Krajicek97,
  author       = {Jan Kraj{\'{\i}}cek},
  title        = {Interpolation Theorems, Lower Bounds for Proof Systems, and Independence
                  Results for Bounded Arithmetic},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {457--486},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275541},
  doi          = {10.2307/2275541},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Krajicek97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kremer97,
  author       = {Philip Kremer},
  title        = {On the Complexity of Propositional Quantification in Intuitionistic
                  Logic},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {529--544},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275545},
  doi          = {10.2307/2275545},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kremer97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kremer97a,
  author       = {Philip Kremer},
  title        = {Defining Relevant Implication in a Propositionally Quantified {S4}},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1057--1069},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275626},
  doi          = {10.2307/2275626},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kremer97a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lafont97,
  author       = {Yves Lafont},
  title        = {The Finite Model Property for Various Fragments of Linear Logic},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1202--1208},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275637},
  doi          = {10.2307/2275637},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lafont97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Leonhardi97,
  author       = {Steven D. Leonhardi},
  title        = {Generalized Nonsplitting in the Recursively Enumerable Degrees},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {397--437},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275539},
  doi          = {10.2307/2275539},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Leonhardi97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/LifschesS97,
  author       = {Shmuel Lifsches and
                  Saharon Shelah},
  title        = {Peano Arithmetic Maybe Not Be Interpretable in the Monadic Theory
                  of Linear Orders},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {848--872},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275575},
  doi          = {10.2307/2275575},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/LifschesS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Liu97,
  author       = {Nianzheng Liu},
  title        = {Analytic Cell Decomposition and the Closure of p-adic Semianalytic
                  Sets},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {285--303},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275742},
  doi          = {10.2307/2275742},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Liu97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lynch97,
  author       = {James F. Lynch},
  title        = {Infinitary Logics and Very Sparse Random Graphs},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {609--623},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275550},
  doi          = {10.2307/2275550},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lynch97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/MartinO97,
  author       = {Eric Martin and
                  Daniel N. Osherson},
  title        = {Scientific Discovery Based on Belief Revision},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1352--1370},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275647},
  doi          = {10.2307/2275647},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/MartinO97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/MartinS97,
  author       = {Ursula Martin and
                  Elizabeth Scott},
  title        = {The Order Types of Termination Orderings on Monadic Terms, Strings
                  and Multisets},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {624--635},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275551},
  doi          = {10.2307/2275551},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/MartinS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Maurin97,
  author       = {Fran{\c{c}}oise Maurin},
  title        = {The Theory of Integer Multiplication with Order Restricted to Primes
                  Is Decidable},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {123--130},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275735},
  doi          = {10.2307/2275735},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Maurin97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/McGee97,
  author       = {Vann McGee},
  title        = {The Complexity of the Modal Predicate Logic of "True in Every Transitive
                  Model of ZF"},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1371--1378},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275648},
  doi          = {10.2307/2275648},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/McGee97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Mcleish97,
  author       = {S. J. Mcleish},
  title        = {The Forth Part of the Back and Forth Map in Countable Homogeneous
                  Structures},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {873--890},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275576},
  doi          = {10.2307/2275576},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Mcleish97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Mildenberger97,
  author       = {Heike Mildenberger},
  title        = {Non-Constructive Galois-Tukey Connections},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1179--1186},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275635},
  doi          = {10.2307/2275635},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Mildenberger97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/MoerdijkP97,
  author       = {Ieke Moerdijk and
                  Erik Palmgren},
  title        = {Minimal Models of Heyting Arithmetic},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1448--1460},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275651},
  doi          = {10.2307/2275651},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/MoerdijkP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/NarendranPS97,
  author       = {Paliath Narendran and
                  Frank Pfenning and
                  Richard Statman},
  title        = {On the Unification Problem for Cartesian Closed Categories},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {636--647},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275552},
  doi          = {10.2307/2275552},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/NarendranPS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/NegriV97,
  author       = {Sara Negri and
                  Silvio Valentini},
  title        = {Tychonoff's Theorem in the Framework of Formal Topologies},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1315--1332},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275645},
  doi          = {10.2307/2275645},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/NegriV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Oikkonen97,
  author       = {Juha Oikkonen},
  title        = {Undefinability of kappa-Well-Orderings in L\({}_{\mbox{infty kappa}}\)},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {999--1020},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275584},
  doi          = {10.2307/2275584},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Oikkonen97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/PalmgrenS97,
  author       = {Erik Palmgren and
                  Viggo Stoltenberg{-}Hansen},
  title        = {A Logical Presentation of the Continuous Functionals},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {1021--1034},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275585},
  doi          = {10.2307/2275585},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/PalmgrenS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Parigot97,
  author       = {Michel Parigot},
  title        = {Proofs of Strong Normalisation for Second Order Classical Natural
                  Deduction},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1461--1479},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275652},
  doi          = {10.2307/2275652},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Parigot97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Pentus97,
  author       = {Mati Pentus},
  title        = {Product-Free Lambek Calculus and Context-Free Grammars},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {648--660},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275553},
  doi          = {10.2307/2275553},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Pentus97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Peterson97,
  author       = {Douglas Peterson},
  title        = {Cardinal Functions on Ultraproducts of Boolean Algebras},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {43--59},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275731},
  doi          = {10.2307/2275731},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Peterson97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Pillay97,
  author       = {Anand Pillay},
  title        = {Remarks on Galois Cohomology and Definability},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {487--492},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275542},
  doi          = {10.2307/2275542},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Pillay97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/PillayT97,
  author       = {Anand Pillay and
                  Akito Tsuboi},
  title        = {Amalgamations Preserving aleph\({}_{\mbox{0}}\)-Categoricity},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1070--1074},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275627},
  doi          = {10.2307/2275627},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/PillayT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Pincus97,
  author       = {David Pincus},
  title        = {The Dense Linear Ordering Principle},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {438--456},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275540},
  doi          = {10.2307/2275540},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Pincus97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Pudlak97,
  author       = {Pavel Pudl{\'{a}}k},
  title        = {Lower Bounds for Resolution and Cutting Plane Proofs and Monotone
                  Computations},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {981--998},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275583},
  doi          = {10.2307/2275583},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Pudlak97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Rosicky97,
  author       = {Jir{\'{\i}} Rosick{\'{y}}},
  title        = {Accessible Categories, Saturation and Categoricity},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {891--901},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275577},
  doi          = {10.2307/2275577},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Rosicky97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/RoslanowskiS97,
  author       = {Andrzej Roslanowski and
                  Saharon Shelah},
  title        = {Simple Forcing Notions and Forcing Axioms},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1297--1314},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275644},
  doi          = {10.2307/2275644},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/RoslanowskiS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Scheepers97,
  author       = {Marion Scheepers},
  title        = {Rothberger's Property and Partition Relations},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {976--980},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275582},
  doi          = {10.2307/2275582},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Scheepers97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/ScheepersW97,
  author       = {Marion Scheepers and
                  William Weiss},
  title        = {Variations on a Game of Gale {(III):} Remainder Strategies},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1253--1264},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275641},
  doi          = {10.2307/2275641},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/ScheepersW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/SchillingZ97,
  author       = {Kenneth Schilling and
                  Bosko Zivaljevic},
  title        = {Louveau's Theorem for the Descriptive Set Theory of Internal Sets},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {595--607},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275548},
  doi          = {10.2307/2275548},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/SchillingZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Scowcroft97,
  author       = {Philip Scowcroft},
  title        = {More on Imaginaries in p-adic Fields},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {1--13},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275728},
  doi          = {10.2307/2275728},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Scowcroft97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Shavrukov97,
  author       = {V. Yu. Shavrukov},
  title        = {Undecidability in Diagonalizable Algebras},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {79--116},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275733},
  doi          = {10.2307/2275733},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Shavrukov97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/ShelahT97,
  author       = {Saharon Shelah and
                  Simon Thomas},
  title        = {The Cofinality Spectrum of the Infinite Symmetric Group},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {902--916},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275578},
  doi          = {10.2307/2275578},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/ShelahT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Simonetta97,
  author       = {Patrick Simonetta},
  title        = {Une Correspondance entre Anneaux Partiels et Groupes},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {60--78},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275732},
  doi          = {10.2307/2275732},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Simonetta97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/StolboushkinN97,
  author       = {Alexei P. Stolboushkin and
                  Damian Niwinski},
  title        = {y = 2x vs. y = 3x},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {661--672},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275554},
  doi          = {10.2307/2275554},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/StolboushkinN97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Strahm97,
  author       = {Thomas Strahm},
  title        = {Polynomial Time Operations in Explicit Mathematics},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {575--594},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275547},
  doi          = {10.2307/2275547},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Strahm97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Titani97,
  author       = {Satoko Titani},
  title        = {Completeness of Global Intuitionistic Set Theory},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {506--528},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275544},
  doi          = {10.2307/2275544},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Titani97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Toffalori97,
  author       = {Carlo Toffalori},
  title        = {Wildness Implies Undecidability for Lattices over Group Rings},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {4},
  pages        = {1429--1447},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275650},
  doi          = {10.2307/2275650},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Toffalori97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Vardi97,
  author       = {Moshe Y. Vardi},
  title        = {Special Selection in Logic in Computer Science},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {2},
  pages        = {608},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275549},
  doi          = {10.2307/2275549},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Vardi97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Vedo97,
  author       = {Anne Ved{\o}},
  title        = {Asymptotic Probabilities for Second-Order Existential Kahr-Moore-Wang
                  Sentences},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {304--319},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275743},
  doi          = {10.2307/2275743},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Vedo97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Wolter97,
  author       = {Frank Wolter},
  title        = {Completeness and Decidability of Tense Logics Closely Related to Logics
                  Above {K4}},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {131--158},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275736},
  doi          = {10.2307/2275736},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Wolter97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Woods97,
  author       = {Alan R. Woods},
  title        = {Counting Finite Models},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {925--949},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275580},
  doi          = {10.2307/2275580},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Woods97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Zakharyaschev97,
  author       = {Michael Zakharyaschev},
  title        = {Canonical Formulas for K4, Part {III:} The Finite Model Property},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {950--975},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275581},
  doi          = {10.2307/2275581},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Zakharyaschev97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Zapletal97,
  author       = {Jindrich Zapletal},
  title        = {Splitting Number at Uncountable Cardinals},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {35--42},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275730},
  doi          = {10.2307/2275730},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Zapletal97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Zapletal97a,
  author       = {Jindrich Zapletal},
  title        = {Small Forcings and Cohen Reals},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {1},
  pages        = {280--284},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275741},
  doi          = {10.2307/2275741},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Zapletal97a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.