Moniri, Morteza Weak arithmetics and Kripke models. (English) Zbl 0989.03068 Math. Log. Q. 48, No. 1, 157-160 (2002); corrigendum ibid. 50, No. 6, 637-638 (2004). Reviewer: Roman Kossak (New York) MSC: 03F55 03F30 03H15 PDFBibTeX XMLCite \textit{M. Moniri}, Math. Log. Q. 48, No. 1, 157--160 (2002; Zbl 0989.03068) Full Text: DOI
Cittadini, Saverio; Toffalori, Carlo Comparing first order theories of modules over group rings. (English) Zbl 0993.03051 Math. Log. Q. 48, No. 1, 147-156 (2002). Reviewer: M.Prest (Manchester) MSC: 03C60 13L05 20C10 20A15 PDFBibTeX XMLCite \textit{S. Cittadini} and \textit{C. Toffalori}, Math. Log. Q. 48, No. 1, 147--156 (2002; Zbl 0993.03051) Full Text: DOI
Shore, Richard A.; Yang, Yue A nonlow\(_2\) r. e. degree with the extension of embeddings properties of a low\(_2\) degree. (English) Zbl 0992.03051 Math. Log. Q. 48, No. 1, 131-146 (2002). Reviewer: Shamil Ishmukhametov (Ul’yanovsk) MSC: 03D25 PDFBibTeX XMLCite \textit{R. A. Shore} and \textit{Y. Yang}, Math. Log. Q. 48, No. 1, 131--146 (2002; Zbl 0992.03051) Full Text: DOI
Arai, Toshiyasu On the slowly well orderedness of \(\varepsilon_0\). (English) Zbl 0997.03045 Math. Log. Q. 48, No. 1, 125-130 (2002). MSC: 03F30 03F15 PDFBibTeX XMLCite \textit{T. Arai}, Math. Log. Q. 48, No. 1, 125--130 (2002; Zbl 0997.03045) Full Text: DOI
Normann, Dag; Rørdam, Christian The computational power of \({\mathcal M}^\omega\). (English) Zbl 0993.03056 Math. Log. Q. 48, No. 1, 117-124 (2002). Reviewer: Leon Harkleroad (Wilton) MSC: 03D65 PDFBibTeX XMLCite \textit{D. Normann} and \textit{C. Rørdam}, Math. Log. Q. 48, No. 1, 117--124 (2002; Zbl 0993.03056) Full Text: DOI
Richman, Fred Omniscience principles and functions of bounded variation. (English) Zbl 1025.03070 Math. Log. Q. 48, No. 1, 111-116 (2002). Reviewer: S.V.Solov’ev (Toulouse) MSC: 03F65 26A45 03F60 26E40 PDFBibTeX XMLCite \textit{F. Richman}, Math. Log. Q. 48, No. 1, 111--116 (2002; Zbl 1025.03070) Full Text: DOI
Cieśliński, Cezary Heterologicality and imcompleteness. (English) Zbl 0990.03028 Math. Log. Q. 48, No. 1, 105-110 (2002). Reviewer: J.M.Plotkin (East Lansing) MSC: 03C55 03F30 03C62 03E35 PDFBibTeX XMLCite \textit{C. Cieśliński}, Math. Log. Q. 48, No. 1, 105--110 (2002; Zbl 0990.03028) Full Text: DOI
Mazzanti, Stefano Plain bases for classes of primitive recursive functions. (English) Zbl 1017.03018 Math. Log. Q. 48, No. 1, 93-104 (2002). Reviewer: Hrant B. Marandjian (Erevan) MSC: 03D20 68Q15 PDFBibTeX XMLCite \textit{S. Mazzanti}, Math. Log. Q. 48, No. 1, 93--104 (2002; Zbl 1017.03018) Full Text: DOI
Kikuchi, Kentaro Dual-context sequent calculus and strict implication. (English) Zbl 0988.03085 Math. Log. Q. 48, No. 1, 87-92 (2002). MSC: 03F05 03B20 03C90 PDFBibTeX XMLCite \textit{K. Kikuchi}, Math. Log. Q. 48, No. 1, 87--92 (2002; Zbl 0988.03085) Full Text: DOI
Degen, Wolfgang Factors of functions, AC and recursive analogues. (English) Zbl 0988.03072 Math. Log. Q. 48, No. 1, 73-86 (2002). MSC: 03E25 08A60 03D20 PDFBibTeX XMLCite \textit{W. Degen}, Math. Log. Q. 48, No. 1, 73--86 (2002; Zbl 0988.03072) Full Text: DOI
Buszkowski, Wojciech Finite models of some substructural logics. (English) Zbl 0992.03029 Math. Log. Q. 48, No. 1, 63-72 (2002). MSC: 03B47 PDFBibTeX XMLCite \textit{W. Buszkowski}, Math. Log. Q. 48, No. 1, 63--72 (2002; Zbl 0992.03029) Full Text: DOI
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P. Investigation on fragments of first order branching temporal logic. (English) Zbl 1002.03016 Math. Log. Q. 48, No. 1, 51-62 (2002). Reviewer: Damas Gruska (Bratislava) MSC: 03B44 03B25 03B70 PDFBibTeX XMLCite \textit{F. Montagna} et al., Math. Log. Q. 48, No. 1, 51--62 (2002; Zbl 1002.03016) Full Text: DOI
Kracht, Marcus Invariant logics. (English) Zbl 0993.03010 Math. Log. Q. 48, No. 1, 29-50 (2002). Reviewer: Gloria Gutiérrez Barranco (Málaga) MSC: 03B45 03G10 PDFBibTeX XMLCite \textit{M. Kracht}, Math. Log. Q. 48, No. 1, 29--50 (2002; Zbl 0993.03010) Full Text: DOI
Sacchetti, Lorenzo Incompleteness and fixed points. (English) Zbl 0988.03037 Math. Log. Q. 48, No. 1, 15-28 (2002). MSC: 03B45 03F40 03F30 PDFBibTeX XMLCite \textit{L. Sacchetti}, Math. Log. Q. 48, No. 1, 15--28 (2002; Zbl 0988.03037) Full Text: DOI
Avigad, Jeremy Update procedures and the 1-consistency of arithmetic. (English) Zbl 0988.03087 Math. Log. Q. 48, No. 1, 3-13 (2002). MSC: 03F30 03F10 03F15 03F25 PDFBibTeX XMLCite \textit{J. Avigad}, Math. Log. Q. 48, No. 1, 3--13 (2002; Zbl 0988.03087) Full Text: DOI