default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jsyml/jsyml65.bht:"
download as .bib file
@article{DBLP:journals/jsyml/Apostoli00,
author = {Peter Apostoli},
title = {The Analytic Conception of Truth and The Foundations of Arithmetic},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {33--102},
year = {2000},
url = {https://doi.org/10.2307/2586525},
doi = {10.2307/2586525},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Apostoli00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ApterC00,
author = {Arthur W. Apter and
James Cummings},
title = {Identity Crises, Strong Compactness},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1895--1910},
year = {2000},
url = {https://doi.org/10.2307/2695085},
doi = {10.2307/2695085},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ApterC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Arai00,
author = {Toshiyasu Arai},
title = {Ordinal Diagrams for PI\({}_{\mbox{3}}\)-Reflection},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1375--1394},
year = {2000},
url = {https://doi.org/10.2307/2586705},
doi = {10.2307/2586705},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Arai00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Avigad00,
author = {Jeremy Avigad},
title = {Interpreting Classical Theories in Constructive Ones},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1785--1812},
year = {2000},
url = {https://doi.org/10.2307/2695075},
doi = {10.2307/2695075},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Avigad00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Avron00,
author = {Arnon Avron},
title = {Implicational F-Structures and Implicational Relevance Logics},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {788--802},
year = {2000},
url = {https://doi.org/10.2307/2586570},
doi = {10.2307/2586570},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Avron00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AwodeyB00,
author = {Steven Awodey and
Carsten Butz},
title = {Topological Completeness for Higher-Order Logic},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1168--1182},
year = {2000},
url = {https://doi.org/10.2307/2586693},
doi = {10.2307/2586693},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AwodeyB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BaldwinH00,
author = {John T. Baldwin and
Kitty L. Holland},
title = {Constructing omega-Stable Structures: Rank 2 Fields},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {371--391},
year = {2000},
url = {https://doi.org/10.2307/2586544},
doi = {10.2307/2586544},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BaldwinH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BartoszynskiRS00,
author = {Tomek Bartoszynski and
Andrzej Roslanowski and
Saharon Shelah},
title = {After All, There Are Some Inequalities Which Are Provable in {ZFC}},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {803--816},
year = {2000},
url = {https://doi.org/10.2307/2586571},
doi = {10.2307/2586571},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BartoszynskiRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Baudisch00,
author = {Andreas Baudisch},
title = {Closures in Alef-Symbol\({}_{\mbox{0}}\)-Categorical Bilinear Maps},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {914--922},
year = {2000},
url = {https://doi.org/10.2307/2586577},
doi = {10.2307/2586577},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Baudisch00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BaudischP00,
author = {Andreas Baudisch and
Anand Pillay},
title = {A Free Pseudospace},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {443--460},
year = {2000},
url = {https://doi.org/10.2307/2586547},
doi = {10.2307/2586547},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BaudischP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BeigelGKMMS00,
author = {Richard Beigel and
William I. Gasarch and
Martin Kummer and
Georgia Martin and
Timothy H. McNicholl and
Frank Stephan},
title = {The Comlexity of Odd\({}^{\mbox{A}}\)\({}_{\mbox{n}}\)},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {1--18},
year = {2000},
url = {https://doi.org/10.2307/2586523},
doi = {10.2307/2586523},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BeigelGKMMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BelegradekPW00,
author = {Oleg V. Belegradek and
Ya'acov Peterzil and
Frank Wagner},
title = {Quasi-O-Minimal Structures},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1115--1132},
year = {2000},
url = {https://doi.org/10.2307/2586690},
doi = {10.2307/2586690},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BelegradekPW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BereznyukCS00,
author = {Stanislaw Bereznyuk and
Richard Coles and
Andrea Sorbi},
title = {The Distribution of Properly Sigma\({}^{\mbox{0}}\)\({}_{\mbox{2}}\)
e-Degrees},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {19--32},
year = {2000},
url = {https://doi.org/10.2307/2586524},
doi = {10.2307/2586524},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BereznyukCS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bes00,
author = {Alexis B{\`{e}}s},
title = {An Extension of The Cobham-Sem{\"{e}}nov Theorem},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {201--211},
year = {2000},
url = {https://doi.org/10.2307/2586532},
doi = {10.2307/2586532},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bes00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BlassG00,
author = {Andreas Blass and
Yuri Gurevich},
title = {The Logic of Choice},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1264--1310},
year = {2000},
url = {https://doi.org/10.2307/2586700},
doi = {10.2307/2586700},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BlassG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bochman00,
author = {Alexander Bochman},
title = {Belief Contraction as Nonmonotonic Inference},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {605--626},
year = {2000},
url = {https://doi.org/10.2307/2586557},
doi = {10.2307/2586557},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bochman00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Boughattas00,
author = {Sedki Boughattas},
title = {Trois Theoremes Sur L'Induction Pour Les Formules Ouvertes Munies
De L'Exponentielle},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {111--154},
year = {2000},
url = {https://doi.org/10.2307/2586527},
doi = {10.2307/2586527},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Boughattas00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bunder00,
author = {Martin W. Bunder},
title = {Expedited Broda-Damas Bracket Abstraction},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1850--1857},
year = {2000},
url = {https://doi.org/10.2307/2695081},
doi = {10.2307/2695081},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bunder00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Burr00,
author = {Wolfgang Burr},
title = {Fragments of Heyting Arithmetic},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1223--1240},
year = {2000},
url = {https://doi.org/10.2307/2586698},
doi = {10.2307/2586698},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Burr00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cantwell00,
author = {John Cantwell},
title = {Logics of Belief Change without Linearity},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1556--1575},
year = {2000},
url = {https://doi.org/10.2307/2695064},
doi = {10.2307/2695064},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cantwell00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ChatzidakisW00,
author = {Zo{\'{e}} Chatzidakis and
Carol Wood},
title = {Minimal Types in Separably Closed Fields},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1443--1450},
year = {2000},
url = {https://doi.org/10.2307/2586707},
doi = {10.2307/2586707},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ChatzidakisW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CichonKMW00,
author = {Jacek Cichon and
Adam Krawczyk and
Barbara Majcher{-}Iwanow and
Bogdan Weglorz},
title = {Dualization of The Van Douwen Diagram},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {959--968},
year = {2000},
url = {https://doi.org/10.2307/2586580},
doi = {10.2307/2586580},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/CichonKMW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CoquandSSS00,
author = {Thierry Coquand and
Sara Sadocco and
Giovanni Sambin and
Jan M. Smith},
title = {Formal Topologies on The Set of First-Order Formulae},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1183--1192},
year = {2000},
url = {https://doi.org/10.2307/2586694},
doi = {10.2307/2586694},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CoquandSSS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Crabbe00,
author = {Marcel Crabb{\'{e}}},
title = {The Rise and Fall of Typed Sentences},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1858--1862},
year = {2000},
url = {https://doi.org/10.2307/2695082},
doi = {10.2307/2695082},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Crabbe00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CzelakowskiJ00,
author = {Janusz Czelakowski and
Ramon Jansana},
title = {Weakly Algebraizable Logics},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {641--668},
year = {2000},
url = {https://doi.org/10.2307/2586559},
doi = {10.2307/2586559},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/CzelakowskiJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DAgostinoH00,
author = {Giovanna D'Agostino and
Marco Hollenberg},
title = {Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon
and Los-Tarski},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {310--332},
year = {2000},
url = {https://doi.org/10.2307/2586539},
doi = {10.2307/2586539},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DAgostinoH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Dybjer00,
author = {Peter Dybjer},
title = {A General Formulation of Simultaneous Inductive-Recursive Definitions
in Type Theory},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {525--549},
year = {2000},
url = {https://doi.org/10.2307/2586554},
doi = {10.2307/2586554},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Dybjer00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DyckhoffN00,
author = {Roy Dyckhoff and
Sara Negri},
title = {Admissibility of Structural Rules for Contraction-Free Systems of
Intuitionistic Logic},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1499--1518},
year = {2000},
url = {https://doi.org/10.2307/2695061},
doi = {10.2307/2695061},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DyckhoffN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Erdelyi-Szabo00,
author = {Mikl{\'{o}}s Erd{\'{e}}lyi{-}Szab{\'{o}}},
title = {Undecidability of The Real-Algebraic Structure of Models of Intuitionistic
Elementary Analysis},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1014--1030},
year = {2000},
url = {https://doi.org/10.2307/2586686},
doi = {10.2307/2586686},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Erdelyi-Szabo00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Esser00,
author = {Olivier Esser},
title = {Inconsistency of The Axiom of Choice with The Positive Theory GPK\({}^{\mbox{+}}\)\({}_{\mbox{infinite}}\)},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1911--1916},
year = {2000},
url = {https://doi.org/10.2307/2695086},
doi = {10.2307/2695086},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Esser00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/EvansW00,
author = {David M. Evans and
Frank O. Wagner},
title = {Supersimple omega-Categorical Groups and Theories},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {767--776},
year = {2000},
url = {https://doi.org/10.2307/2586568},
doi = {10.2307/2586568},
timestamp = {Tue, 13 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/EvansW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Fiorentini00,
author = {Camillo Fiorentini},
title = {All Intermediate Logics with Extra Axions in One Variable, Except
Eight, Are Not Strongly omega-Complete},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1576--1604},
year = {2000},
url = {https://doi.org/10.2307/2695065},
doi = {10.2307/2695065},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Fiorentini00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FlumG00,
author = {J{\"{o}}rg Flum and
Martin Grohe},
title = {On Fixed-Point Logic With Counting},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {777--787},
year = {2000},
url = {https://doi.org/10.2307/2586569},
doi = {10.2307/2586569},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FlumG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FontR00,
author = {Josep Maria Font and
Miquel Rius},
title = {An Abstract Algebraic Logic Approach to Tetravalent Modal Logics},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {481--518},
year = {2000},
url = {https://doi.org/10.2307/2586552},
doi = {10.2307/2586552},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FontR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Fouche00,
author = {Willem L. Fouch{\'{e}}},
title = {Arithmetical Representations of Brownian Motion {I}},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {421--442},
year = {2000},
url = {https://doi.org/10.2307/2586546},
doi = {10.2307/2586546},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Fouche00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GiustoS00,
author = {Mariagnese Giusto and
Stephen G. Simpson},
title = {Located Sets and Reverse Mathematics},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1451--1480},
year = {2000},
url = {https://doi.org/10.2307/2586708},
doi = {10.2307/2586708},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GiustoS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gluschankof00,
author = {Daniel Gluschankof},
title = {The Hahn Representation Theorem for l-Groups in {ZFA}},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {519--524},
year = {2000},
url = {https://doi.org/10.2307/2586553},
doi = {10.2307/2586553},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gluschankof00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GurevichR00,
author = {Yuri Gurevich and
Alexander Moshe Rabinovich},
title = {Definability and Undefinability with Real Order at The Background},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {946--958},
year = {2000},
url = {https://doi.org/10.2307/2586579},
doi = {10.2307/2586579},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GurevichR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HajekPS00,
author = {Petr H{\'{a}}jek and
Jeff B. Paris and
John C. Shepherdson},
title = {The Liar Paradox and Fuzzy Logic},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {339--346},
year = {2000},
url = {https://doi.org/10.2307/2586541},
doi = {10.2307/2586541},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HajekPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HajekPS00a,
author = {Petr H{\'{a}}jek and
Jeff B. Paris and
John C. Shepherdson},
title = {Rational Pavelka Predicate Logic Is {A} Conservative Extension of
Lukasiewicz Predicate Logic},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {669--682},
year = {2000},
url = {https://doi.org/10.2307/2586560},
doi = {10.2307/2586560},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HajekPS00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HamkinsL00,
author = {Joel David Hamkins and
Andy Lewis},
title = {Infinite Time Turing Machines},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {567--604},
year = {2000},
url = {https://doi.org/10.2307/2586556},
doi = {10.2307/2586556},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HamkinsL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HartKP00,
author = {Bradd Hart and
Byunghan Kim and
Anand Pillay},
title = {Coordinatisation and Canonical Bases in Simple Theories},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {293--309},
year = {2000},
url = {https://doi.org/10.2307/2586538},
doi = {10.2307/2586538},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HartKP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HirokawaKN00,
author = {Sachio Hirokawa and
Yuichi Komori and
Misao Nagayama},
title = {A Lambda Proof of The {P-W} Theorem},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1841--1849},
year = {2000},
url = {https://doi.org/10.2307/2695080},
doi = {10.2307/2695080},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HirokawaKN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hjorth00,
author = {Greg Hjorth},
title = {Actions by The Classical Banach Spaces},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {392--420},
year = {2000},
url = {https://doi.org/10.2307/2586545},
doi = {10.2307/2586545},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hjorth00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JinK00,
author = {Renling Jin and
H. Jerome Keisler},
title = {Maharam Spectra of Loeb Spaces},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {550--566},
year = {2000},
url = {https://doi.org/10.2307/2586555},
doi = {10.2307/2586555},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JinK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jones00,
author = {Albin L. Jones},
title = {A Polarized Partition Relation Using Elementary Substructures},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1491--1498},
year = {2000},
url = {https://doi.org/10.2307/2695060},
doi = {10.2307/2695060},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jones00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Junker00,
author = {Markus Junker},
title = {A Note On Equational Theories},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1705--1712},
year = {2000},
url = {https://doi.org/10.2307/2695070},
doi = {10.2307/2695070},
timestamp = {Tue, 26 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Junker00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kada00,
author = {Masaru Kada},
title = {More on Cichon's Diagram and Infinite Games},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1713--1724},
year = {2000},
url = {https://doi.org/10.2307/2695071},
doi = {10.2307/2695071},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kada00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kearnes00,
author = {Keith A. Kearnes},
title = {Categorical Quasivarieties via Morita Equivalence},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {839--856},
year = {2000},
url = {https://doi.org/10.2307/2586574},
doi = {10.2307/2586574},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kearnes00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kikyo00,
author = {Hirotaka Kikyo},
title = {Model Companions of Theories with An Automorphism},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1215--1222},
year = {2000},
url = {https://doi.org/10.2307/2586697},
doi = {10.2307/2586697},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Kikyo00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KnightS00,
author = {Julia F. Knight and
Michael Stob},
title = {Computable Boolean Algebras},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1605--1623},
year = {2000},
url = {https://doi.org/10.2307/2695066},
doi = {10.2307/2695066},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KnightS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KomjathS00,
author = {P{\'{e}}ter Komj{\'{a}}th and
Saharon Shelah},
title = {Two Consistency Results on Set Mappings},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {333--338},
year = {2000},
url = {https://doi.org/10.2307/2586540},
doi = {10.2307/2586540},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KomjathS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kubierschky00,
author = {Max Kubierschky},
title = {Yet Another Hierarchy Theorem},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {627--640},
year = {2000},
url = {https://doi.org/10.2307/2586558},
doi = {10.2307/2586558},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kubierschky00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KuceraR00,
author = {Thomas G. Kucera and
Philipp Rothmaler},
title = {Pure-Projective Modules and Positive Constructibility},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {103--110},
year = {2000},
url = {https://doi.org/10.2307/2586526},
doi = {10.2307/2586526},
timestamp = {Mon, 29 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KuceraR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KuijpersPB00,
author = {Bart Kuijpers and
Jan Paredaens and
Jan Van den Bussche},
title = {Topological Elementary Equivalence of Closed Semi-Algebraic Sets in
The Real Plane},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1530--1555},
year = {2000},
url = {https://doi.org/10.2307/2695063},
doi = {10.2307/2695063},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KuijpersPB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kumabe00,
author = {Masahiro Kumabe},
title = {A 1-Generic Degree with {A} Strong Minimal Cover},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1395--1442},
year = {2000},
url = {https://doi.org/10.2307/2586706},
doi = {10.2307/2586706},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Kumabe00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KunenT00,
author = {Kenneth Kunen and
Franklin D. Tall},
title = {The Real Line in Elementary Submodels of Set Theory},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {683--691},
year = {2000},
url = {https://doi.org/10.2307/2586561},
doi = {10.2307/2586561},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KunenT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kurucz00,
author = {{\'{A}}gnes Kurucz},
title = {On Axiomatising Products of Kripke Frames},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {923--945},
year = {2000},
url = {https://doi.org/10.2307/2586578},
doi = {10.2307/2586578},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kurucz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Larson00,
author = {Paul B. Larson},
title = {Separating Stationary Reflection Principles},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {247--258},
year = {2000},
url = {https://doi.org/10.2307/2586534},
doi = {10.2307/2586534},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Larson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Larson00a,
author = {Jean A. Larson},
title = {An Ordinal Partition Avoiding Pentagrams},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {969--978},
year = {2000},
url = {https://doi.org/10.2307/2586684},
doi = {10.2307/2586684},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Larson00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lejeune00,
author = {H{\'{e}}l{\`{e}}ne Lejeune},
title = {Paires {\'{E}}l{\'{e}}mentaires de Corps Pseudo-Finis: D{\'{e}}nombrement
des Compl{\'{e}}tions},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {705--718},
year = {2000},
url = {https://doi.org/10.2307/2586564},
doi = {10.2307/2586564},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lejeune00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Leshem00,
author = {Amir Leshem},
title = {On The Consistency of The Definable Tree Property on Alef-Symbol\({}_{\mbox{1}}\)},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1204--1214},
year = {2000},
url = {https://doi.org/10.2307/2586696},
doi = {10.2307/2586696},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Leshem00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lotfallah00,
author = {Wafik Boulos Lotfallah},
title = {Strong 0-1 Laws in Finite Model Theory},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1686--1704},
year = {2000},
url = {https://doi.org/10.2307/2695069},
doi = {10.2307/2695069},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lotfallah00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Luosto00,
author = {Kerkko Luosto},
title = {Hierarchies of Monadic Generalized Quantifiers},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1241--1263},
year = {2000},
url = {https://doi.org/10.2307/2586699},
doi = {10.2307/2586699},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Luosto00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/McKenzie00,
author = {Ralph McKenzie},
title = {Recursive Inseparability for Residual Bounds of Finite Algebras},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1863--1880},
year = {2000},
url = {https://doi.org/10.2307/2695083},
doi = {10.2307/2695083},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/McKenzie00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/McNicholl00,
author = {Timothy H. McNicholl},
title = {On The Commutativity of Jumps},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1725--1748},
year = {2000},
url = {https://doi.org/10.2307/2695072},
doi = {10.2307/2695072},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/McNicholl00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mcgrail00,
author = {Tracey Baldwin McGrail},
title = {The Model Theory of Differential Fields with Finitely Many Commuting
Derivations},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {885--913},
year = {2000},
url = {https://doi.org/10.2307/2586576},
doi = {10.2307/2586576},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mcgrail00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Moosa00,
author = {Rahim Moosa},
title = {A Note On Uniform Definability and Minimal Fields of Definition},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {817--821},
year = {2000},
url = {https://doi.org/10.2307/2586572},
doi = {10.2307/2586572},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Moosa00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NemetiS00,
author = {Istv{\'{a}}n N{\'{e}}meti and
G{\'{a}}bor S{\'{a}}gi},
title = {On The Equational Theory of Representable Polyadic Equality Algebras},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1143--1167},
year = {2000},
url = {https://doi.org/10.2307/2586692},
doi = {10.2307/2586692},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NemetiS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NiesS00,
author = {Andr{\'{e}} Nies and
Andrea Sorbi},
title = {Structural Properties and Sigma\({}^{\mbox{0}}\)\({}_{\mbox{2}}\)
Enumeration Degrees},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {285--292},
year = {2000},
url = {https://doi.org/10.2307/2586537},
doi = {10.2307/2586537},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NiesS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Normann00,
author = {Dag Normann},
title = {Computability over The Partial Continuous Functionals},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1133--1142},
year = {2000},
url = {https://doi.org/10.2307/2586691},
doi = {10.2307/2586691},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Normann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Orilia00,
author = {Francesco Orilia},
title = {Property Theory and The Revision Theory of Definitions},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {212--246},
year = {2000},
url = {https://doi.org/10.2307/2586533},
doi = {10.2307/2586533},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Orilia00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Otto00,
author = {Martin Otto},
title = {Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite
Structures},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1749--1757},
year = {2000},
url = {https://doi.org/10.2307/2695073},
doi = {10.2307/2695073},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Otto00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PerezU00,
author = {Ram{\'{o}}n Pino P{\'{e}}rez and
Carlos Uzc{\'{a}}tegui},
title = {On Representation Theorems for Nonmonotonic Consequence Relations},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1321--1337},
year = {2000},
url = {https://doi.org/10.2307/2586702},
doi = {10.2307/2586702},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PerezU00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pillay00,
author = {Anand Pillay},
title = {A Note on CM-Triviality and The Geometry of Forking},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {474--480},
year = {2000},
url = {https://doi.org/10.2307/2586549},
doi = {10.2307/2586549},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pillay00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Point00,
author = {Fran{\c{c}}oise Point},
title = {On Decidable Extensions of Presburger Arithmetic: From A. Bertrand
Numeration Systems to Pisot Numbers},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1347--1374},
year = {2000},
url = {https://doi.org/10.2307/2586704},
doi = {10.2307/2586704},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Point00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PoizatW00,
author = {Bruno Poizat and
Frank O. Wagner},
title = {Liftez Les Sylows! Une Suite {\`{A}} "Sous-Groupes P{\'{e}}riodiques
D'Un Groupe Stable"},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {703--704},
year = {2000},
url = {https://doi.org/10.2307/2586563},
doi = {10.2307/2586563},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PoizatW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pong00,
author = {Wai Yan Pong},
title = {Some Applications of Ordinal Dimensions to The Theory of Differentially
Closed Fields},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {347--356},
year = {2000},
url = {https://doi.org/10.2307/2586542},
doi = {10.2307/2586542},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pong00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Portier00,
author = {Natacha Portier},
title = {Le Probl{\`{e}}me des Grandes Puissances Et Celui des Grandes Racines},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1675--1685},
year = {2000},
url = {https://doi.org/10.2307/2695068},
doi = {10.2307/2695068},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Portier00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PrattS00,
author = {Ian E. Pratt and
Dominik J. Schoop},
title = {Expressivity in Polygonal, Plane Mereotopology},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {822--838},
year = {2000},
url = {https://doi.org/10.2307/2586573},
doi = {10.2307/2586573},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PrattS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Priest00,
author = {Graham Priest},
title = {Inconsistent Models of Arithmetic Part {II:} The General Case},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1519--1529},
year = {2000},
url = {https://doi.org/10.2307/2695062},
doi = {10.2307/2695062},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Priest00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PriscoH00,
author = {Carlos A. Di Prisco and
James M. Henle},
title = {Doughnuts, Floating Ordinals, Square Brackets, and Ultraflitters},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {461--473},
year = {2000},
url = {https://doi.org/10.2307/2586548},
doi = {10.2307/2586548},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PriscoH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Puninskaya00,
author = {Vera Puninskaya},
title = {Vaught's Conjecture for Modules Over {A} Serial Ring},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {155--163},
year = {2000},
url = {https://doi.org/10.2307/2586528},
doi = {10.2307/2586528},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Puninskaya00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pynko00,
author = {Alexej P. Pynko},
title = {Subprevarieties Versus Extensions. Application to The Logic of Paradox},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {756--766},
year = {2000},
url = {https://doi.org/10.2307/2586567},
doi = {10.2307/2586567},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pynko00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Sagi00,
author = {G{\'{a}}bor S{\'{a}}gi},
title = {A Completeness Theorem for Higher Order Logics},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {857--884},
year = {2000},
url = {https://doi.org/10.2307/2586575},
doi = {10.2307/2586575},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Sagi00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/SalbanyT00,
author = {S. Salbany and
Todor Todorov},
title = {Nonstandard Analysis in Topology: Nonstandard and Standard Compactifications},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1836--1840},
year = {2000},
url = {https://doi.org/10.2307/2695079},
doi = {10.2307/2695079},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/SalbanyT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/SambinBF00,
author = {Giovanni Sambin and
Giulia Battilotti and
Claudia Faggian},
title = {Basic Logic: Reflection, Symmetry, Visibility},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {979--1013},
year = {2000},
url = {https://doi.org/10.2307/2586685},
doi = {10.2307/2586685},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/SambinBF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Scanlon00,
author = {Thomas Scanlon},
title = {A Model Complete Theory of Valued D-Fields},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1758--1784},
year = {2000},
url = {https://doi.org/10.2307/2695074},
doi = {10.2307/2695074},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Scanlon00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schlechta00,
author = {Karl Schlechta},
title = {New Techniques and Completeness Results for Preferential Structures},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {719--746},
year = {2000},
url = {https://doi.org/10.2307/2586565},
doi = {10.2307/2586565},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schlechta00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Seldin00,
author = {Jonathan P. Seldin},
title = {On The Role of Implication in Formal Logic},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1076--1114},
year = {2000},
url = {https://doi.org/10.2307/2586689},
doi = {10.2307/2586689},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Seldin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ShafirS00,
author = {Ofer Shafir and
Saharon Shelah},
title = {More on Entangled Orders},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1823--1832},
year = {2000},
url = {https://doi.org/10.2307/2695077},
doi = {10.2307/2695077},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ShafirS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shami00,
author = {Ziv Shami},
title = {Definability in Low Simple Theories},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1481--1490},
year = {2000},
url = {https://doi.org/10.2307/2695059},
doi = {10.2307/2695059},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shami00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shelah00,
author = {Saharon Shelah},
title = {Was Sierpinski Right? {IV}},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1031--1054},
year = {2000},
url = {https://doi.org/10.2307/2586687},
doi = {10.2307/2586687},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shelah00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shelah00a,
author = {Saharon Shelah},
title = {On Quantification with {A} Finite Universe},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1055--1075},
year = {2000},
url = {https://doi.org/10.2307/2586688},
doi = {10.2307/2586688},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shelah00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shelah00b,
author = {Saharon Shelah},
title = {Applications of {PCF} Theory},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1624--1674},
year = {2000},
url = {https://doi.org/10.2307/2695067},
doi = {10.2307/2695067},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shelah00b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ShelahS00,
author = {Saharon Shelah and
Lee J. Stanley},
title = {Filters, Cohen Sets and Consistent Extensions of The Erd{\"{o}}s-Dushnik-Miller
Theorem},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {259--271},
year = {2000},
url = {https://doi.org/10.2307/2586535},
doi = {10.2307/2586535},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ShelahS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ShelahV00,
author = {Saharon Shelah and
Pauli V{\"{a}}is{\"{a}}nen},
title = {On Inverse gamma-Systems and The Number of L\({}_{\mbox{infinite lambda}}\)-Equivalent,
Non-Isomorphic Models for lambda Singular},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {272--284},
year = {2000},
url = {https://doi.org/10.2307/2586536},
doi = {10.2307/2586536},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ShelahV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ShelahV00a,
author = {Saharon Shelah and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Stationary Sets and Infinitary Logic},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1311--1320},
year = {2000},
url = {https://doi.org/10.2307/2586701},
doi = {10.2307/2586701},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ShelahV00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ShinodaS00,
author = {Juichi Shinoda and
Theodore A. Slaman},
title = {Recursive in {A} Generic Real},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {164--172},
year = {2000},
url = {https://doi.org/10.2307/2586529},
doi = {10.2307/2586529},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ShinodaS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Solecki00,
author = {Slawomir Solecki},
title = {Actions of Non-Compact and Non-Locally Compact Polish Groups},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1881--1894},
year = {2000},
url = {https://doi.org/10.2307/2695084},
doi = {10.2307/2695084},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Solecki00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Spreen00,
author = {Dieter Spreen},
title = {Corrigendum},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1917--1918},
year = {2000},
url = {https://doi.org/10.2307/2695087},
doi = {10.2307/2695087},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Spreen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Takeuti00,
author = {Gaisi Takeuti},
title = {G{\"{o}}del Sentences of Bounded Arithmetic},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1338--1346},
year = {2000},
url = {https://doi.org/10.2307/2586703},
doi = {10.2307/2586703},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Takeuti00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/TanakaY00,
author = {Kazuyuki Tanaka and
Takeshi Yamazaki},
title = {A Non-Standard Construction of Haar Measure and Weak K{\"{o}}nig's
Lemma},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {173--186},
year = {2000},
url = {https://doi.org/10.2307/2586530},
doi = {10.2307/2586530},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/TanakaY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Tent00,
author = {Katrin Tent},
title = {A Note on The Model Theory of Generalized Polygons},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {692--702},
year = {2000},
url = {https://doi.org/10.2307/2586562},
doi = {10.2307/2586562},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Tent00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wagner00,
author = {Frank O. Wagner},
title = {Minimal Fields},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1833--1835},
year = {2000},
url = {https://doi.org/10.2307/2695078},
doi = {10.2307/2695078},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wagner00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch00,
author = {Philip D. Welch},
title = {Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable
Reals},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1193--1203},
year = {2000},
url = {https://doi.org/10.2307/2586695},
doi = {10.2307/2586695},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Welch00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Willard00,
author = {Ross Willard},
title = {A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive
Varieties},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {187--200},
year = {2000},
url = {https://doi.org/10.2307/2586531},
doi = {10.2307/2586531},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Willard00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ye00,
author = {Feng Ye},
title = {Toward {A} Constructive Theory of Unbounded Linear Operators},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {357--370},
year = {2000},
url = {https://doi.org/10.2307/2586543},
doi = {10.2307/2586543},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ye00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Zapletal00,
author = {Jindrich Zapletal},
title = {Killing Ideals and Adding Reals},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {747--755},
year = {2000},
url = {https://doi.org/10.2307/2586566},
doi = {10.2307/2586566},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Zapletal00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Zeman00,
author = {Martin Zeman},
title = {Diamond at Mahlo Cardinals},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1813--1822},
year = {2000},
url = {https://doi.org/10.2307/2695076},
doi = {10.2307/2695076},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Zeman00.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.
retrieved on 2024-11-24 19:57 CET 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:
