Hyttinen, Tapani On nonstructure of elementary submodels of an unsuperstable homogeneous structure. (English) Zbl 0869.03024 Math. Log. Q. 43, No. 1, 134-142 (1997). Reviewer: F.G.Asenjo (Pittsburgh) MSC: 03C45 03C50 × Cite Format Result Cite Review PDF Full Text: DOI
Jones, James P.; Levitz, Hilbert; Nichols, Warren D. On series of ordinals and combinatorics. (English) Zbl 0864.04001 Math. Log. Q. 43, No. 1, 121-133 (1997). Reviewer: N.H.Williams (Bribane) MSC: 03E10 05A10 × Cite Format Result Cite Review PDF Full Text: DOI
Hamano, Masahiro; Okada, Mitsuhiro A relationship among Gentzen’s proof-reduction, Kirby-Paris’ Hydra game and Buchholz’s Hydra game. (English) Zbl 0872.03038 Math. Log. Q. 43, No. 1, 103-120 (1997). Reviewer: A.Weiermann (Münster) MSC: 03F15 03F05 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Bellissima, Fabio; Cittadini, Saverio Minimal axiomatization in modal logic. (English) Zbl 0862.03007 Math. Log. Q. 43, No. 1, 92-102 (1997). MSC: 03B45 03G25 × Cite Format Result Cite Review PDF Full Text: DOI
Barback, Joseph On regressive isols and comparability of summands and a theorem of R. Downey. (English) Zbl 0864.03030 Math. Log. Q. 43, No. 1, 83-91 (1997). Reviewer: L.Harkleroad (Ithaca) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Gencer, Çiğdem; Terziler, Mehmet On a question of Phillips. (English) Zbl 0869.03033 Math. Log. Q. 43, No. 1, 78-82 (1997). Reviewer: F.G.Asenjo (Pittsburgh) MSC: 03H15 × Cite Format Result Cite Review PDF Full Text: DOI
Gakwaya, Jean-Sylvestre Characterization of the relations in Grzegorczyk’s hierarchy revisited. (English) Zbl 0867.03013 Math. Log. Q. 43, No. 1, 73-77 (1997). Reviewer: Ch.Michaux (Mons) MSC: 03D20 68Q15 × Cite Format Result Cite Review PDF Full Text: DOI
Kołowska-Gawiejnowicz, Mirosława Powerset residuated algebras and generalized Lambek calculus. (English) Zbl 0870.03028 Math. Log. Q. 43, No. 1, 60-72 (1997). Reviewer: M.Kołowska-Gawiejnowicz (Poznań) MSC: 03G25 × Cite Format Result Cite Review PDF Full Text: DOI
Da Silva Corrêa, Marcelo; Haeusler, Edward Hermann A concrete categorical model for the Lambek syntactic calculus. (English) Zbl 0862.03043 Math. Log. Q. 43, No. 1, 49-59 (1997). MSC: 03G30 18A15 18A35 03F07 03B40 × Cite Format Result Cite Review PDF Full Text: DOI
Yamaguchi, Takeshi Effective nonrecursiveness. (English) Zbl 0870.03018 Math. Log. Q. 43, No. 1, 45-48 (1997). Reviewer: S.Ishmukhametov (Ul’yanovsk) MSC: 03D25 × Cite Format Result Cite Review PDF Full Text: DOI
Goldstern, Martin Strongly amorphous sets and dual Dedekind infinity. (English) Zbl 0873.03043 Math. Log. Q. 43, No. 1, 39-44 (1997). Reviewer: N.Brunner (Wien) MSC: 03E25 × Cite Format Result Cite Review PDF Full Text: DOI
Mazzanti, Stefano Iterative characterizations of computable unary functions: A general method. (English) Zbl 0868.03018 Math. Log. Q. 43, No. 1, 29-38 (1997). Reviewer: A.V.Anisimov (Kiev) MSC: 03D20 × Cite Format Result Cite Review PDF Full Text: DOI
Schindler, Ralf-Dieter Weak covering at large cardinals. (English) Zbl 0868.03022 Math. Log. Q. 43, No. 1, 22-28 (1997). Reviewer: J.Takahashi (Kobe) MSC: 03E55 03E35 03E45 × Cite Format Result Cite Review PDF Full Text: DOI
Stewart, Iain A. Regular subgraphs in graphs and rooted graphs and definability in monadic second-order logic. (English) Zbl 0865.03020 Math. Log. Q. 43, No. 1, 1-21 (1997). Reviewer: W.I.Gasarch (College Park / Maryland) MSC: 03C13 68Q15 03D15 03B15 × Cite Format Result Cite Review PDF Full Text: DOI