Point, Françoise; Wagner, Frank O. Essentially periodic ordered groups. (English) Zbl 0979.03037 Ann. Pure Appl. Logic 105, No. 1-3, 261-291 (2000). Reviewer: Katrin Tent (Würzburg) MSC: 03C60 06F15 03C64 PDFBibTeX XMLCite \textit{F. Point} and \textit{F. O. Wagner}, Ann. Pure Appl. Logic 105, No. 1--3, 261--291 (2000; Zbl 0979.03037) Full Text: DOI
Corazza, Paul The wholeness axiom and Laver sequences. (English) Zbl 0999.03048 Ann. Pure Appl. Logic 105, No. 1-3, 157-260 (2000). Reviewer: P.Matet (Caen) MSC: 03E55 03E65 PDFBibTeX XMLCite \textit{P. Corazza}, Ann. Pure Appl. Logic 105, No. 1--3, 157--260 (2000; Zbl 0999.03048) Full Text: DOI
Tolstykh, Vladimir Elementary equivalence of infinite-dimensional classical groups. (English) Zbl 0978.03030 Ann. Pure Appl. Logic 105, No. 1-3, 103-156 (2000). Reviewer: Katrin Tent (Würzburg) MSC: 03C60 20A15 20G40 20F28 PDFBibTeX XMLCite \textit{V. Tolstykh}, Ann. Pure Appl. Logic 105, No. 1--3, 103--156 (2000; Zbl 0978.03030) Full Text: DOI arXiv
Maksimova, Larisa Intuitionistic logic and implicit definability. (English) Zbl 0963.03044 Ann. Pure Appl. Logic 105, No. 1-3, 83-102 (2000). MSC: 03B55 06D20 PDFBibTeX XMLCite \textit{L. Maksimova}, Ann. Pure Appl. Logic 105, No. 1--3, 83--102 (2000; Zbl 0963.03044) Full Text: DOI
Carlson, Timothy J. Knowledge, machines, and the consistency of Reinhardt’s strong mechanistic thesis. (English) Zbl 0973.03019 Ann. Pure Appl. Logic 105, No. 1-3, 51-82 (2000). Reviewer: Osamu Sonobe (Follonica) MSC: 03B42 03F30 03D10 03B45 PDFBibTeX XMLCite \textit{T. J. Carlson}, Ann. Pure Appl. Logic 105, No. 1--3, 51--82 (2000; Zbl 0973.03019) Full Text: DOI
Bonnet, Robert; Rubin, Matatyahu On well-generated Boolean algebras. (English) Zbl 0968.06012 Ann. Pure Appl. Logic 105, No. 1-3, 1-50 (2000). Reviewer: James Monk (Boulder) MSC: 06E05 54G12 03E50 03E35 PDFBibTeX XMLCite \textit{R. Bonnet} and \textit{M. Rubin}, Ann. Pure Appl. Logic 105, No. 1--3, 1--50 (2000; Zbl 0968.06012) Full Text: DOI