Burr, Wolfgang; Hartung, Volker A characterization of the \(\Sigma_1\)-definable functions of \(\text{KP}\omega+(\text{uniform AC})\). (English) Zbl 0913.03051 Arch. Math. Logic 37, No. 3, 199-214 (1998). Reviewer: Benjamin Blankertz (Münster) MSC: 03F10 03F25 03E70 03E25 PDFBibTeX XMLCite \textit{W. Burr} and \textit{V. Hartung}, Arch. Math. Logic 37, No. 3, 199--214 (1998; Zbl 0913.03051) Full Text: DOI
Brendle, Jörg Mob families and mad families. (English) Zbl 0905.03034 Arch. Math. Logic 37, No. 3, 183-197 (1998). Reviewer: J.Roitman (Lawrence) MSC: 03E35 03E05 03E40 PDFBibTeX XMLCite \textit{J. Brendle}, Arch. Math. Logic 37, No. 3, 183--197 (1998; Zbl 0905.03034) Full Text: DOI
Wolter, Frank All finitely axiomatizable subframe logics containing the provability logic CSM\(_0\) are decidable. (English) Zbl 0910.03015 Arch. Math. Logic 37, No. 3, 167-182 (1998). Reviewer: G.Mints (Stanford) MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{F. Wolter}, Arch. Math. Logic 37, No. 3, 167--182 (1998; Zbl 0910.03015) Full Text: DOI
Arai, Toshiyasu Consistency proof via pointwise induction. (English) Zbl 0908.03052 Arch. Math. Logic 37, No. 3, 149-165 (1998). Reviewer: M.Yasuhara (Princeton) MSC: 03F25 03F15 03F30 03F35 PDFBibTeX XMLCite \textit{T. Arai}, Arch. Math. Logic 37, No. 3, 149--165 (1998; Zbl 0908.03052) Full Text: DOI
Coquand, Thierry Two applications of Boolean models. (English) Zbl 0904.03026 Arch. Math. Logic 37, No. 3, 143-147 (1998). MSC: 03C90 03F50 03F65 03C07 PDFBibTeX XMLCite \textit{T. Coquand}, Arch. Math. Logic 37, No. 3, 143--147 (1998; Zbl 0904.03026) Full Text: DOI