Valentini, Silvio Constructive characterizations of bar subsets. (English) Zbl 1154.03039 Ann. Pure Appl. Logic 145, No. 3, 368-378 (2007). Reviewer: Thierry Coquand (Göteborg) MSC: 03F65 06D22 54A05 PDF BibTeX XML Cite \textit{S. Valentini}, Ann. Pure Appl. Logic 145, No. 3, 368--378 (2007; Zbl 1154.03039) Full Text: DOI
Kulpeshov, B. Sh. Criterion for binarity of \(\aleph_{0}\)-categorical weakly o-minimal theories. (English) Zbl 1112.03034 Ann. Pure Appl. Logic 145, No. 3, 354-367 (2007). MSC: 03C64 03C35 PDF BibTeX XML Cite \textit{B. Sh. Kulpeshov}, Ann. Pure Appl. Logic 145, No. 3, 354--367 (2007; Zbl 1112.03034) Full Text: DOI
Palmgren, E.; Vickers, S. J. Partial Horn logic and Cartesian categories. (English) Zbl 1109.03022 Ann. Pure Appl. Logic 145, No. 3, 314-353 (2007). MSC: 03C05 03G30 08A55 18C10 18D15 PDF BibTeX XML Cite \textit{E. Palmgren} and \textit{S. J. Vickers}, Ann. Pure Appl. Logic 145, No. 3, 314--353 (2007; Zbl 1109.03022) Full Text: DOI
Hamano, Masahiro; Scott, Philip A categorical semantics for polarized MALL. (English) Zbl 1125.03045 Ann. Pure Appl. Logic 145, No. 3, 276-313 (2007). Reviewer: Michel Eytan (Strasbourg) MSC: 03F52 03G30 PDF BibTeX XML Cite \textit{M. Hamano} and \textit{P. Scott}, Ann. Pure Appl. Logic 145, No. 3, 276--313 (2007; Zbl 1125.03045) Full Text: DOI
Puninski, G.; Puninskaya, V.; Toffalori, C. Decidability of the theory of modules over commutative valuation domains. (English) Zbl 1111.03011 Ann. Pure Appl. Logic 145, No. 3, 258-275 (2007). Reviewer: S. R. Kogalovskij (Ivanovo) MSC: 03B25 13A18 13G05 13C99 03C60 PDF BibTeX XML Cite \textit{G. Puninski} et al., Ann. Pure Appl. Logic 145, No. 3, 258--275 (2007; Zbl 1111.03011) Full Text: DOI
Lewis, Andrew E. M.; Barmpalias, George Randomness and the linear degrees of computability. (English) Zbl 1109.03037 Ann. Pure Appl. Logic 145, No. 3, 252-257 (2007). MSC: 03D30 68Q30 PDF BibTeX XML Cite \textit{A. E. M. Lewis} and \textit{G. Barmpalias}, Ann. Pure Appl. Logic 145, No. 3, 252--257 (2007; Zbl 1109.03037) Full Text: DOI
Kurilić, Miloš S. Splitting families and forcing. (English) Zbl 1109.03061 Ann. Pure Appl. Logic 145, No. 3, 240-251 (2007). MSC: 03E40 03E05 03E35 PDF BibTeX XML Cite \textit{M. S. Kurilić}, Ann. Pure Appl. Logic 145, No. 3, 240--251 (2007; Zbl 1109.03061) Full Text: DOI
Milnikel, Robert Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete. (English) Zbl 1112.03054 Ann. Pure Appl. Logic 145, No. 3, 223-239 (2007). Reviewer: Osamu Sonobe (Follonica) MSC: 03F45 03B45 03D15 68Q17 PDF BibTeX XML Cite \textit{R. Milnikel}, Ann. Pure Appl. Logic 145, No. 3, 223--239 (2007; Zbl 1112.03054) Full Text: DOI