default search action
Search dblp for Publications
export results for "toc:db/journals/apal/apal82.bht:"
@article{DBLP:journals/apal/Avigad96, author = {Jeremy Avigad}, title = {Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic}, journal = {Ann. Pure Appl. Log.}, volume = {82}, number = {2}, pages = {165--191}, year = {1996}, url = {https://doi.org/10.1016/0168-0072(96)00003-6}, doi = {10.1016/0168-0072(96)00003-6}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/Avigad96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/CesatiF96, author = {Marco Cesati and Michael R. Fellows}, title = {Sparse Parameterized Problems}, journal = {Ann. Pure Appl. Log.}, volume = {82}, number = {1}, pages = {1--15}, year = {1996}, url = {https://doi.org/10.1016/0168-0072(95)00069-0}, doi = {10.1016/0168-0072(95)00069-0}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/CesatiF96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/CooperSY96, author = {S. Barry Cooper and Andrea Sorbi and Xiaoding Yi}, title = {Cupping and Noncupping in the Enumeration Degrees of Sigma\({}_{\mbox{2}}\)\({}^{\mbox{0}}\) Sets}, journal = {Ann. Pure Appl. Log.}, volume = {82}, number = {3}, pages = {317--342}, year = {1996}, url = {https://doi.org/10.1016/S0168-0072(96)00009-7}, doi = {10.1016/S0168-0072(96)00009-7}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/CooperSY96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/GitikM96, author = {Moti Gitik and William J. Mitchell}, title = {Indiscernible Sequences for Extenders, and the Singular Cardinal Hypothesis}, journal = {Ann. Pure Appl. Log.}, volume = {82}, number = {3}, pages = {273--316}, year = {1996}, url = {https://doi.org/10.1016/S0168-0072(96)00007-3}, doi = {10.1016/S0168-0072(96)00007-3}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/GitikM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/GlassS96, author = {Thomas Gla{\ss} and Thomas Strahm}, title = {Systems of Explicit Mathematics with Non-Constructive {\(\mathrm{\mu}\)}-Operator and Join}, journal = {Ann. Pure Appl. Log.}, volume = {82}, number = {2}, pages = {193--219}, year = {1996}, url = {https://doi.org/10.1016/S0168-0072(96)00005-X}, doi = {10.1016/S0168-0072(96)00005-X}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/GlassS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Grohe96, author = {Martin Grohe}, title = {Arity Hierarchies}, journal = {Ann. Pure Appl. Log.}, volume = {82}, number = {2}, pages = {103--163}, year = {1996}, url = {https://doi.org/10.1016/0168-0072(95)00072-0}, doi = {10.1016/0168-0072(95)00072-0}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Grohe96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/HjorthK96, author = {Greg Hjorth and Alexander S. Kechris}, title = {Borel Equivalence Relations and Classifications of Countable Models}, journal = {Ann. Pure Appl. Log.}, volume = {82}, number = {3}, pages = {221--272}, year = {1996}, url = {https://doi.org/10.1016/S0168-0072(96)00006-1}, doi = {10.1016/S0168-0072(96)00006-1}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/HjorthK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Shelah96a, author = {Saharon Shelah}, title = {In the Random Graph G(n, p), p = n\({}^{\mbox{-a}}\): If psi Has Probability O(n\({}^{\mbox{-epsilon}}\)) for Every epsilon{\textgreater}0 Then it Has Probability O(e\({}^{\mbox{-n\({}^{\mbox{epsilon}}\)}}\)) for Some epsilon{\textgreater}0}, journal = {Ann. Pure Appl. Log.}, volume = {82}, number = {1}, pages = {97--102}, year = {1996}, url = {https://doi.org/10.1016/0168-0072(95)00071-2}, doi = {10.1016/0168-0072(95)00071-2}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/Shelah96a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Yi96, author = {Xiaoding Yi}, title = {A Non-Splitting Theorem for d.r.e. Sets}, journal = {Ann. Pure Appl. Log.}, volume = {82}, number = {1}, pages = {17--96}, year = {1996}, url = {https://doi.org/10.1016/0168-0072(95)00070-4}, doi = {10.1016/0168-0072(95)00070-4}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Yi96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.