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/jsyml50.bht:"
download as .bib file
@article{DBLP:journals/jsyml/Abe85,
author = {Yoshihiro Abe},
title = {Some Results Concerning Strongly Compact Cardinals},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {874--880},
year = {1985},
url = {https://doi.org/10.2307/2273977},
doi = {10.2307/2273977},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Abe85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AdamowiczM85,
author = {Zofia Adamowicz and
Guillermo Morales{-}Luna},
title = {A Recursive Model for Arithmetic with Weak Induction},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {49--54},
year = {1985},
url = {https://doi.org/10.2307/2273787},
doi = {10.2307/2273787},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AdamowiczM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AlchourronGM85,
author = {Carlos E. Alchourr{\'{o}}n and
Peter G{\"{a}}rdenfors and
David Makinson},
title = {On the Logic of Theory Change: Partial Meet Contraction and Revision
Functions},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {510--530},
year = {1985},
url = {https://doi.org/10.2307/2274239},
doi = {10.2307/2274239},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AlchourronGM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Amer85,
author = {Mohamed A. Amer},
title = {Extension of Relatively {\(\vert\)}sigma-Additive Probabilities on
Boolean Algebras of Logic},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {589--596},
year = {1985},
url = {https://doi.org/10.2307/2274314},
doi = {10.2307/2274314},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Amer85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AndrekaN85,
author = {Hajnal Andr{\'{e}}ka and
Istv{\'{a}}n N{\'{e}}meti},
title = {On the Number of Generators of Cylindric Algebras},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {865--873},
year = {1985},
url = {https://doi.org/10.2307/2273976},
doi = {10.2307/2273976},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AndrekaN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Apter85,
author = {Arthur W. Apter},
title = {An AD-Like Model},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {531--543},
year = {1985},
url = {https://doi.org/10.2307/2274240},
doi = {10.2307/2274240},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Apter85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bacon85,
author = {John Bacon},
title = {The Completeness of a Predicate-Functor Logic},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {903--926},
year = {1985},
url = {https://doi.org/10.2307/2273980},
doi = {10.2307/2273980},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bacon85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Baldwin85,
author = {Stewart Baldwin},
title = {The -Ordering on Normal Ultrafilters},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {936--952},
year = {1985},
url = {https://doi.org/10.2307/2273982},
doi = {10.2307/2273982},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Baldwin85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BaldwinKK85,
author = {John T. Baldwin and
Matt Kaufmann and
Julia F. Knight},
title = {Meeting of the Association for Symbolic Logic: Notre Dame, Indiana,
1984},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {284--286},
year = {1985},
url = {https://doi.org/10.2307/2273819},
doi = {10.2307/2273819},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BaldwinKK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BaumgartnerD85,
author = {James E. Baumgartner and
Peter Lars Dordal},
title = {Adjoining Dominating Functions},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {94--101},
year = {1985},
url = {https://doi.org/10.2307/2273792},
doi = {10.2307/2273792},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BaumgartnerD85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bauval85,
author = {Anne Bauval},
title = {Polynomial Rings and Weak Second-order Logic},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {953--972},
year = {1985},
url = {https://doi.org/10.2307/2273983},
doi = {10.2307/2273983},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bauval85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Becker85,
author = {Howard Becker},
title = {Determinacy of Banach Games},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {110--122},
year = {1985},
url = {https://doi.org/10.2307/2273794},
doi = {10.2307/2273794},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Becker85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bellot85,
author = {Patrick Bellot},
title = {A New Proof for Craig's Theorem},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {395--396},
year = {1985},
url = {https://doi.org/10.2307/2274227},
doi = {10.2307/2274227},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bellot85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Benabou85,
author = {Jean Benabou},
title = {Fibered Categories and the Foundations of Naive Category Theory},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {10--37},
year = {1985},
url = {https://doi.org/10.2307/2273784},
doi = {10.2307/2273784},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Benabou85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bezem85,
author = {Marc Bezem},
title = {Isomorphisms Between {HEO} and HROE, {ECF} and {ICFE}},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {359--371},
year = {1985},
url = {https://doi.org/10.2307/2274222},
doi = {10.2307/2274222},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bezem85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bezem85a,
author = {Marc Bezem},
title = {Strongly Majorizable Functionals of Finite Type: {A} Model for Barrecursion
Containing Discontinuous Functionals},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {652--660},
year = {1985},
url = {https://doi.org/10.2307/2274319},
doi = {10.2307/2274319},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bezem85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Blass85,
author = {Andreas Blass},
title = {Acknowledgement of Priority},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {781},
year = {1985},
url = {https://doi.org/10.2307/2274329},
doi = {10.2307/2274329},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Blass85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BoffaC85,
author = {Maurice Boffa and
Paolo Casalegno},
title = {The Consistency of Some 4-Stratified Subsystem of {NF} Including NF\({}_{\mbox{3}}\)},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {407--411},
year = {1985},
url = {https://doi.org/10.2307/2274229},
doi = {10.2307/2274229},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BoffaC85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Buechler85,
author = {Steven Buechler},
title = {The Geometry of Weakly Minimal Types},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {1044--1053},
year = {1985},
url = {https://doi.org/10.2307/2273989},
doi = {10.2307/2273989},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Buechler85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Buechler85a,
author = {Steven Buechler},
title = {One Theorem of Zil'ber's on Strongly Minimal Sets},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {1054--1061},
year = {1985},
url = {https://doi.org/10.2307/2273990},
doi = {10.2307/2273990},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Buechler85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Casalegno85,
author = {Paolo Casalegno},
title = {On the T-Degrees of Partial Functions},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {580--588},
year = {1985},
url = {https://doi.org/10.2307/2274313},
doi = {10.2307/2274313},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Casalegno85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Dosen85,
author = {Kosta Dosen},
title = {Sequent-Systems for Modal Logic},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {149--168},
year = {1985},
url = {https://doi.org/10.2307/2273797},
doi = {10.2307/2273797},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Dosen85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyH85,
author = {Rodney G. Downey and
Geoffrey R. Hird},
title = {Automorphisms of Supermaximal Subspaces},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {1--9},
year = {1985},
url = {https://doi.org/10.2307/2273783},
doi = {10.2307/2273783},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyH85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DriesS85,
author = {Lou van den Dries and
Rick L. Smith},
title = {Decidable Regularly Closed Fields of Algebraic Numbers},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {468--475},
year = {1985},
url = {https://doi.org/10.2307/2274235},
doi = {10.2307/2274235},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DriesS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/EklofM85,
author = {Paul C. Eklof and
Hans{-}Christian Mez},
title = {The Ideal Structure of Existentially Closed Algebras},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {1025--1043},
year = {1985},
url = {https://doi.org/10.2307/2273988},
doi = {10.2307/2273988},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/EklofM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Enayat85,
author = {Ali Enayat},
title = {Weakly Compact Cardinals in Models of Set Theory},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {476--486},
year = {1985},
url = {https://doi.org/10.2307/2274236},
doi = {10.2307/2274236},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Enayat85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Fine85,
author = {Kit Fine},
title = {Logics Containing {K4.} Part {II}},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {619--651},
year = {1985},
url = {https://doi.org/10.2307/2274318},
doi = {10.2307/2274318},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Fine85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Flagg85,
author = {Robert C. Flagg},
title = {Epistemic Set Theory is a Conservative Extension of Intuitionistic
Set Theory},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {895--902},
year = {1985},
url = {https://doi.org/10.2307/2273979},
doi = {10.2307/2273979},
timestamp = {Sun, 08 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Flagg85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Forster85,
author = {Thomas E. Forster},
title = {The Status of the Axiom of Choice in Set Theory with a Universal Set},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {701--707},
year = {1985},
url = {https://doi.org/10.2307/2274324},
doi = {10.2307/2274324},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Forster85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FortiH85,
author = {Marco Forti and
Furio Honsell},
title = {The Consistency of the Axiom of Universality for the Ordering of Cardinalities},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {502--509},
year = {1985},
url = {https://doi.org/10.2307/2274238},
doi = {10.2307/2274238},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FortiH85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman85,
author = {Sy D. Friedman},
title = {A Guide to "Coding the Universe" by Beller, Jensen, Welch},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {1002--1019},
year = {1985},
url = {https://doi.org/10.2307/2273986},
doi = {10.2307/2273986},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Friedman85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gardenfors85,
author = {Peter G{\"{a}}rdenfors},
title = {Propositional Logic Based on the Dynamics of Belief},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {390--394},
year = {1985},
url = {https://doi.org/10.2307/2274226},
doi = {10.2307/2274226},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gardenfors85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gitik85,
author = {Moti Gitik},
title = {Nonsplitting Subset of {P} (\({}^{\mbox{+}}\))},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {881--894},
year = {1985},
url = {https://doi.org/10.2307/2273978},
doi = {10.2307/2273978},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gitik85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GitikMW85,
author = {Moti Gitik and
Menachem Magidor and
W. Hugh Woodin},
title = {Two Weak Consequences of 0\({}^{\mbox{{\#}}}\)},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {597--603},
year = {1985},
url = {https://doi.org/10.2307/2274315},
doi = {10.2307/2274315},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GitikMW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goldblatt85,
author = {Robert Goldblatt},
title = {On the Role of the Baire Category Theorem and Dependent Choice in
the Foundations of Logic},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {412--422},
year = {1985},
url = {https://doi.org/10.2307/2274230},
doi = {10.2307/2274230},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Goldblatt85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goodman85,
author = {Nicolas D. Goodman},
title = {Replacement and Collection in Intuitionistic Set Theory},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {344--348},
year = {1985},
url = {https://doi.org/10.2307/2274220},
doi = {10.2307/2274220},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Goodman85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Grilliot85,
author = {Thomas J. Grilliot},
title = {Disturbing Arithmetic},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {375--379},
year = {1985},
url = {https://doi.org/10.2307/2274224},
doi = {10.2307/2274224},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Grilliot85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GrunewaldS85,
author = {Fritz Grunewald and
Daniel Segal},
title = {Decision Problems Concerning S-Arithmetic Groups},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {743--772},
year = {1985},
url = {https://doi.org/10.2307/2274327},
doi = {10.2307/2274327},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GrunewaldS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GurevichS85,
author = {Yuri Gurevich and
Saharon Shelah},
title = {The Decision Problem for Branching Time Logic},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {668--681},
year = {1985},
url = {https://doi.org/10.2307/2274321},
doi = {10.2307/2274321},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GurevichS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Harnik85,
author = {Victor Harnik},
title = {Stability Theory and Set Existence Axioms},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {123--137},
year = {1985},
url = {https://doi.org/10.2307/2273795},
doi = {10.2307/2273795},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Harnik85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hartley85,
author = {John P. Hartley},
title = {Effective Discontinuity and a Characterisation of the Superjump},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {349--358},
year = {1985},
url = {https://doi.org/10.2307/2274221},
doi = {10.2307/2274221},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hartley85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hook85,
author = {Julian L. Hook},
title = {A Note on Interpretations of Many-Sorted Theories},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {372--374},
year = {1985},
url = {https://doi.org/10.2307/2274223},
doi = {10.2307/2274223},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hook85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hoover85,
author = {Douglas N. Hoover},
title = {A Probabilistic Interpolation Theorem},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {708--713},
year = {1985},
url = {https://doi.org/10.2307/2274325},
doi = {10.2307/2274325},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hoover85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Howard85,
author = {Paul E. Howard},
title = {Subgroups of a Free Group and the Axiom of Choice},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {458--467},
year = {1985},
url = {https://doi.org/10.2307/2274234},
doi = {10.2307/2274234},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Howard85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Koletsos85,
author = {George Koletsos},
title = {Church-Rosser Theorem for Typed Functional Systems},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {782--790},
year = {1985},
url = {https://doi.org/10.2307/2274330},
doi = {10.2307/2274330},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Koletsos85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Koletsos85a,
author = {George Koletsos},
title = {Functional Interpretation of the beta-Rule},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {791--805},
year = {1985},
url = {https://doi.org/10.2307/2274331},
doi = {10.2307/2274331},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Koletsos85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Larson85,
author = {Jean A. Larson},
title = {The Number of One-Generated Cylindric Set Algebras of Dimension Greater
than Two},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {59--71},
year = {1985},
url = {https://doi.org/10.2307/2273789},
doi = {10.2307/2273789},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Larson85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lascar85,
author = {Daniel Lascar},
title = {Quelques Precisions sur la {D.O.P.} et la Profondeur d'Une Theorie},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {316--330},
year = {1985},
url = {https://doi.org/10.2307/2274217},
doi = {10.2307/2274217},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lascar85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lascar85a,
author = {Daniel Lascar},
title = {Why Some People are Excited by Vaught's Conjecture},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {973--982},
year = {1985},
url = {https://doi.org/10.2307/2273984},
doi = {10.2307/2273984},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lascar85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Leivant85,
author = {Daniel Leivant},
title = {Syntactic Translations and Provably Recursive Functions},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {682--688},
year = {1985},
url = {https://doi.org/10.2307/2274322},
doi = {10.2307/2274322},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Leivant85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Maass85,
author = {Wolfgang Maass},
title = {Variations on Promptly Simple Sets},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {138--148},
year = {1985},
url = {https://doi.org/10.2307/2273796},
doi = {10.2307/2273796},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Maass85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Makowsky85,
author = {Johann A. Makowsky},
title = {Vopenka's Principle and Compact Logics},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {42--48},
year = {1985},
url = {https://doi.org/10.2307/2273786},
doi = {10.2307/2273786},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Makowsky85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MarcjaT85,
author = {Annalisa Marcja and
Carlo Toffalori},
title = {On Cantor-Bendixson Spectra Containing (1, 1) {II}},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {611--618},
year = {1985},
url = {https://doi.org/10.2307/2274317},
doi = {10.2307/2274317},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MarcjaT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MartinPK85,
author = {Donald A. Martin and
Terence Parsons and
Alexander S. Kechris},
title = {Annual Meeting of the Association for Symbolic Logic},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {1094--1102},
year = {1985},
url = {https://doi.org/10.2307/2274003},
doi = {10.2307/2274003},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MartinPK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mason85,
author = {Ian A. Mason},
title = {The Metatheory of the Classical Propositional Calculus is not Axiomatizable},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {451--457},
year = {1985},
url = {https://doi.org/10.2307/2274233},
doi = {10.2307/2274233},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mason85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mayberry85,
author = {John Mayberry},
title = {Global Quantification in Zermelo-Fraenkel Set Theory},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {289--301},
year = {1985},
url = {https://doi.org/10.2307/2274215},
doi = {10.2307/2274215},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mayberry85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/McEvoy85,
author = {Kevin McEvoy},
title = {Jumps of Quasi-Minimal Enumeration Degrees},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {839--848},
year = {1985},
url = {https://doi.org/10.2307/2274335},
doi = {10.2307/2274335},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/McEvoy85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/McEvoyC85,
author = {Kevin McEvoy and
S. Barry Cooper},
title = {On Minimal Pairs of Enumeration Degrees},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {983--1001},
year = {1985},
url = {https://doi.org/10.2307/2273985},
doi = {10.2307/2273985},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/McEvoyC85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/McKay85,
author = {C. G. McKay},
title = {A Consistent Propositional Logic Without any Finite Models},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {38--41},
year = {1985},
url = {https://doi.org/10.2307/2273785},
doi = {10.2307/2273785},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/McKay85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MontagnaS85,
author = {Franco Montagna and
Andrea Sorbi},
title = {Universal Recursion Theoretic Properties of {R.E.} Preordered Structures},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {397--406},
year = {1985},
url = {https://doi.org/10.2307/2274228},
doi = {10.2307/2274228},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MontagnaS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NagleT85,
author = {Michael C. Nagle and
Steven K. Thomason},
title = {The Extensions of the Modal Logic {K5}},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {102--109},
year = {1985},
url = {https://doi.org/10.2307/2273793},
doi = {10.2307/2273793},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NagleT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Nemeti85,
author = {Istv{\'{a}}n N{\'{e}}meti},
title = {Cylindric-Relativised Set Algebras have Strong Amalgamation},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {689--700},
year = {1985},
url = {https://doi.org/10.2307/2274323},
doi = {10.2307/2274323},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Nemeti85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ObserschelpSTR85,
author = {Walter Oberschelp and
Britta Schinzel and
Wolfgang Thomas and
Michael M. Richter},
title = {European Summer Meeting of the Association for Symbolic Logic: Aachen,
1983},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {259--283},
year = {1985},
url = {https://doi.org/10.2307/2273818},
doi = {10.2307/2273818},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ObserschelpSTR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/OnoK85,
author = {Hiroakira Ono and
Yuichi Komori},
title = {Logics Without the Contraction Rule},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {169--201},
year = {1985},
url = {https://doi.org/10.2307/2273798},
doi = {10.2307/2273798},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/OnoK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PillayS85,
author = {Anand Pillay and
Charles Steinhorn},
title = {A Note on Nonmultidimensional Superstable Theories},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {1020--1024},
year = {1985},
url = {https://doi.org/10.2307/2273987},
doi = {10.2307/2273987},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PillayS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Point85,
author = {Fran{\c{c}}oise Point},
title = {Finitely Generic Models of {T} {UH} , for Certain Model Companionable
Theories {T}},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {604--610},
year = {1985},
url = {https://doi.org/10.2307/2274316},
doi = {10.2307/2274316},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Point85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Prest85,
author = {Mike Prest},
title = {The Generalised RK-Order, Orthogonality and Regular Types for Modules},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {202--219},
year = {1985},
url = {https://doi.org/10.2307/2273799},
doi = {10.2307/2273799},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Prest85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pudlak85,
author = {Pavel Pudl{\'{a}}k},
title = {Cuts, Consistency Statements and Interpretations},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {423--441},
year = {1985},
url = {https://doi.org/10.2307/2274231},
doi = {10.2307/2274231},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Pudlak85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Rapp85,
author = {Andreas Rapp},
title = {The Ordered Field of Real Numbers and Logics with Malitz Quantifiers},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {380--389},
year = {1985},
url = {https://doi.org/10.2307/2274225},
doi = {10.2307/2274225},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Rapp85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Richard85,
author = {Denis Richard},
title = {Answer to a Problem Raised by J. Robinson: the Arithmetic of Positive
or Negative Integers is Definable From Successor and Divisibility},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {927--935},
year = {1985},
url = {https://doi.org/10.2307/2273981},
doi = {10.2307/2273981},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Richard85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Roeper85,
author = {Peter Roeper},
title = {Generalisation of First-Order Logic to Nonatomic Domains},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {815--838},
year = {1985},
url = {https://doi.org/10.2307/2274334},
doi = {10.2307/2274334},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Roeper85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/SageevS85,
author = {G. Sageev and
Saharon Shelah},
title = {On the Structure of Ext(A, {Z)} in ZFC\({}^{\mbox{+}}\)},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {302--315},
year = {1985},
url = {https://doi.org/10.2307/2274216},
doi = {10.2307/2274216},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/SageevS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shapiro85,
author = {Stewart Shapiro},
title = {Second-Order Languages and Mathematical Practice},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {714--742},
year = {1985},
url = {https://doi.org/10.2307/2274326},
doi = {10.2307/2274326},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shapiro85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Sheard85,
author = {Michael Sheard},
title = {Co-Critical Points of Elementary Embeddings},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {220--226},
year = {1985},
url = {https://doi.org/10.2307/2273800},
doi = {10.2307/2273800},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Sheard85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Slaney85,
author = {John K. Slaney},
title = {3088 Varieties {A} Solution to the Ackermann Constant Problem},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {487--501},
year = {1985},
url = {https://doi.org/10.2307/2274237},
doi = {10.2307/2274237},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Slaney85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Solovay85,
author = {Robert Solovay},
title = {Explicit Henkin Sentences},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {91--93},
year = {1985},
url = {https://doi.org/10.2307/2273791},
doi = {10.2307/2273791},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Solovay85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Spector85,
author = {Mitchell Spector},
title = {Model Theory Under the Axiom of Determinateness},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {773--780},
year = {1985},
url = {https://doi.org/10.2307/2274328},
doi = {10.2307/2274328},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Spector85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Thompson85,
author = {Simon Thompson},
title = {Axiomatic Recursion Theory and the Continuous Functionals},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {442--450},
year = {1985},
url = {https://doi.org/10.2307/2274232},
doi = {10.2307/2274232},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Thompson85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Thompson85a,
author = {Simon Thompson},
title = {Priority Arguments in the Continuous R. E. Degrees},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {661--667},
year = {1985},
url = {https://doi.org/10.2307/2274320},
doi = {10.2307/2274320},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Thompson85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Tsuboi85,
author = {Akito Tsuboi},
title = {On Theories Having a Finite Number of Nonisomorphic Countable Models},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {806--808},
year = {1985},
url = {https://doi.org/10.2307/2274332},
doi = {10.2307/2274332},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Tsuboi85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Tsuboi85a,
author = {Akito Tsuboi},
title = {On the Number of Independent Partitions},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {809--814},
year = {1985},
url = {https://doi.org/10.2307/2274333},
doi = {10.2307/2274333},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Tsuboi85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Tulipani85,
author = {Sauro Tulipani},
title = {An Algorithm to Determine, For any Prime p, {A} Polynomial-Sized Horn
Sentence which Expresses "The Cardinality is not p"},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {1062--1064},
year = {1985},
url = {https://doi.org/10.2307/2273991},
doi = {10.2307/2273991},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Tulipani85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Vauzeilles85,
author = {Jacqueline Vauzeilles},
title = {Functors and Ordinal Notations. {IV:} The Howard Ordinal and the Functor
??},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {331--338},
year = {1985},
url = {https://doi.org/10.2307/2274218},
doi = {10.2307/2274218},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Vauzeilles85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Vrijer85,
author = {Roel C. de Vrijer},
title = {A Direct Proof of the Finite Developments Theorem},
journal = {J. Symb. Log.},
volume = {50},
number = {2},
pages = {339--343},
year = {1985},
url = {https://doi.org/10.2307/2274219},
doi = {10.2307/2274219},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Vrijer85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch85,
author = {Philip D. Welch},
title = {Comparing Incomparable Kleene Degrees},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {55--58},
year = {1985},
url = {https://doi.org/10.2307/2273788},
doi = {10.2307/2273788},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Welch85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wilmers85,
author = {George M. Wilmers},
title = {Bounded Existential Induction},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {72--90},
year = {1985},
url = {https://doi.org/10.2307/2273790},
doi = {10.2307/2273790},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wilmers85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wolf85,
author = {Robert S. Wolf},
title = {Determinateness of Certain Almost-Borel Games},
journal = {J. Symb. Log.},
volume = {50},
number = {3},
pages = {569--579},
year = {1985},
url = {https://doi.org/10.2307/2274312},
doi = {10.2307/2274312},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wolf85.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-05-01 15:50 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:
