Farkas, Barnabás Hechler’s theorem for tall analytic \(P\)-ideals. (English) Zbl 1222.03052 J. Symb. Log. 76, No. 2, 729-736 (2011). Reviewer: Michał Machura (Katowice) MSC: 03E35 PDF BibTeX XML Cite \textit{B. Farkas}, J. Symb. Log. 76, No. 2, 729--736 (2011; Zbl 1222.03052) Full Text: DOI OpenURL
Welch, P. D. Determinacy in strong cardinal models. (English) Zbl 1221.03055 J. Symb. Log. 76, No. 2, 719-728 (2011). MSC: 03E60 03E15 03E45 PDF BibTeX XML Cite \textit{P. D. Welch}, J. Symb. Log. 76, No. 2, 719--728 (2011; Zbl 1221.03055) Full Text: DOI OpenURL
Greenberg, Noam A random set which only computes strongly jump-traceable c.e. sets. (English) Zbl 1220.03042 J. Symb. Log. 76, No. 2, 700-718 (2011). MSC: 03D32 03D25 PDF BibTeX XML Cite \textit{N. Greenberg}, J. Symb. Log. 76, No. 2, 700--718 (2011; Zbl 1220.03042) Full Text: DOI OpenURL
Gabbay, Michael A proof-theoretic treatment of \(\lambda \)-reduction with cut-elimination: \(\lambda \)-calculus as a logic programming language. (English) Zbl 1223.03038 J. Symb. Log. 76, No. 2, 673-699 (2011). MSC: 03F05 03B40 68N17 68N18 PDF BibTeX XML Cite \textit{M. Gabbay}, J. Symb. Log. 76, No. 2, 673--699 (2011; Zbl 1223.03038) Full Text: DOI OpenURL
Pillay, Anand Stable embeddedness and NIP. (English) Zbl 1220.03020 J. Symb. Log. 76, No. 2, 665-672 (2011). MSC: 03C45 PDF BibTeX XML Cite \textit{A. Pillay}, J. Symb. Log. 76, No. 2, 665--672 (2011; Zbl 1220.03020) Full Text: DOI arXiv OpenURL
Sanders, Sam ERNA and Friedman’s reverse mathematics. (English) Zbl 1231.03059 J. Symb. Log. 76, No. 2, 637-664 (2011). Reviewer: Emil Jeřábek (Praha) MSC: 03H05 03F35 26E35 PDF BibTeX XML Cite \textit{S. Sanders}, J. Symb. Log. 76, No. 2, 637--664 (2011; Zbl 1231.03059) Full Text: DOI OpenURL
Friedman, Sy-David; Welch, P. D. Hypermachines. (English) Zbl 1220.03040 J. Symb. Log. 76, No. 2, 620-636 (2011). MSC: 03D10 03D65 03E45 PDF BibTeX XML Cite \textit{S.-D. Friedman} and \textit{P. D. Welch}, J. Symb. Log. 76, No. 2, 620--636 (2011; Zbl 1220.03040) Full Text: DOI OpenURL
Bárány, Vince; Kaiser, Łukasz; Rabinovich, Alexander Expressing cardinality quantifiers in monadic second-order logic over chains. (English) Zbl 1222.03009 J. Symb. Log. 76, No. 2, 603-619 (2011). MSC: 03B15 03C10 03C80 PDF BibTeX XML Cite \textit{V. Bárány} et al., J. Symb. Log. 76, No. 2, 603--619 (2011; Zbl 1222.03009) Full Text: DOI OpenURL
Marcone, Alberto; Montalbán, Antonio The Veblen functions for computability theorists. (English) Zbl 1220.03050 J. Symb. Log. 76, No. 2, 575-602 (2011). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 03D45 03D60 03F15 PDF BibTeX XML Cite \textit{A. Marcone} and \textit{A. Montalbán}, J. Symb. Log. 76, No. 2, 575--602 (2011; Zbl 1220.03050) Full Text: DOI arXiv OpenURL
Neeman, Itay Necessary use of \(\Sigma ^1_{1}\) induction in a reversal. (English) Zbl 1218.03005 J. Symb. Log. 76, No. 2, 561-574 (2011). Reviewer: Josef Berger (München) MSC: 03B30 03E75 03F35 PDF BibTeX XML Cite \textit{I. Neeman}, J. Symb. Log. 76, No. 2, 561--574 (2011; Zbl 1218.03005) Full Text: DOI OpenURL
Gitman, Victoria; Welch, P. D. Ramsey-like cardinals. II. (English) Zbl 1222.03055 J. Symb. Log. 76, No. 2, 541-560 (2011). MSC: 03E55 PDF BibTeX XML Cite \textit{V. Gitman} and \textit{P. D. Welch}, J. Symb. Log. 76, No. 2, 541--560 (2011; Zbl 1222.03055) Full Text: DOI arXiv OpenURL
Gitman, Victoria Ramsey-like cardinals. (English) Zbl 1222.03054 J. Symb. Log. 76, No. 2, 519-540 (2011). MSC: 03E55 PDF BibTeX XML Cite \textit{V. Gitman}, J. Symb. Log. 76, No. 2, 519--540 (2011; Zbl 1222.03054) Full Text: DOI arXiv OpenURL
Barmpalias, George; Downey, Rod; Ng, Keng Meng Jump inversions inside effectively closed sets and applications to randomness. (English) Zbl 1248.03065 J. Symb. Log. 76, No. 2, 491-518 (2011). Reviewer: Liang Yu (Nanjing) MSC: 03D32 03D28 68Q30 PDF BibTeX XML Cite \textit{G. Barmpalias} et al., J. Symb. Log. 76, No. 2, 491--518 (2011; Zbl 1248.03065) Full Text: DOI OpenURL
Friedman, Sy-David; Halilović, Ajdin The tree property at \(\aleph _{\omega +2}\). (English) Zbl 1221.03053 J. Symb. Log. 76, No. 2, 477-490 (2011). MSC: 03E55 03E05 PDF BibTeX XML Cite \textit{S.-D. Friedman} and \textit{A. Halilović}, J. Symb. Log. 76, No. 2, 477--490 (2011; Zbl 1221.03053) Full Text: DOI OpenURL
Hjorth, Greg; Nies, André Borel structures and Borel theories. (English) Zbl 1221.03044 J. Symb. Log. 76, No. 2, 461-476 (2011). MSC: 03E15 PDF BibTeX XML Cite \textit{G. Hjorth} and \textit{A. Nies}, J. Symb. Log. 76, No. 2, 461--476 (2011; Zbl 1221.03044) Full Text: DOI OpenURL
Simon, Pierre On dp-minimal ordered structures. (English) Zbl 1220.03037 J. Symb. Log. 76, No. 2, 448-460 (2011). MSC: 03C64 PDF BibTeX XML Cite \textit{P. Simon}, J. Symb. Log. 76, No. 2, 448--460 (2011; Zbl 1220.03037) Full Text: DOI arXiv OpenURL
Malicki, Maciej On Polish groups admitting a compatible complete left-invariant metric. (English) Zbl 1221.03045 J. Symb. Log. 76, No. 2, 437-447 (2011). MSC: 03E15 PDF BibTeX XML Cite \textit{M. Malicki}, J. Symb. Log. 76, No. 2, 437--447 (2011; Zbl 1221.03045) Full Text: DOI OpenURL
Welch, P. D. Weak systems of determinacy and arithmetical quasi-inductive definitions. (English) Zbl 1225.03082 J. Symb. Log. 76, No. 2, 418-436 (2011). MSC: 03F35 91A80 PDF BibTeX XML Cite \textit{P. D. Welch}, J. Symb. Log. 76, No. 2, 418--436 (2011; Zbl 1225.03082) Full Text: DOI arXiv OpenURL
Matet, Pierre The Magidor function and diamond. (English) Zbl 1237.03031 J. Symb. Log. 76, No. 2, 405-417 (2011). Reviewer: Xianghui Shi (Beijing) MSC: 03E05 PDF BibTeX XML Cite \textit{P. Matet}, J. Symb. Log. 76, No. 2, 405--417 (2011; Zbl 1237.03031) Full Text: DOI OpenURL
Berenstein, Alexander; Dolich, Alf; Onshuus, Alf The independence property in generalized dense pairs of structures. (English) Zbl 1220.03014 J. Symb. Log. 76, No. 2, 391-404 (2011). MSC: 03C45 PDF BibTeX XML Cite \textit{A. Berenstein} et al., J. Symb. Log. 76, No. 2, 391--404 (2011; Zbl 1220.03014) Full Text: DOI OpenURL
Günaydın, Ayhan; Hieronymi, Philipp Dependent pairs. (English) Zbl 1220.03031 J. Symb. Log. 76, No. 2, 377-390 (2011). MSC: 03C64 PDF BibTeX XML Cite \textit{A. Günaydın} and \textit{P. Hieronymi}, J. Symb. Log. 76, No. 2, 377--390 (2011; Zbl 1220.03031) Full Text: DOI arXiv OpenURL
Fulk, Mark Robust separations in inductive inference. (English) Zbl 1221.03034 J. Symb. Log. 76, No. 2, 368-376 (2011). MSC: 03D20 68Q32 68Q45 PDF BibTeX XML Cite \textit{M. Fulk}, J. Symb. Log. 76, No. 2, 368--376 (2011; Zbl 1221.03034) Full Text: DOI OpenURL
Wagner, Frank Redidual properties in supersimple groups. (Propriétés résiduelles dans les groupes supersimples.) (French. English summary) Zbl 1222.03038 J. Symb. Log. 76, No. 2, 361-367 (2011). Reviewer: Carlo Toffalori (Camerino) MSC: 03C45 20A15 20E26 PDF BibTeX XML Cite \textit{F. Wagner}, J. Symb. Log. 76, No. 2, 361--367 (2011; Zbl 1222.03038) Full Text: DOI OpenURL