Fernández-Margarit, A.; Pérez-Jiménez, M. J. Maximum schemes in arithmetic. (English) Zbl 0810.03046 Math. Log. Q. 40, No. 3, 425-430 (1994). Reviewer: R.Kossak (New York) MSC: 03F30 03H15 × Cite Format Result Cite Review PDF Full Text: DOI
Deutsch, Michael A note on the theorems of Church-Turing and Trachtenbrot. (English) Zbl 0806.03006 Math. Log. Q. 40, No. 3, 422-424 (1994). MSC: 03B10 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Diener, Karl-Heinz A remark on ascending chain conditions, the countable axiom of choice and the principle of dependent choices. (English) Zbl 0804.03037 Math. Log. Q. 40, No. 3, 415-421 (1994). MSC: 03E25 08A02 06A05 × Cite Format Result Cite Review PDF Full Text: DOI
Valeriote, Matthew A. On solvable congruences in finitely decidable varieties. (English) Zbl 0811.08003 Math. Log. Q. 40, No. 3, 398-414 (1994). Reviewer: O.V.Belegradek (Kemerovo) MSC: 08A30 03B25 08B10 08A05 03C13 08B05 × Cite Format Result Cite Review PDF Full Text: DOI
Ash, Christopher J. A conjecture concerning the spectrum of a sentence. (English) Zbl 0806.03005 Math. Log. Q. 40, No. 3, 393-397 (1994). MSC: 03B10 03D15 68Q15 × Cite Format Result Cite Review PDF Full Text: DOI
Heikkilä, Heikki; Väänänen, Jouko Reflection of long game formulas. (English) Zbl 0864.03027 Math. Log. Q. 40, No. 3, 381-392 (1994). MSC: 03C75 03C70 03C80 × Cite Format Result Cite Review PDF Full Text: DOI
Gerla, Giangiacomo An extension principle for fuzzy logics. (English) Zbl 0811.03019 Math. Log. Q. 40, No. 3, 357-380 (1994). Reviewer: S.Miura (Okazaki / Aichi) MSC: 03B52 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Körner, Friederike Cofinal indiscernibles and some applications to New Foundations. (English) Zbl 0807.03024 Math. Log. Q. 40, No. 3, 347-356 (1994). Reviewer: A.Tzouvaras (Thessaloniki) MSC: 03C55 03E35 03E70 × Cite Format Result Cite Review PDF Full Text: DOI
Belluce, L. P.; Di Nola, Antonio; Sessa, Salvatore The prime spectrum of an MV-algebra. (English) Zbl 0815.06010 Math. Log. Q. 40, No. 3, 331-346 (1994). Reviewer: T.S.Blyth (St.Andrews) MSC: 06D30 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Mathews, Larry Completions of convexly ordered valuation rings. (English) Zbl 0806.03025 Math. Log. Q. 40, No. 3, 318-330 (1994). MSC: 03C60 13L05 54E15 × Cite Format Result Cite Review PDF Full Text: DOI
Ambos-Spies, Klaus; Ding, Decheng Discontinuity of cappings in the recursively enumerable degrees and strongly nonbranching degrees. (English) Zbl 0813.03027 Math. Log. Q. 40, No. 3, 287-317 (1994). Reviewer: J.S.Ullian (St.Louis) MSC: 03D25 × Cite Format Result Cite Review PDF Full Text: DOI