Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jsyml/jsyml66.bht:"
download as .bib file
@article{DBLP:journals/jsyml/AdamowiczB01,
author = {Zofia Adamowicz and
Teresa Bigorajska},
title = {Existentially Closed Structures and G{\"{o}}del's Second Incompleteness
Theorem},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {349--356},
year = {2001},
url = {https://doi.org/10.2307/2694926},
doi = {10.2307/2694926},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AdamowiczB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AlekhnovichBMP01,
author = {Michael Alekhnovich and
Samuel R. Buss and
Shlomo Moran and
Toniann Pitassi},
title = {Minimum Propositional Proof Length Is NP-Hard to Linearly Approximate},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {171--191},
year = {2001},
url = {https://doi.org/10.2307/2694916},
doi = {10.2307/2694916},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AlekhnovichBMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AndreevG01,
author = {P. V. Andreev and
E. I. Gordon},
title = {An Axiomatics for Nonstandard Set Theory, Based on von Neumann-Bernays-G{\"{o}}del
Theory},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1321--1341},
year = {2001},
url = {https://doi.org/10.2307/2695109},
doi = {10.2307/2695109},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AndreevG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Apter01,
author = {Arthur W. Apter},
title = {Supercompactness and Measurable Limits of Strong Cardinals},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {629--639},
year = {2001},
url = {https://doi.org/10.2307/2695033},
doi = {10.2307/2695033},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Apter01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Apter01a,
author = {Arthur W. Apter},
title = {Some Structural Results Concerning Supercompact Cardinals},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1919--1927},
year = {2001},
url = {https://doi.org/10.2307/2694985},
doi = {10.2307/2694985},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Apter01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ArecesBM01,
author = {Carlos Areces and
Patrick Blackburn and
Maarten Marx},
title = {Hybrid Logics: Characterization, Interpolation and Complexity},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {977--1010},
year = {2001},
url = {https://doi.org/10.2307/2695090},
doi = {10.2307/2695090},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ArecesBM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Baizhanov01,
author = {Bektur Sembiuly Baizhanov},
title = {Expansion of {A} Model of {A} Weakly O-Minimal Theory by {A} Family
of Unary Predicates},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1382--1414},
year = {2001},
url = {https://doi.org/10.2307/2695114},
doi = {10.2307/2695114},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Baizhanov01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BaumgartnerH01,
author = {James E. Baumgartner and
Andr{\'{a}}s Hajnal},
title = {Polarized Partition Relations},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {811--821},
year = {2001},
url = {https://doi.org/10.2307/2695046},
doi = {10.2307/2695046},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BaumgartnerH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bays01,
author = {Timothy Bays},
title = {On Tarski on Models},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1701--1726},
year = {2001},
url = {https://doi.org/10.2307/2694970},
doi = {10.2307/2694970},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bays01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bays01a,
author = {Timothy Bays},
title = {Partitioning Subsets of Stable Models},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1899--1908},
year = {2001},
url = {https://doi.org/10.2307/2694983},
doi = {10.2307/2694983},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bays01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BeckerJ01,
author = {Howard Becker and
Steve Jackson},
title = {Supercompactness within The Projective Hierarchy},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {658--672},
year = {2001},
url = {https://doi.org/10.2307/2695035},
doi = {10.2307/2695035},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BeckerJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Beckmann01,
author = {Arnold Beckmann},
title = {Exact Bounds for Lengths of Reductions in Typed lambda-Calculus},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1277--1285},
year = {2001},
url = {https://doi.org/10.2307/2695106},
doi = {10.2307/2695106},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Beckmann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BlaszczykS01,
author = {Aleksander Blaszczyk and
Saharon Shelah},
title = {Regular Subalgebras of Complete Boolean Algebras},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {792--800},
year = {2001},
url = {https://doi.org/10.2307/2695044},
doi = {10.2307/2695044},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BlaszczykS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BridgesM01,
author = {Douglas S. Bridges and
Ayan Mahalanobis},
title = {Bounded Variation Implies Regulated: {A} Constructive Proof},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1695--1700},
year = {2001},
url = {https://doi.org/10.2307/2694969},
doi = {10.2307/2694969},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BridgesM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Brigandt01,
author = {Ingo Brigandt},
title = {Quantifier Elimination in Tame Infinite p-ADIC Fields},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1493--1503},
year = {2001},
url = {https://doi.org/10.2307/2695121},
doi = {10.2307/2695121},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Brigandt01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BuechlerH01,
author = {Steven Buechler and
Colleen Hoover},
title = {The Classification of Small Types of Rank omega, Part {I}},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1884--1898},
year = {2001},
url = {https://doi.org/10.2307/2694982},
doi = {10.2307/2694982},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BuechlerH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BunderD01,
author = {Martin W. Bunder and
Wil Dekkers},
title = {Pure Type Systems with More Liberal Rules},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1561--1580},
year = {2001},
url = {https://doi.org/10.2307/2694962},
doi = {10.2307/2694962},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BunderD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CaicedoC01,
author = {Xavier Caicedo and
Roberto Cignoli},
title = {An Algebraic Approach to Intuitionistic Connectives},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1620--1636},
year = {2001},
url = {https://doi.org/10.2307/2694965},
doi = {10.2307/2694965},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CaicedoC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CalhounL01,
author = {William C. Calhoun and
Manuel Lerman},
title = {Embedding Finite Lattices into The Ideals of Computably Enumerable
Turing Degrees},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1791--1802},
year = {2001},
url = {https://doi.org/10.2307/2694975},
doi = {10.2307/2694975},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CalhounL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CameronH01,
author = {Peter J. Cameron and
Wilfrid Hodges},
title = {Some Combinatorics of Imperfect Information},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {673--684},
year = {2001},
url = {https://doi.org/10.2307/2695036},
doi = {10.2307/2695036},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CameronH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CasanovasZ01,
author = {Enrique Casanovas and
Martin Ziegler},
title = {Stable Theories with {A} New Predicate},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1127--1140},
year = {2001},
url = {https://doi.org/10.2307/2695097},
doi = {10.2307/2695097},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CasanovasZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CenzerN01,
author = {Douglas A. Cenzer and
Andr{\'{e}} Nies},
title = {Initial Segments of The Lattice of PI\({}^{\mbox{0}}\)\({}_{\mbox{1}}\)
Classes},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1749--1765},
year = {2001},
url = {https://doi.org/10.2307/2694972},
doi = {10.2307/2694972},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CenzerN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ChatzidakisP01,
author = {Zo{\'{e}} Chatzidakis and
Peter Pappas},
title = {A Note on The Isomorphism Problem for {SK[G]}},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1117--1120},
year = {2001},
url = {https://doi.org/10.2307/2695095},
doi = {10.2307/2695095},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ChatzidakisP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CherlinS01,
author = {Gregory L. Cherlin and
Niandong Shi},
title = {Forbidden Subgraphs and Forbidden Substructures},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1342--1352},
year = {2001},
url = {https://doi.org/10.2307/2695110},
doi = {10.2307/2695110},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CherlinS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CholakGS01,
author = {Peter Cholak and
Marcia J. Groszek and
Theodore A. Slaman},
title = {An Almost Deep Degree},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {881--901},
year = {2001},
url = {https://doi.org/10.2307/2695051},
doi = {10.2307/2695051},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CholakGS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CholakJS01,
author = {Peter Cholak and
Carl G. Jockusch Jr. and
Theodore A. Slaman},
title = {On The Strength of Ramsey's Theorem for Pairs},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {1--55},
year = {2001},
url = {https://doi.org/10.2307/2694910},
doi = {10.2307/2694910},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CholakJS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ColsonG01,
author = {Lo{\"{\i}}c Colson and
Serge Grigorieff},
title = {Syntactical Truth Predicates For Second Order Arithmetic},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {225--256},
year = {2001},
url = {https://doi.org/10.2307/2694919},
doi = {10.2307/2694919},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ColsonG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Corredor01,
author = {Luis Jaime Corredor},
title = {Fusion of 2-Elements in Groups of Finite Morley Rank},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {722--730},
year = {2001},
url = {https://doi.org/10.2307/2695041},
doi = {10.2307/2695041},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Corredor01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DavidP01,
author = {Ren{\'{e}} David and
Walter Py},
title = {lambda mu - Calculus and B{\"{o}}hm's Theorem},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {407--413},
year = {2001},
url = {https://doi.org/10.2307/2694930},
doi = {10.2307/2694930},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DavidP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Djordjevic01,
author = {Marko Djordjevic},
title = {Finite Variable Logic, Stability and Finite Models},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {837--858},
year = {2001},
url = {https://doi.org/10.2307/2695048},
doi = {10.2307/2695048},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Djordjevic01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyHLS01,
author = {Rodney G. Downey and
Denis R. Hirschfeldt and
Steffen Lempp and
Reed Solomon},
title = {A delta\({}^{\mbox{0}}\)\({}_{\mbox{2}}\) Set with No Infinite Low
Subset in Either It or Its Complement},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1371--1381},
year = {2001},
url = {https://doi.org/10.2307/2695113},
doi = {10.2307/2695113},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyHLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Duparc01,
author = {Jacques Duparc},
title = {Wadge Hierarchy and Veblen Hierarchy Part {I:} Borel Sets of Finite
Rank},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {56--86},
year = {2001},
url = {https://doi.org/10.2307/2694911},
doi = {10.2307/2694911},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Duparc01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ehrlich01,
author = {Philp Ehrlich},
title = {Number Systems with Simplicity Hierarchies: {A} Generalization of
Conway's Theory of Surreal Numbers},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1231--1258},
year = {2001},
url = {https://doi.org/10.2307/2695104},
doi = {10.2307/2695104},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ehrlich01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Enayat01,
author = {Ali Enayat},
title = {Power-Like Models of Set Theory},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1766--1782},
year = {2001},
url = {https://doi.org/10.2307/2694973},
doi = {10.2307/2694973},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Enayat01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ForemanMS01,
author = {Matthew Foreman and
Menachem Magidor and
Ralf{-}Dieter Schindler},
title = {The Consistency Strength of Successive Cardinals with The Tree Property},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1837--1847},
year = {2001},
url = {https://doi.org/10.2307/2694979},
doi = {10.2307/2694979},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ForemanMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gao01,
author = {Su Gao},
title = {A Remark on Martin's Conjecture},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {401--406},
year = {2001},
url = {https://doi.org/10.2307/2694929},
doi = {10.2307/2694929},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gao01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gao01a,
author = {Su Gao},
title = {Some Dichotomy Theorems for Isomorphism Relations of Countable Models},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {902--922},
year = {2001},
url = {https://doi.org/10.2307/2695052},
doi = {10.2307/2695052},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gao01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gilmore01,
author = {Paul C. Gilmore},
title = {An Intensional Type Theory: Motivation and Cut-Elimination},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {383--400},
year = {2001},
url = {https://doi.org/10.2307/2694928},
doi = {10.2307/2694928},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gilmore01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goldblatt01,
author = {Robert Goldblatt},
title = {Quasi-Modal Equivalence of Canonical Structures},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {497--508},
year = {2001},
url = {https://doi.org/10.2307/2695027},
doi = {10.2307/2695027},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Goldblatt01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Halbach01,
author = {Volker Halbach},
title = {Disquotational Truth and Analyticity},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1959--1973},
year = {2001},
url = {https://doi.org/10.2307/2694987},
doi = {10.2307/2694987},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Halbach01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hamkins01,
author = {Joel David Hamkins},
title = {Unfoldable Cardinals and The {GCH}},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1186--1198},
year = {2001},
url = {https://doi.org/10.2307/2695100},
doi = {10.2307/2695100},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hamkins01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HanssonFCF01,
author = {Sven Ove Hansson and
Eduardo L. Ferm{\'{e}} and
John Cantwell and
Marcelo A. Falappa},
title = {Credibility Limited Revision},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1581--1596},
year = {2001},
url = {https://doi.org/10.2307/2694963},
doi = {10.2307/2694963},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HanssonFCF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HardinV01,
author = {Christopher Hardin and
Daniel J. Velleman},
title = {The Mean Value Theorem in Second Order Arithmetic},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1353--1358},
year = {2001},
url = {https://doi.org/10.2307/2695111},
doi = {10.2307/2695111},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HardinV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Herrmann01,
author = {Eberhard Herrmann},
title = {Infinite Chains and Antichains in Computable Partial Orderings},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {923--934},
year = {2001},
url = {https://doi.org/10.2307/2695053},
doi = {10.2307/2695053},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Herrmann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hirschfeldt01,
author = {Denis R. Hirschfeldt},
title = {Degree Spectra of Intrinsically {C.E.} Relations},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {441--469},
year = {2001},
url = {https://doi.org/10.2307/2695024},
doi = {10.2307/2695024},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hirschfeldt01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hjorth01,
author = {Greg Hjorth},
title = {A Boundedness Lemma for Iterations},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1058--1072},
year = {2001},
url = {https://doi.org/10.2307/2695092},
doi = {10.2307/2695092},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hjorth01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Holmes01,
author = {M. Randall Holmes},
title = {Strong Axioms of Infinity in {NFU}},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {87--116},
year = {2001},
url = {https://doi.org/10.2307/2694912},
doi = {10.2307/2694912},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Holmes01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HrusakSZ01,
author = {Michael Hrus{\'{a}}k and
Juris Steprans and
Yi Zhang},
title = {Confinitary Groups, Almost Disjoint and Dominating Families},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1259--1276},
year = {2001},
url = {https://doi.org/10.2307/2695105},
doi = {10.2307/2695105},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/HrusakSZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HummelJ01,
author = {Tamara Lakins Hummel and
Carl G. Jockusch Jr.},
title = {Ramsey's Theorem for Computably Enumerable Colorings},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {873--880},
year = {2001},
url = {https://doi.org/10.2307/2695050},
doi = {10.2307/2695050},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HummelJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HyttinenR01,
author = {Tapani Hyttinen and
Mika Rautila},
title = {The Canary Tree Revisited},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1677--1694},
year = {2001},
url = {https://doi.org/10.2307/2694968},
doi = {10.2307/2694968},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HyttinenR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HyttinenS01,
author = {Tapani Hyttinen and
Saharon Shelah},
title = {Main Gap for Locally Saturated Elementary Submodels of {A} Homogeneous
Structure},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1286--1302},
year = {2001},
url = {https://doi.org/10.2307/2695107},
doi = {10.2307/2695107},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HyttinenS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Iemhoff01,
author = {Rosalie Iemhoff},
title = {On The Admissible Rules of Intuitionistic Propositional Logic},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {281--294},
year = {2001},
url = {https://doi.org/10.2307/2694922},
doi = {10.2307/2694922},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Iemhoff01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ikeda01,
author = {Koichiro Ikeda},
title = {Minimal But Not Strongly Minimal Structures with Arbitrary Finite
Dimensions},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {117--126},
year = {2001},
url = {https://doi.org/10.2307/2694913},
doi = {10.2307/2694913},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ikeda01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ImmermanBB01,
author = {Neil Immerman and
Jonathan F. Buss and
David A. Mix Barrington},
title = {Number of Variables Is Equivalent to Space},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1217--1230},
year = {2001},
url = {https://doi.org/10.2307/2695103},
doi = {10.2307/2695103},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ImmermanBB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Iovino01,
author = {Jos{\'{e}} Iovino},
title = {On The Maximality of Logics with Approximations},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1909--1918},
year = {2001},
url = {https://doi.org/10.2307/2694984},
doi = {10.2307/2694984},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Iovino01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jackson01,
author = {Steve Jackson},
title = {The Weak Square Property},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {640--657},
year = {2001},
url = {https://doi.org/10.2307/2695034},
doi = {10.2307/2695034},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jackson01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jager01,
author = {Gerhard J{\"{a}}ger},
title = {First Order Theories for Nonmonotone Inductive Definitions: Recursively
Inaccessible and Mahlo},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1073--1089},
year = {2001},
url = {https://doi.org/10.2307/2695093},
doi = {10.2307/2695093},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jager01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JagerS01,
author = {Gerhard J{\"{a}}ger and
Thomas Strahm},
title = {Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and
Admissible Set Theory},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {935--958},
year = {2001},
url = {https://doi.org/10.2307/2695054},
doi = {10.2307/2695054},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JagerS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JainN01,
author = {Sanjay Jain and
Jochen Nessel},
title = {Some Independence Results for Control Structures in Complete Numberings},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {357--382},
year = {2001},
url = {https://doi.org/10.2307/2694927},
doi = {10.2307/2694927},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JainN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jin01,
author = {Renling Jin},
title = {Existence of Some Sparse Sets of Nonstandard Natural Numbers},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {959--973},
year = {2001},
url = {https://doi.org/10.2307/2695055},
doi = {10.2307/2695055},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jin01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Johns01,
author = {Joseph Johns},
title = {An Open Mapping Theorem for O-Minimal Structures},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1817--1836},
year = {2001},
url = {https://doi.org/10.2307/2694977},
doi = {10.2307/2694977},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Johns01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JurjusS01,
author = {Herman Jurjus and
Harrie C. M. de Swart},
title = {Implication with Possible Exceptions},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {517--535},
year = {2001},
url = {https://doi.org/10.2307/2695029},
doi = {10.2307/2695029},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JurjusS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kim01,
author = {Byunghan Kim},
title = {Simplicity, and Stability in There},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {822--836},
year = {2001},
url = {https://doi.org/10.2307/2695047},
doi = {10.2307/2695047},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kim01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Knight01,
author = {Julia F. Knight},
title = {Minimality and Completions of {PA}},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1447--1457},
year = {2001},
url = {https://doi.org/10.2307/2695117},
doi = {10.2307/2695117},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Knight01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kraszewski01,
author = {Jan Kraszewski},
title = {Properties of Ideals on The Generalized Cantor Spaces},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1303--1320},
year = {2001},
url = {https://doi.org/10.2307/2695108},
doi = {10.2307/2695108},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kraszewski01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kuhlmann01,
author = {Franz{-}Viktor Kuhlmann},
title = {Elementary Properties of Power Series Fields over Finite Fields},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {771--791},
year = {2001},
url = {https://doi.org/10.2307/2695043},
doi = {10.2307/2695043},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kuhlmann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kurilic01,
author = {Milos S. Kurilic},
title = {Cohen-Stable Families of Subsets of Integers},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {257--270},
year = {2001},
url = {https://doi.org/10.2307/2694920},
doi = {10.2307/2694920},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kurilic01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LascarP01,
author = {Daniel Lascar and
Anand Pillay},
title = {Hyperimaginaries and Automorphism Groups},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {127--143},
year = {2001},
url = {https://doi.org/10.2307/2694914},
doi = {10.2307/2694914},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/LascarP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LehmannMS01,
author = {Daniel Lehmann and
Menachem Magidor and
Karl Schlechta},
title = {Distance Semantics for Belief Revision},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {295--317},
year = {2001},
url = {https://doi.org/10.2307/2694923},
doi = {10.2307/2694923},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/LehmannMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mariou01,
author = {Beno{\^{\i}}t Mariou},
title = {Mod{\`{e}}les Satur{\'{e}}s et Mod{\`{e}}les Engendr{\'{e}}s
Par des Indiscernables},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {325--348},
year = {2001},
url = {https://doi.org/10.2307/2694925},
doi = {10.2307/2694925},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mariou01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mathias01,
author = {A. R. D. Mathias},
title = {Slim Models of Zermelo Set Theory},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {487--496},
year = {2001},
url = {https://doi.org/10.2307/2695026},
doi = {10.2307/2695026},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mathias01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/McNicholl01,
author = {Timothy H. McNicholl},
title = {On The Convergence of Query-Bounded Computations and Logical Closure
Properties of {C.E.} Sets},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1543--1560},
year = {2001},
url = {https://doi.org/10.2307/2694961},
doi = {10.2307/2694961},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/McNicholl01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Miller01,
author = {Russell Miller},
title = {The delta\({}^{\mbox{0}}\)\({}_{\mbox{2}}\)-Spectrum of {A} Linear
Order},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {470--486},
year = {2001},
url = {https://doi.org/10.2307/2695025},
doi = {10.2307/2695025},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Miller01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Miller01a,
author = {Christopher Lee Miller},
title = {Expansions of Dense Linear Orders with The Intermediate Value Property},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1783--1790},
year = {2001},
url = {https://doi.org/10.2307/2694974},
doi = {10.2307/2694974},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Miller01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MitchellS01,
author = {William P. R. Mitchell and
Harold Simmons},
title = {Monoid Based Semantics for Linear Formulas},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1597--1619},
year = {2001},
url = {https://doi.org/10.2307/2694964},
doi = {10.2307/2694964},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MitchellS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Monk01,
author = {J. Donald Monk},
title = {Continuum Cardinals Generalized to Boolean Algebras},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1928--1958},
year = {2001},
url = {https://doi.org/10.2307/2694986},
doi = {10.2307/2694986},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Monk01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MorozovT01,
author = {Andrei S. Morozov and
John Kenneth Truss},
title = {On Computable Automorphisms of The Rational Numbers},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1458--1470},
year = {2001},
url = {https://doi.org/10.2307/2695118},
doi = {10.2307/2695118},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/MorozovT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NagayamaO01,
author = {Misao Nagayama and
Mitsuhiro Okada},
title = {A New Correctness Criterion for The Proof Nets of Non-Commutative
Multiplicative Linear Logics},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1524--1542},
year = {2001},
url = {https://doi.org/10.2307/2694960},
doi = {10.2307/2694960},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NagayamaO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NeemanZ01,
author = {Itay Neeman and
Jindrich Zapletal},
title = {Proper Forcing and L(Real)},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {801--810},
year = {2001},
url = {https://doi.org/10.2307/2695045},
doi = {10.2307/2695045},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NeemanZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NegriP01,
author = {Sara Negri and
Jan von Plato},
title = {Sequent Calculus in Natural Deduction Style},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1803--1816},
year = {2001},
url = {https://doi.org/10.2307/2694976},
doi = {10.2307/2694976},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NegriP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Newelski01,
author = {Ludomir Newelski},
title = {Small Profinite Groups},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {859--872},
year = {2001},
url = {https://doi.org/10.2307/2695049},
doi = {10.2307/2695049},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Newelski01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Oger01,
author = {Francis Oger},
title = {Elementary Equivalence for Abelian-By-Finite and Nilpotent Groups},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1471--1480},
year = {2001},
url = {https://doi.org/10.2307/2695119},
doi = {10.2307/2695119},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Oger01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Otto01,
author = {Martin Otto},
title = {Two Variable First-Order Logic over Ordered Domains},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {685--702},
year = {2001},
url = {https://doi.org/10.2307/2695037},
doi = {10.2307/2695037},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Otto01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pawlikowski01,
author = {Janusz Pawlikowski},
title = {Cohen Reals From Small Forcings},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {318--324},
year = {2001},
url = {https://doi.org/10.2307/2694924},
doi = {10.2307/2694924},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pawlikowski01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Piazza01,
author = {Mario Piazza},
title = {Exchange Rules},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {509--516},
year = {2001},
url = {https://doi.org/10.2307/2695028},
doi = {10.2307/2695028},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Piazza01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pillay01,
author = {Anand Pillay},
title = {A Note on Existentially Closed Difference Fields with Algebraically
Closed Fixed Field},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {719--721},
year = {2001},
url = {https://doi.org/10.2307/2695040},
doi = {10.2307/2695040},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pillay01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pitteloud01,
author = {Daniel Pitteloud},
title = {Existence of Prime Elements in Rings of Generalized Power Series},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1206--1216},
year = {2001},
url = {https://doi.org/10.2307/2695102},
doi = {10.2307/2695102},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pitteloud01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat01,
author = {Bruno Poizat},
title = {Quelques Modestes Remarques {A} Propos D'Une Cons{\'{e}}quence
Inattendue D'Un R{\'{e}}sultat Surprenant de Monsieur Frank Olaf
Wagner},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1637--1646},
year = {2001},
url = {https://doi.org/10.2307/2694966},
doi = {10.2307/2694966},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat01a,
author = {Bruno Poizat},
title = {L'{\'{E}}galit{\'{e}} au Cube},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1647--1676},
year = {2001},
url = {https://doi.org/10.2307/2694967},
doi = {10.2307/2694967},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Prijatelj01,
author = {Andreja Prijatelj},
title = {Free Ordered Algebraic Structures Towards Proof Theory},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {597--608},
year = {2001},
url = {https://doi.org/10.2307/2695031},
doi = {10.2307/2695031},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Prijatelj01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Puninskaya01,
author = {Vera Puninskaya},
title = {Modules with Few Types over {A} Hereditary Noetherian Prime Ring},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {271--280},
year = {2001},
url = {https://doi.org/10.2307/2694921},
doi = {10.2307/2694921},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Puninskaya01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Reynolds01,
author = {Mark Reynolds},
title = {An Axiomatization of Full Computation Tree Logic},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1011--1057},
year = {2001},
url = {https://doi.org/10.2307/2695091},
doi = {10.2307/2695091},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Reynolds01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/SchimmerlingW01,
author = {Ernest Schimmerling and
W. Hugh Woodin},
title = {The Jensen Covering Property},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1505--1523},
year = {2001},
url = {https://doi.org/10.2307/2694959},
doi = {10.2307/2694959},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/SchimmerlingW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schindler01,
author = {Ralf{-}Dieter Schindler},
title = {Proper Forcing and Remarkable Cardinals {II}},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1481--1492},
year = {2001},
url = {https://doi.org/10.2307/2695120},
doi = {10.2307/2695120},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schindler01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schlindwein01,
author = {Chaz Schlindwein},
title = {Shelah's Work on Non-Semi-Proper Iterations, {II}},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1865--1883},
year = {2001},
url = {https://doi.org/10.2307/2694981},
doi = {10.2307/2694981},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schlindwein01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Seabold01,
author = {Daniel Evan Seabold},
title = {Chang's Conjecture and The Non-Stationary Ideal},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {144--170},
year = {2001},
url = {https://doi.org/10.2307/2694915},
doi = {10.2307/2694915},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Seabold01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ShelahS01,
author = {Saharon Shelah and
Juris Steprans},
title = {The Covering Numbers of Mycielski Ideals Are All Equal},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {707--718},
year = {2001},
url = {https://doi.org/10.2307/2695039},
doi = {10.2307/2695039},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ShelahS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ShelahS01a,
author = {Saharon Shelah and
Lee J. Stanley},
title = {Forcing Many Positive Polarized Partition Relations Between {A} Cardinal
and Its Powerset},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1359--1370},
year = {2001},
url = {https://doi.org/10.2307/2695112},
doi = {10.2307/2695112},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ShelahS01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Solomon01,
author = {Reed Solomon},
title = {PI\({}^{\mbox{1}}\)\({}_{\mbox{1}}\)-CA\({}_{\mbox{0}}\) and Order
Types of Countable Ordered Groups},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {192--206},
year = {2001},
url = {https://doi.org/10.2307/2694917},
doi = {10.2307/2694917},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Solomon01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Spreen01,
author = {Dieter Spreen},
title = {Can Partial Indexings be Totalized?},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1157--1185},
year = {2001},
url = {https://doi.org/10.2307/2695099},
doi = {10.2307/2695099},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Spreen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/StebletsovaV01,
author = {Vera Stebletsova and
Yde Venema},
title = {Undecidable Theories of Lyndon Algebras},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {207--224},
year = {2001},
url = {https://doi.org/10.2307/2694918},
doi = {10.2307/2694918},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/StebletsovaV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Stephan01,
author = {Frank Stephan},
title = {On The Structures Inside Truth-Table Degrees},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {731--770},
year = {2001},
url = {https://doi.org/10.2307/2695042},
doi = {10.2307/2695042},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Stephan01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Surendonk01,
author = {Timothy J. Surendonk},
title = {Canonicity for Intensional Logics with Even Axioms},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1141--1156},
year = {2001},
url = {https://doi.org/10.2307/2695098},
doi = {10.2307/2695098},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Surendonk01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/TerwijnZ01,
author = {Sebastiaan Terwijn and
Domenico Zambella},
title = {Computational Randomness and Lowness},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1199--1205},
year = {2001},
url = {https://doi.org/10.2307/2695101},
doi = {10.2307/2695101},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/TerwijnZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Tupailo01,
author = {Sergei Tupailo},
title = {Realization of Analysis into Explicit Mathematics},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1848--1864},
year = {2001},
url = {https://doi.org/10.2307/2694980},
doi = {10.2307/2694980},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Tupailo01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/VickersW01,
author = {John M. Vickers and
Philip D. Welch},
title = {On Elementary Embeddings from An Inner Model to The Universe},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1090--1116},
year = {2001},
url = {https://doi.org/10.2307/2695094},
doi = {10.2307/2695094},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/VickersW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wagner01,
author = {Frank Wagner},
title = {Fields of Finite Morley Rank},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {703--706},
year = {2001},
url = {https://doi.org/10.2307/2695038},
doi = {10.2307/2695038},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wagner01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Warner01,
author = {Steve Warner},
title = {The Cofinality of The Random Graph},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1439--1446},
year = {2001},
url = {https://doi.org/10.2307/2695116},
doi = {10.2307/2695116},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Warner01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Weiermann01,
author = {Andreas Weiermann},
title = {Some Interesting Connections Between The Slow Growing Hierarchy and
The Ackermann Function},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {609--628},
year = {2001},
url = {https://doi.org/10.2307/2695032},
doi = {10.2307/2695032},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Weiermann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Willard01,
author = {Dan E. Willard},
title = {Self-Verifying Axiom Systems, The Incompleteness Theorem and Related
Reflection Principles},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {536--596},
year = {2001},
url = {https://doi.org/10.2307/2695030},
doi = {10.2307/2695030},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Willard01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wilson01,
author = {J. Todd Wilson},
title = {An Intuitionistic Version of Zermelo's Proof That Every Choice Set
Can Be Well-Ordered},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1121--1126},
year = {2001},
url = {https://doi.org/10.2307/2695096},
doi = {10.2307/2695096},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wilson01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/WolterZ01,
author = {Frank Wolter and
Michael Zakharyaschev},
title = {Decidable Fragments of First-Order Modal Logics},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1415--1438},
year = {2001},
url = {https://doi.org/10.2307/2695115},
doi = {10.2307/2695115},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/WolterZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ZanardoSS01,
author = {Alberto Zanardo and
Am{\'{\i}}lcar Sernadas and
Cristina Sernadas},
title = {Fibring: Completeness Preservation},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {414--439},
year = {2001},
url = {https://doi.org/10.2307/2694931},
doi = {10.2307/2694931},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ZanardoSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Zashev01,
author = {J. Zashev},
title = {On The Recursion Theorem in Iterative Operative Spaces},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1727--1748},
year = {2001},
url = {https://doi.org/10.2307/2694971},
doi = {10.2307/2694971},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Zashev01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-08-19 16:32 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
