Clemens, John D. Weakly pointed trees and partial injections. (English) Zbl 1151.28015 J. Symb. Log. 73, No. 1, 363-368 (2008). MSC: 28B20 03E15 28A05 54H05 PDFBibTeX XMLCite \textit{J. D. Clemens}, J. Symb. Log. 73, No. 1, 363--368 (2008; Zbl 1151.28015) Full Text: DOI Euclid
Neeman, Itay; Schimmerling, Ernest Hierarchies of forcing axioms. I. (English) Zbl 1154.03032 J. Symb. Log. 73, No. 1, 343-362 (2008). Reviewer: K. P. Hart (Delft) MSC: 03E40 03E55 PDFBibTeX XMLCite \textit{I. Neeman} and \textit{E. Schimmerling}, J. Symb. Log. 73, No. 1, 343--362 (2008; Zbl 1154.03032) Full Text: DOI Euclid
Ng, Keng Meng On very high degrees. (English) Zbl 1168.03031 J. Symb. Log. 73, No. 1, 309-342 (2008). Reviewer: Cristian S. Calude (Auckland) MSC: 03D25 68Q30 PDFBibTeX XMLCite \textit{K. M. Ng}, J. Symb. Log. 73, No. 1, 309--342 (2008; Zbl 1168.03031) Full Text: DOI Euclid
Fuchs, Gunter Closed maximality principles: Implications, separations and combinations. (English) Zbl 1157.03027 J. Symb. Log. 73, No. 1, 276-308 (2008). Reviewer: J. M. Plotkin (East Lansing) MSC: 03E35 03E40 03E45 03E55 PDFBibTeX XMLCite \textit{G. Fuchs}, J. Symb. Log. 73, No. 1, 276--308 (2008; Zbl 1157.03027) Full Text: DOI Euclid Link
Monk, J. Donald Maximal irredundance and maximal ideal independence in Boolean algebras. (English) Zbl 1141.06011 J. Symb. Log. 73, No. 1, 261-275 (2008). Reviewer: Martin Weese (Potsdam) MSC: 06E05 06E10 03E35 PDFBibTeX XMLCite \textit{J. D. Monk}, J. Symb. Log. 73, No. 1, 261--275 (2008; Zbl 1141.06011) Full Text: DOI Euclid
Dobrinen, Natasha \(\kappa \)-stationary subsets of \(\mathcal P_{\kappa ^{+}}\lambda \), infinitary games, and distributive laws in Boolean algebras. (English) Zbl 1142.03031 J. Symb. Log. 73, No. 1, 238-260 (2008). Reviewer: Martin Weese (Potsdam) MSC: 03E40 03E05 06E05 91A44 PDFBibTeX XMLCite \textit{N. Dobrinen}, J. Symb. Log. 73, No. 1, 238--260 (2008; Zbl 1142.03031) Full Text: DOI Euclid
Krajíček, Jan An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams. (English) Zbl 1141.03028 J. Symb. Log. 73, No. 1, 227-237 (2008). Reviewer: Emil Jeřábek (Praha) MSC: 03F20 PDFBibTeX XMLCite \textit{J. Krajíček}, J. Symb. Log. 73, No. 1, 227--237 (2008; Zbl 1141.03028) Full Text: DOI Euclid Link
Paris, J. B.; Sirokofskich, A. On LP-models of arithmetic. (English) Zbl 1143.03013 J. Symb. Log. 73, No. 1, 212-226 (2008). Reviewer: Jim Mackenzie (Sydney) MSC: 03B53 03C62 PDFBibTeX XMLCite \textit{J. B. Paris} and \textit{A. Sirokofskich}, J. Symb. Log. 73, No. 1, 212--226 (2008; Zbl 1143.03013) Full Text: DOI Euclid
Schmerl, James H. Nondiversity in substructures. (English) Zbl 1141.03014 J. Symb. Log. 73, No. 1, 193-211 (2008). Reviewer: Roman Kossak (New York) MSC: 03C62 03F30 03H15 PDFBibTeX XMLCite \textit{J. H. Schmerl}, J. Symb. Log. 73, No. 1, 193--211 (2008; Zbl 1141.03014) Full Text: DOI Euclid
Sakai, Hiroshi Semistationary and stationary reflection. (English) Zbl 1149.03039 J. Symb. Log. 73, No. 1, 181-192 (2008). Reviewer: J. M. Plotkin (East Lansing) MSC: 03E55 03E35 PDFBibTeX XMLCite \textit{H. Sakai}, J. Symb. Log. 73, No. 1, 181--192 (2008; Zbl 1149.03039) Full Text: DOI Euclid
Hyttinen, Tapani; Lessmann, Olivier Canonical bases in excellent classes. (English) Zbl 1154.03012 J. Symb. Log. 73, No. 1, 165-180 (2008). Reviewer: Frank Wagner (Villeurbanne) MSC: 03C45 PDFBibTeX XMLCite \textit{T. Hyttinen} and \textit{O. Lessmann}, J. Symb. Log. 73, No. 1, 165--180 (2008; Zbl 1154.03012) Full Text: DOI Euclid Link
Geschke, Stefan; Shelah, Saharon The number of openly generated Boolean algebras. (English) Zbl 1137.06006 J. Symb. Log. 73, No. 1, 151-164 (2008). Reviewer: James Monk (Boulder) MSC: 06E05 PDFBibTeX XMLCite \textit{S. Geschke} and \textit{S. Shelah}, J. Symb. Log. 73, No. 1, 151--164 (2008; Zbl 1137.06006) Full Text: DOI arXiv Euclid
Kuske, Dietrich; Lohrey, Markus First-order and counting theories of \(\omega\)-automatic structures. (English) Zbl 1141.03015 J. Symb. Log. 73, No. 1, 129-150 (2008). Reviewer: J. M. Plotkin (East Lansing) MSC: 03C80 03B25 03D05 PDFBibTeX XMLCite \textit{D. Kuske} and \textit{M. Lohrey}, J. Symb. Log. 73, No. 1, 129--150 (2008; Zbl 1141.03015) Full Text: DOI Euclid
Jackson, Marcel Flat algebras and the translation of universal Horn logic to equational logic. (English) Zbl 1141.03006 J. Symb. Log. 73, No. 1, 90-128 (2008). Reviewer: Dimitru Buşneag (Craiova) MSC: 03C05 08A55 08B15 08B26 08C15 20A15 20E10 20M18 PDFBibTeX XMLCite \textit{M. Jackson}, J. Symb. Log. 73, No. 1, 90--128 (2008; Zbl 1141.03006) Full Text: DOI Euclid
Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek Omitting types for finite variable fragments and complete representations of algebras. (English) Zbl 1143.03035 J. Symb. Log. 73, No. 1, 65-89 (2008). Reviewer: Jānis Cīrulis (Riga) MSC: 03G15 03B10 03C40 PDFBibTeX XMLCite \textit{H. Andréka} et al., J. Symb. Log. 73, No. 1, 65--89 (2008; Zbl 1143.03035) Full Text: DOI Euclid
Veldman, Wim The Borel hierarchy theorem from Brouwer’s intuitionistic perspective. (English) Zbl 1148.03039 J. Symb. Log. 73, No. 1, 1-64 (2008). Reviewer: Victor N. Krivtsov (Moskva) MSC: 03F55 03E15 PDFBibTeX XMLCite \textit{W. Veldman}, J. Symb. Log. 73, No. 1, 1--64 (2008; Zbl 1148.03039) Full Text: DOI Euclid Link