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/jsyml49.bht:"
download as .bib file
@article{DBLP:journals/jsyml/Abe84,
author = {Yoshihiro Abe},
title = {Strongly Compact Cardinals, Elementary Embeddings and Fixed Points},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {808--812},
year = {1984},
url = {https://doi.org/10.2307/2274133},
doi = {10.2307/2274133},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Abe84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AddisonE84,
author = {J. W. Addison and
Herbert B. Enderton},
title = {Meeting of the Association for Symbolic Logic: Berkeley, 1983},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {322--326},
year = {1984},
url = {https://doi.org/10.2307/2274123},
doi = {10.2307/2274123},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AddisonE84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AlmukdadN84,
author = {Ahmad Almukdad and
David Nelson},
title = {Constructible Falsity and Inexact Predicates},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {231--233},
year = {1984},
url = {https://doi.org/10.2307/2274105},
doi = {10.2307/2274105},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AlmukdadN84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ambos-Spies84,
author = {Klaus Ambos{-}Spies},
title = {An Extension of the Nondiamond Theorem in Classical and alpha-Recursion
Theory},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {586--607},
year = {1984},
url = {https://doi.org/10.2307/2274191},
doi = {10.2307/2274191},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ambos-Spies84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AshD84,
author = {Christopher J. Ash and
Rodney G. Downey},
title = {Decidable Subspaces and Recursively Enumerable Subspaces},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1137--1145},
year = {1984},
url = {https://doi.org/10.2307/2274266},
doi = {10.2307/2274266},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AshD84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Avron84,
author = {Arnon Avron},
title = {Relevant Entailment-Semantics and Formal Systems},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {334--342},
year = {1984},
url = {https://doi.org/10.2307/2274169},
doi = {10.2307/2274169},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Avron84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Avron84a,
author = {Arnon Avron},
title = {On Modal Systems Having Arithmetical Interpretations},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {935--942},
year = {1984},
url = {https://doi.org/10.2307/2274147},
doi = {10.2307/2274147},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Avron84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bankston84,
author = {Paul Bankston},
title = {Expressive Power in First Order Topology},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {478--487},
year = {1984},
url = {https://doi.org/10.2307/2274179},
doi = {10.2307/2274179},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bankston84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BarbanelDT84,
author = {Julius B. Barbanel and
Carlos DiPrisco and
It Beng Tan},
title = {Many-Times Huge and Superhuge Cardinals},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {112--122},
year = {1984},
url = {https://doi.org/10.2307/2274094},
doi = {10.2307/2274094},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BarbanelDT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Baudisch84,
author = {Andreas Baudisch},
title = {Magidor-Malitz Quantifiers in Modules},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {1--8},
year = {1984},
url = {https://doi.org/10.2307/2274085},
doi = {10.2307/2274085},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Baudisch84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Baumgartner84,
author = {James E. Baumgartner},
title = {Generic Graph Construction},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {234--240},
year = {1984},
url = {https://doi.org/10.2307/2274106},
doi = {10.2307/2274106},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Baumgartner84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BaumgartnerH84,
author = {James E. Baumgartner and
James M. Henle},
title = {Infinite Subscripts from Infinite Exponents},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {558--562},
year = {1984},
url = {https://doi.org/10.2307/2274188},
doi = {10.2307/2274188},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BaumgartnerH84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BeesonS84,
author = {Michael Beeson and
Andre Scedrov},
title = {Church's Thesis, Continuity, and Set Theory},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {630--643},
year = {1984},
url = {https://doi.org/10.2307/2274195},
doi = {10.2307/2274195},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BeesonS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Benthem84,
author = {Johan van Benthem},
title = {Questions About Quantifiers},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {443--466},
year = {1984},
url = {https://doi.org/10.2307/2274176},
doi = {10.2307/2274176},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Benthem84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Blass84,
author = {Andreas Blass},
title = {There are not Exactly Five Objects},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {467--469},
year = {1984},
url = {https://doi.org/10.2307/2274177},
doi = {10.2307/2274177},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Blass84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Boffa84,
author = {Maurice Boffa},
title = {Arithmetic and the Theory of Types},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {621--624},
year = {1984},
url = {https://doi.org/10.2307/2274193},
doi = {10.2307/2274193},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Boffa84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BoolosF84,
author = {George Boolos and
Sy D. Friedman},
title = {Annual Meeting of the Association for Symbolic Logic: Boston 1983},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1441--1449},
year = {1984},
url = {https://doi.org/10.2307/2274306},
doi = {10.2307/2274306},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BoolosF84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Boricic84,
author = {Branislav R. Boricic},
title = {A Note on Some Intermediate Propositional Calculi},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {329--333},
year = {1984},
url = {https://doi.org/10.2307/2274168},
doi = {10.2307/2274168},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Boricic84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Buechler84,
author = {Steven Buechler},
title = {Expansions of Models of omega-Stable Theories},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {470--477},
year = {1984},
url = {https://doi.org/10.2307/2274178},
doi = {10.2307/2274178},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Buechler84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Buechler84a,
author = {Steven Buechler},
title = {Kueker's Conjecture for Superstable Theories},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {930--934},
year = {1984},
url = {https://doi.org/10.2307/2274146},
doi = {10.2307/2274146},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Buechler84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Burris84,
author = {Stanley Burris},
title = {Model Companions for Finitely Generated Universal Horn Classes},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {68--74},
year = {1984},
url = {https://doi.org/10.2307/2274092},
doi = {10.2307/2274092},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Burris84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Byerly84,
author = {Robert E. Byerly},
title = {Some Properties of Invariant Sets},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {9--21},
year = {1984},
url = {https://doi.org/10.2307/2274086},
doi = {10.2307/2274086},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Byerly84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CaicedoCCP84,
author = {Xavier Caicedo and
Rolando Chuaqui and
Newton C. A. da Costa and
Carlos A. Di Prisco},
title = {Meeting of the Association for Symbolic Logic: Caracas, Venezuela,
1983},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1430--1440},
year = {1984},
url = {https://doi.org/10.2307/2274305},
doi = {10.2307/2274305},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CaicedoCCP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CarlsonKM84,
author = {Tim Carlson and
Kenneth Kunen and
Arnold W. Miller},
title = {A Minimal Degree Which Collapses omega\({}_{\mbox{1}}\)},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {298--300},
year = {1984},
url = {https://doi.org/10.2307/2274111},
doi = {10.2307/2274111},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CarlsonKM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CasariFLLMD84,
author = {E. Casari and
E. J. Fenstad and
G. Lolli and
G. Longo and
Annalisa Marcja and
Dirk van Dalen},
title = {Meeting of the Association for Symbolic Logic: Florence, Italy 1982},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {683--710},
year = {1984},
url = {https://doi.org/10.2307/2274211},
doi = {10.2307/2274211},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CasariFLLMD84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cenzer84,
author = {Douglas A. Cenzer},
title = {Monotone Reducibility and the Family of Infinite Sets},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {774--782},
year = {1984},
url = {https://doi.org/10.2307/2274130},
doi = {10.2307/2274130},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cenzer84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cichon84,
author = {Jacek Cichon},
title = {On the Compactness of Some Boolean Algebras},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {63--67},
year = {1984},
url = {https://doi.org/10.2307/2274091},
doi = {10.2307/2274091},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cichon84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Clote84,
author = {Peter Clote},
title = {A Recursion Theoretic Analysis of the Clopen Ramsey Theorem},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {376--400},
year = {1984},
url = {https://doi.org/10.2307/2274171},
doi = {10.2307/2274171},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Clote84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Compton84,
author = {Kevin J. Compton},
title = {An Undecidable Problem in Finite Combinatorics},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {842--850},
year = {1984},
url = {https://doi.org/10.2307/2274138},
doi = {10.2307/2274138},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Compton84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cooper84,
author = {S. Barry Cooper},
title = {Partial Degrees and the Density Problem. Part 2: The Enumeration Degrees
of the sigma\({}_{\mbox{2}}\) Sets are Dense},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {503--513},
year = {1984},
url = {https://doi.org/10.2307/2274181},
doi = {10.2307/2274181},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cooper84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Crabbe84,
author = {Marcel Crabb{\'{e}}},
title = {Typical Ambiguity and the Axiom of Choice},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1074--1078},
year = {1984},
url = {https://doi.org/10.2307/2274262},
doi = {10.2307/2274262},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Crabbe84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cresswell84,
author = {M. J. Cresswell},
title = {An Incomplete Decidable Modal Logic},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {520--527},
year = {1984},
url = {https://doi.org/10.2307/2274183},
doi = {10.2307/2274183},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cresswell84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Dalen84,
author = {Dirk van Dalen},
title = {How to Glue Analysis Models},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1339--1349},
year = {1984},
url = {https://doi.org/10.2307/2274283},
doi = {10.2307/2274283},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Dalen84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Delon84,
author = {Fran{\c{c}}oise Delon},
title = {Espaces Ultrametriques},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {405--424},
year = {1984},
url = {https://doi.org/10.2307/2274173},
doi = {10.2307/2274173},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Delon84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Downey84,
author = {Rodney G. Downey},
title = {Co-Immune Subspaces and Complementation in {V}},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {528--538},
year = {1984},
url = {https://doi.org/10.2307/2274184},
doi = {10.2307/2274184},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Downey84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Downey84a,
author = {Rodney G. Downey},
title = {Bases of Supermaximal Subspaces and Steinitz Systems. {I}},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1146--1159},
year = {1984},
url = {https://doi.org/10.2307/2274267},
doi = {10.2307/2274267},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Downey84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyR84,
author = {Rodney G. Downey and
Jeffrey B. Remmel},
title = {The Universal Complementation Property},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1125--1136},
year = {1984},
url = {https://doi.org/10.2307/2274265},
doi = {10.2307/2274265},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Dries84,
author = {Lou van den Dries},
title = {Algebraic Theories with Definable Skolem Functions},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {625--629},
year = {1984},
url = {https://doi.org/10.2307/2274194},
doi = {10.2307/2274194},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Dries84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Feferman84,
author = {Solomon Feferman},
title = {Toward Useful Type-Free Theories. {I}},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {75--111},
year = {1984},
url = {https://doi.org/10.2307/2274093},
doi = {10.2307/2274093},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Feferman84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Fitch84,
author = {Frederic Brenton Fitch},
title = {Correction to a Definition of Negation},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {47--50},
year = {1984},
url = {https://doi.org/10.2307/2274089},
doi = {10.2307/2274089},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Fitch84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Fitting84,
author = {Melvin Fitting},
title = {Linear Reasoning in Modal Logic},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1363--1378},
year = {1984},
url = {https://doi.org/10.2307/2274285},
doi = {10.2307/2274285},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Fitting84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Freiling84,
author = {Chris Freiling},
title = {Banach Games},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {343--375},
year = {1984},
url = {https://doi.org/10.2307/2274170},
doi = {10.2307/2274170},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Freiling84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gilman84,
author = {Robert H. Gilman},
title = {Characteristically Simple \({}_{\mbox{0}}\)-Categorical Groups},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {900--907},
year = {1984},
url = {https://doi.org/10.2307/2274143},
doi = {10.2307/2274143},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gilman84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GirardV84,
author = {Jean{-}Yves Girard and
Jacqueline Vauzeilles},
title = {Functors and Ordinal Notations. {I:} {A} Functorial Construction of
the Veblen Hierarchy},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {713--729},
year = {1984},
url = {https://doi.org/10.2307/2274127},
doi = {10.2307/2274127},
timestamp = {Sat, 30 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/GirardV84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GirardV84a,
author = {Jean{-}Yves Girard and
Jacqueline Vauzeilles},
title = {Functors and Ordinal Notations. {II:} {A} Functorial Construction
of the Bachmann Hierarchy},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1079--1114},
year = {1984},
url = {https://doi.org/10.2307/2274263},
doi = {10.2307/2274263},
timestamp = {Sat, 30 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/GirardV84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goldblatt84,
author = {Robert Goldblatt},
title = {Orthomodularity is not Elementary},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {401--404},
year = {1984},
url = {https://doi.org/10.2307/2274172},
doi = {10.2307/2274172},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Goldblatt84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goldfarb84,
author = {Warren D. Goldfarb},
title = {The Unsolvability of the Godel Class with Identity},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1237--1252},
year = {1984},
url = {https://doi.org/10.2307/2274274},
doi = {10.2307/2274274},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Goldfarb84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GoldfarbGS84,
author = {Warren D. Goldfarb and
Yuri Gurevich and
Saharon Shelah},
title = {A Decidable Subclass of the Minimal Godel Class with Identity},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1253--1261},
year = {1984},
url = {https://doi.org/10.2307/2274275},
doi = {10.2307/2274275},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GoldfarbGS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goodman84,
author = {Nicolas D. Goodman},
title = {Epistemic Arithmetic is a Conservative Extension of Intuitionistic
Arithmetic},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {192--203},
year = {1984},
url = {https://doi.org/10.2307/2274102},
doi = {10.2307/2274102},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Goodman84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GrifforN84,
author = {Edward R. Griffor and
Dag Normann},
title = {The Definability of E(alpha)},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {437--442},
year = {1984},
url = {https://doi.org/10.2307/2274175},
doi = {10.2307/2274175},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GrifforN84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gumb84,
author = {Raymond D. Gumb},
title = {An Extended Joint Consistency Theorem for a Family of Free Modal Logics
with Equality},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {174--183},
year = {1984},
url = {https://doi.org/10.2307/2274100},
doi = {10.2307/2274100},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gumb84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GurevichL84,
author = {Yuri Gurevich and
Harry R. Lewis},
title = {The Word Problem for Cancellation Semigroups with Zero},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {184--191},
year = {1984},
url = {https://doi.org/10.2307/2274101},
doi = {10.2307/2274101},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GurevichL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Henle84,
author = {James M. Henle},
title = {Spector Forcing},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {542--554},
year = {1984},
url = {https://doi.org/10.2307/2274186},
doi = {10.2307/2274186},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Henle84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Henle84a,
author = {James M. Henle},
title = {Weak Strong Partition Cardinals},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {555--557},
year = {1984},
url = {https://doi.org/10.2307/2274187},
doi = {10.2307/2274187},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Henle84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HenleKW84,
author = {James M. Henle and
E. M. Kleinberg and
Ronald J. Watro},
title = {On the Ultrafilters and Ultrapowers of Strong Partition Cardinals},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1268--1272},
year = {1984},
url = {https://doi.org/10.2307/2274277},
doi = {10.2307/2274277},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/HenleKW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HensonKK84,
author = {C. Ward Henson and
Matt Kaufmann and
H. Jerome Keisler},
title = {The Strength of Nonstandard Methods in Arithmetic},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1039--1058},
year = {1984},
url = {https://doi.org/10.2307/2274260},
doi = {10.2307/2274260},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HensonKK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Herrmann84,
author = {Eberhard Herrmann},
title = {Definable Structures in the Lattice of Recursively Enumerable Sets},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1190--1197},
year = {1984},
url = {https://doi.org/10.2307/2274271},
doi = {10.2307/2274271},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Herrmann84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HillerS84,
author = {A. P. Hiller and
J. Zimbarg Sobrinho},
title = {Self-Reference with Negative Types},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {754--773},
year = {1984},
url = {https://doi.org/10.2307/2274129},
doi = {10.2307/2274129},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HillerS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hodes84,
author = {Harold T. Hodes},
title = {Finite Level Borel Games and a Problem Concerning the Jump Hierarchy},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1301--1318},
year = {1984},
url = {https://doi.org/10.2307/2274280},
doi = {10.2307/2274280},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hodes84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hodes84a,
author = {Harold T. Hodes},
title = {Well-Behaved Modal Logics},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1393--1402},
year = {1984},
url = {https://doi.org/10.2307/2274287},
doi = {10.2307/2274287},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hodes84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HoevenM84,
author = {Gerrit van Der Hoeven and
Ieke Moerdijk},
title = {On Choice Sequences Determined by Spreads},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {908--916},
year = {1984},
url = {https://doi.org/10.2307/2274144},
doi = {10.2307/2274144},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HoevenM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HortO84,
author = {Christian Hort and
Horst Osswald},
title = {On Nonstandard Models in Higher Order Logic},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {204--219},
year = {1984},
url = {https://doi.org/10.2307/2274103},
doi = {10.2307/2274103},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HortO84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jager84,
author = {Gerhard J{\"{a}}ger},
title = {The Strength of Admissibility Without Foundation},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {867--879},
year = {1984},
url = {https://doi.org/10.2307/2274140},
doi = {10.2307/2274140},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jager84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JockuschLMMP84,
author = {Carl G. Jockusch Jr. and
Richard Laver and
J. Donald Monk and
Jan Mycielski and
Jon Pearce},
title = {Annual Meeting of the Association for Symbolic Logic: Denver, 1983},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {674--682},
year = {1984},
url = {https://doi.org/10.2307/2274210},
doi = {10.2307/2274210},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JockuschLMMP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JockuschS84,
author = {Carl G. Jockusch Jr. and
Richard A. Shore},
title = {Pseudo-Jump Operators. {II:} Transfinite Iterations, Hierarchies and
Minimal Covers},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1205--1236},
year = {1984},
url = {https://doi.org/10.2307/2274273},
doi = {10.2307/2274273},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JockuschS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JonesM84,
author = {James P. Jones and
Yuri V. Matijasevic},
title = {Register Machine Proof of the Theorem on Exponential Diophantine Representation
of Enumerable Sets},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {818--829},
year = {1984},
url = {https://doi.org/10.2307/2274135},
doi = {10.2307/2274135},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JonesM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kalfa84,
author = {Cornelia Kalfa},
title = {Some Undecidability Results in Strong Algebraic Languages},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {951--954},
year = {1984},
url = {https://doi.org/10.2307/2274149},
doi = {10.2307/2274149},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kalfa84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kalfa84a,
author = {Cornelia Kalfa},
title = {Decidable Properties of Finite Sets of Equations in Trivial Languages},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1333--1338},
year = {1984},
url = {https://doi.org/10.2307/2274282},
doi = {10.2307/2274282},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kalfa84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kaufmann84,
author = {Matt Kaufmann},
title = {Filter Logics on omega},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {241--256},
year = {1984},
url = {https://doi.org/10.2307/2274107},
doi = {10.2307/2274107},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kaufmann84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kechris84,
author = {Alexander S. Kechris},
title = {The Axiom of Determinancy Implies Dependent Choices in {L(R)}},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {161--173},
year = {1984},
url = {https://doi.org/10.2307/2274099},
doi = {10.2307/2274099},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kechris84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KnightLS84,
author = {Julia F. Knight and
Alistair H. Lachlan and
Robert I. Soare},
title = {Two Theorems on Degrees of Models of True Arithmetic},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {425--436},
year = {1984},
url = {https://doi.org/10.2307/2274174},
doi = {10.2307/2274174},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KnightLS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Koepke84,
author = {Peter Koepke},
title = {The Consistency Strength of the Free-Subset Property for omega\({}_{\mbox{omega}}\)},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1198--1204},
year = {1984},
url = {https://doi.org/10.2307/2274272},
doi = {10.2307/2274272},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Koepke84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kotlarski84,
author = {Henryk Kotlarski},
title = {Some Remarks on Initial Segments in Models of Peano Arithmetic},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {955--960},
year = {1984},
url = {https://doi.org/10.2307/2274150},
doi = {10.2307/2274150},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kotlarski84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kranakis84,
author = {Evangelos Kranakis},
title = {Stepping Up Lemmas in Definable Partitions},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {22--31},
year = {1984},
url = {https://doi.org/10.2307/2274087},
doi = {10.2307/2274087},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kranakis84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LermanR84,
author = {Manuel Lerman and
Jeffrey B. Remmel},
title = {The Universal Splitting Property. {II}},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {137--150},
year = {1984},
url = {https://doi.org/10.2307/2274097},
doi = {10.2307/2274097},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/LermanR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LongoM84,
author = {Giuseppe Longo and
Eugenio Moggi},
title = {The Hereditary Partial Effective Functionals and Recursion Theory
in Higher Types},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1319--1332},
year = {1984},
url = {https://doi.org/10.2307/2274281},
doi = {10.2307/2274281},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/LongoM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Loveys84,
author = {James Loveys},
title = {The Uniqueness of Envelopes in \({}_{\mbox{0}}\)-Categorical, \({}_{\mbox{0}}\)-Stable
Structures},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1171--1184},
year = {1984},
url = {https://doi.org/10.2307/2274269},
doi = {10.2307/2274269},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Loveys84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Maass84,
author = {Wolfgang Maass},
title = {On the Orbits of Hyperhypersimple Sets},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {51--62},
year = {1984},
url = {https://doi.org/10.2307/2274090},
doi = {10.2307/2274090},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Maass84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Maier84,
author = {Berthold J. Maier},
title = {Existentially Closed Torsion-Free Nilpotent Groups of Class Three},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {220--230},
year = {1984},
url = {https://doi.org/10.2307/2274104},
doi = {10.2307/2274104},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Maier84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Martinez84,
author = {Juan Carlos Mart{\'{\i}}nez},
title = {Accessible Sets and {(L} 1)\({}_{\mbox{t}}\)-Equivalence for T\({}_{\mbox{3}}\)
Spaces},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {961--967},
year = {1984},
url = {https://doi.org/10.2307/2274151},
doi = {10.2307/2274151},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Martinez84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mekler84,
author = {Alan H. Mekler},
title = {C. C. C. Forcing without Combinatorics},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {830--832},
year = {1984},
url = {https://doi.org/10.2307/2274136},
doi = {10.2307/2274136},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mekler84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MeyerM84,
author = {Robert K. Meyer and
Chris Mortensen},
title = {Inconsistent Models for Relevant Arithmetics},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {917--929},
year = {1984},
url = {https://doi.org/10.2307/2274145},
doi = {10.2307/2274145},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MeyerM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MillerR84,
author = {D. Miller and
Jeffrey B. Remmel},
title = {Effectively Nowhere Simple Sets},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {129--136},
year = {1984},
url = {https://doi.org/10.2307/2274096},
doi = {10.2307/2274096},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MillerR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MillsP84,
author = {George Mills and
Jeff B. Paris},
title = {Regularity in Models of Arithmetic},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {272--280},
year = {1984},
url = {https://doi.org/10.2307/2274109},
doi = {10.2307/2274109},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MillsP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Moerdijk84,
author = {Ieke Moerdijk},
title = {Heine-Borel Does not Imply the Fan Theorem},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {514--519},
year = {1984},
url = {https://doi.org/10.2307/2274182},
doi = {10.2307/2274182},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Moerdijk84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Motohashi84,
author = {Nobuyoshi Motohashi},
title = {Equality and Lyndon's Interpolation Theorem},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {123--128},
year = {1984},
url = {https://doi.org/10.2307/2274095},
doi = {10.2307/2274095},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Motohashi84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Motohashi84a,
author = {Nobuyoshi Motohashi},
title = {A Normal Form Theorem for First Order Formulas and Its Application
to Gaifman's Splitting Theorem},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1262--1267},
year = {1984},
url = {https://doi.org/10.2307/2274276},
doi = {10.2307/2274276},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Motohashi84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Oger84,
author = {Francis Oger},
title = {The Model Theory of Finitely Generated Finite-by-Abelian Groups},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1115--1124},
year = {1984},
url = {https://doi.org/10.2307/2274264},
doi = {10.2307/2274264},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Oger84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pelc84,
author = {Andrzej Pelc},
title = {Idempotent Ideals on Abelian Groups},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {813--817},
year = {1984},
url = {https://doi.org/10.2307/2274134},
doi = {10.2307/2274134},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pelc84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pillay84,
author = {Anand Pillay},
title = {Regular Types in Nonmultidimensional omega-Stable Theories},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {880--891},
year = {1984},
url = {https://doi.org/10.2307/2274141},
doi = {10.2307/2274141},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pillay84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PillayS84,
author = {Anand Pillay and
Gabriel Srour},
title = {Closed Sets and Chain Conditions in Stable Theories},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1350--1362},
year = {1984},
url = {https://doi.org/10.2307/2274284},
doi = {10.2307/2274284},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PillayS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat84,
author = {Bruno Poizat},
title = {Deux Remarques a Propos de la Propriete de Recouvrement Fini},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {803--807},
year = {1984},
url = {https://doi.org/10.2307/2274132},
doi = {10.2307/2274132},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Priest84,
author = {Graham Priest},
title = {Meeting of the Association for Symbolic Logic: Perth, 1983},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1426--1429},
year = {1984},
url = {https://doi.org/10.2307/2274304},
doi = {10.2307/2274304},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Priest84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PudlakS84,
author = {Pavel Pudl{\'{a}}k and
Anton{\'{\i}}n Sochor},
title = {Models of the Alternative Set Theory},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {570--585},
year = {1984},
url = {https://doi.org/10.2307/2274190},
doi = {10.2307/2274190},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PudlakS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Rosenthal84,
author = {David Rosenthal},
title = {The Order Indiscernibles of Divisible Ordered Abelian Groups},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {151--160},
year = {1984},
url = {https://doi.org/10.2307/2274098},
doi = {10.2307/2274098},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Rosenthal84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Rothmaler84,
author = {Philipp Rothmaler},
title = {Some Model Theory of Modules. {III.} On Infiniteness of Sets Definable
in Modules},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {32--46},
year = {1984},
url = {https://doi.org/10.2307/2274088},
doi = {10.2307/2274088},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Rothmaler84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ruitenburg84,
author = {Wim Ruitenburg},
title = {On the Period of Sequences (A\({}^{\mbox{n}}\)(p)) in Intuitionistic
Propositional Calculus},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {892--899},
year = {1984},
url = {https://doi.org/10.2307/2274142},
doi = {10.2307/2274142},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ruitenburg84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Saffe84,
author = {J{\"{u}}rgen Saffe},
title = {Categoricity and Ranks},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1379--1392},
year = {1984},
url = {https://doi.org/10.2307/2274286},
doi = {10.2307/2274286},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Saffe84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Sami84,
author = {Ramez L. Sami},
title = {On Sigma\({}^{\mbox{1}}\)\({}_{\mbox{1}}\) Equivalence Relations with
Borel Classes of Bounded Rank},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1273--1283},
year = {1984},
url = {https://doi.org/10.2307/2274278},
doi = {10.2307/2274278},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Sami84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/SaracinoW84,
author = {Dan Saracino and
Carol Wood},
title = {{QE} Commutative Nilrings},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {644--651},
year = {1984},
url = {https://doi.org/10.2307/2274196},
doi = {10.2307/2274196},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/SaracinoW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schroeder-Heister84,
author = {Peter Schroeder{-}Heister},
title = {A Natural Extension of Natural Deduction},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1284--1300},
year = {1984},
url = {https://doi.org/10.2307/2274279},
doi = {10.2307/2274279},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schroeder-Heister84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shelah84,
author = {Saharon Shelah},
title = {Diamonds, Uniformization},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1022--1033},
year = {1984},
url = {https://doi.org/10.2307/2274258},
doi = {10.2307/2274258},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shelah84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shelah84a,
author = {Saharon Shelah},
title = {More on Proper Forcing},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1034--1038},
year = {1984},
url = {https://doi.org/10.2307/2274259},
doi = {10.2307/2274259},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shelah84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ShelahW84,
author = {Saharon Shelah and
W. Hugh Woodin},
title = {Forcing the Failure of Ch by Adding a Real},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1185--1189},
year = {1984},
url = {https://doi.org/10.2307/2274270},
doi = {10.2307/2274270},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ShelahW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Simpson84,
author = {Stephen G. Simpson},
title = {Which Set Existence Axioms are Needed to Prove the Cauchy/Peano Theorem
for Ordinary Differential Equations?},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {783--802},
year = {1984},
url = {https://doi.org/10.2307/2274131},
doi = {10.2307/2274131},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Simpson84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Smith84,
author = {Kay Smith},
title = {Commutative Regular Rings and Boolean-Valued Fields},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {281--297},
year = {1984},
url = {https://doi.org/10.2307/2274110},
doi = {10.2307/2274110},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Smith84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Smith84a,
author = {Jan M. Smith},
title = {An Interpretation of Martin-Lof's Type Theory in a Type-Free Theory
of Propositions},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {730--753},
year = {1984},
url = {https://doi.org/10.2307/2274128},
doi = {10.2307/2274128},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Smith84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Sureson84,
author = {Claude Sureson},
title = {Complexity of kappa-Ultrafilters and Inner Models with Measurable
Cardinals},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {833--841},
year = {1984},
url = {https://doi.org/10.2307/2274137},
doi = {10.2307/2274137},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Sureson84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/TakeutiT84,
author = {Gaisi Takeuti and
Satoko Titani},
title = {Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {851--866},
year = {1984},
url = {https://doi.org/10.2307/2274139},
doi = {10.2307/2274139},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/TakeutiT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Urquhart84,
author = {Alasdair Urquhart},
title = {The Undecidability of Entailment and Relevant Implication},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1059--1073},
year = {1984},
url = {https://doi.org/10.2307/2274261},
doi = {10.2307/2274261},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Urquhart84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Velleman84,
author = {Dan Velleman},
title = {Simplified Morasses},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {257--271},
year = {1984},
url = {https://doi.org/10.2307/2274108},
doi = {10.2307/2274108},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Velleman84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Velleman84a,
author = {Dan Velleman},
title = {Simplified Morasses with Linear Limits},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1001--1021},
year = {1984},
url = {https://doi.org/10.2307/2274257},
doi = {10.2307/2274257},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Velleman84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Watnick84,
author = {Richard Watnick},
title = {A Generalization of Tennenbaum's Theorem on Effectively Finite Recursive
Linear Orderings},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {563--569},
year = {1984},
url = {https://doi.org/10.2307/2274189},
doi = {10.2307/2274189},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Watnick84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Watro84,
author = {Ronald J. Watro},
title = {On Partitioning the Infinite Subsets of Large Cardinals},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {539--541},
year = {1984},
url = {https://doi.org/10.2307/2274185},
doi = {10.2307/2274185},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Watro84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch84,
author = {Lawrence V. Welch},
title = {A Hierarchy of Families of Recursively Enumerable Degrees},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1160--1170},
year = {1984},
url = {https://doi.org/10.2307/2274268},
doi = {10.2307/2274268},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Welch84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Woodruff84,
author = {Peter W. Woodruff},
title = {On Supervaluations in Free Logic},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {943--950},
year = {1984},
url = {https://doi.org/10.2307/2274148},
doi = {10.2307/2274148},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Woodruff84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Yang84,
author = {Dong Ping Yang},
title = {On the Embedding of alpha-Recursive Presentable Lattices into the
alpha-Recursive Degrees Below 0'},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {488--502},
year = {1984},
url = {https://doi.org/10.2307/2274180},
doi = {10.2307/2274180},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Yang84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Zadrozny84,
author = {Wlodzimierz Zadrozny},
title = {Ordinal Definability in Jensen's Model},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {608--620},
year = {1984},
url = {https://doi.org/10.2307/2274192},
doi = {10.2307/2274192},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Zadrozny84.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-06-05 18:06 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:
