:facetid:toc:\"db/journals/apal/apal22.bht\"OK:facetid:toc:db/journals/apal/apal22.bhtR. DavidSome applications of Jensen's coding theorem.Ann. Math. Log.222177-1961982Journal Articlesclosedjournals/apal/David82b10.1016/0003-4843(82)90020-1https://doi.org/10.1016/0003-4843(82)90020-1https://dblp.org/rec/journals/apal/David82bURL#7072647Tony Dodd 0001Ronald JensenThe covering lemma for K.Ann. Math. Log.2211-301982Journal Articlesclosedjournals/apal/DoddJ8210.1016/0003-4843(82)90013-4https://doi.org/10.1016/0003-4843(82)90013-4https://dblp.org/rec/journals/apal/DoddJ82URL#7072648A. J. DoddR. B. JensenThe covering lemma for L[U].Ann. Math. Log.222127-1351982Journal Articlesclosedjournals/apal/DoddJ82a10.1016/0003-4843(82)90018-3https://doi.org/10.1016/0003-4843(82)90018-3https://dblp.org/rec/journals/apal/DoddJ82aURL#7072649Sy D. FriedmanSteel forcing and barwise compactness.Ann. Math. Log.22131-461982Journal Articlesclosedjournals/apal/Friedman8210.1016/0003-4843(82)90014-6https://doi.org/10.1016/0003-4843(82)90014-6https://dblp.org/rec/journals/apal/Friedman82URL#7072651Evangelos KranakisReflection and partition properties of admissible ordinals.Ann. Math. Log.223213-2421982Journal Articlesclosedjournals/apal/Kranakis8210.1016/0003-4843(82)90022-5https://doi.org/10.1016/0003-4843(82)90022-5https://dblp.org/rec/journals/apal/Kranakis82URL#7072655Ralph McKenzieJ. Donald MonkChains in Boolean algebras.Ann. Math. Log.222137-1751982Journal Articlesclosedjournals/apal/McKenzieM8210.1016/0003-4843(82)90019-5https://doi.org/10.1016/0003-4843(82)90019-5https://dblp.org/rec/journals/apal/McKenzieM82URL#7072656Daniele MundiciCompactness, interpolation and Friedman's third problem.Ann. Math. Log.222197-2111982Journal Articlesclosedjournals/apal/Mundici8210.1016/0003-4843(82)90021-3https://doi.org/10.1016/0003-4843(82)90021-3https://dblp.org/rec/journals/apal/Mundici82URL#7072657Lon Berk RadinAdding closed cofinal sequences to large cardinals.Ann. Math. Log.223243-2611982Journal Articlesclosedjournals/apal/Radin8210.1016/0003-4843(82)90023-7https://doi.org/10.1016/0003-4843(82)90023-7https://dblp.org/rec/journals/apal/Radin82URL#7072658Robert I. SoareAutomorphisms of the lattice of recursively enumerable sets. Part II: Low sets.Ann. Math. Log.22169-1071982Journal Articlesclosedjournals/apal/Soare8210.1016/0003-4843(82)90016-Xhttps://doi.org/10.1016/0003-4843(82)90016-Xhttps://dblp.org/rec/journals/apal/Soare82URL#7072659John R. SteelDeterminacy in the Mitchell models.Ann. Math. Log.222109-1251982Journal Articlesclosedjournals/apal/Steel8210.1016/0003-4843(82)90017-1https://doi.org/10.1016/0003-4843(82)90017-1https://dblp.org/rec/journals/apal/Steel82URL#7072660Albert VisserOn the completenes principle: A study of provability in heyting's arithmetic and extensions.Ann. Math. Log.223263-2951982Journal Articlesclosedjournals/apal/Visser8210.1016/0003-4843(82)90024-9https://doi.org/10.1016/0003-4843(82)90024-9https://dblp.org/rec/journals/apal/Visser82URL#7072662C. M. WagnerOn Martin's conjecture.Ann. Math. Log.22147-671982Journal Articlesclosedjournals/apal/Wagner8210.1016/0003-4843(82)90015-8https://doi.org/10.1016/0003-4843(82)90015-8https://dblp.org/rec/journals/apal/Wagner82URL#7072663