Pillay, A. A note on subgroups of the automorphism group of a saturated model, and regular types. (English) Zbl 0721.03020 J. Symb. Log. 54, No. 3, 858-864 (1989). Reviewer: M.Yasuhara (Princeton) MSC: 03C45 03C50 20B27 × Cite Format Result Cite Review PDF Full Text: DOI
Montagna, Franco; Sorbi, Andrea Creativeness and completeness in recursion categories of partial recursive operators. (English) Zbl 0714.03041 J. Symb. Log. 54, No. 3, 1023-1041 (1989). Reviewer: P.Bankston MSC: 03D75 18B20 × Cite Format Result Cite Review PDF Full Text: DOI
Wehrung, Friedrich Nonabsoluteness of elementary embeddings. (English) Zbl 0709.03041 J. Symb. Log. 54, No. 3, 774-778 (1989). Reviewer: U.Felgner MSC: 03E55 × Cite Format Result Cite Review PDF Full Text: DOI
Gitik, Moti On generic elementary embeddings. (English) Zbl 0706.03041 J. Symb. Log. 54, No. 3, 700-707 (1989). Reviewer: F.R.Drake MSC: 03E55 03E40 × Cite Format Result Cite Review PDF Full Text: DOI
Nesin, Ali Groups of finite Morley rank with transitive group automorphisms. (English) Zbl 0741.03016 J. Symb. Log. 54, No. 3, 1080-1082 (1989). MSC: 03C45 20E36 03C60 × Cite Format Result Cite Review PDF Full Text: DOI
Baldwin, John T. Diverse classes. (English) Zbl 0701.03014 J. Symb. Log. 54, No. 3, 875-893 (1989). MSC: 03C45 03C52 × Cite Format Result Cite Review PDF Full Text: DOI
Kossak, Roman; Nadel, Mark; Schmerl, James A note on the multiplicative semigroup of models of Peano arithmetic. (English) Zbl 0698.03026 J. Symb. Log. 54, No. 3, 936-940 (1989). Reviewer: P.Štěpánek MSC: 03C62 × Cite Format Result Cite Review PDF Full Text: DOI
Marker, David Non \(\Sigma _ n\) axiomatizable almost strongly minimal theories. (English) Zbl 0698.03021 J. Symb. Log. 54, No. 3, 921-927 (1989). Reviewer: P.Štěpánek MSC: 03C35 03C65 × Cite Format Result Cite Review PDF Full Text: DOI
Krajíček, Jan; Pudlák, Pavel Propositional proof systems, the consistency of first order theories and the complexity of computations. (English) Zbl 0696.03029 J. Symb. Log. 54, No. 3, 1063-1079 (1989). Reviewer: N.Both MSC: 03F20 03D10 03D15 03B05 03B10 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Perkins, Peter Finite axiomatizability for equational theories of computable groupoids. (English) Zbl 0695.03023 J. Symb. Log. 54, No. 3, 1018-1022 (1989). Reviewer: A.A.Mullin MSC: 03D45 03C57 11U99 03D25 × Cite Format Result Cite Review PDF Full Text: DOI
Weitkamp, Galen The \(\Sigma ^ 1_ 2\) theory of axioms of symmetry. (English) Zbl 0692.03032 J. Symb. Log. 54, No. 3, 727-734 (1989). Reviewer: F.R.Drake MSC: 03E15 03E65 × Cite Format Result Cite Review PDF Full Text: DOI
Gurevich, Yuri; Shelah, Saharon Time polynomial in input or output. (English) Zbl 0692.03026 J. Symb. Log. 54, No. 3, 1083-1088 (1989). Reviewer: E.Heinrich MSC: 03D15 68Q25 03D60 × Cite Format Result Cite Review PDF Full Text: DOI
Friedman, Harvey; Stanley, Lee A Borel reducibility theory for classes of countable structures. (English) Zbl 0692.03022 J. Symb. Log. 54, No. 3, 894-914 (1989). Reviewer: J.Flum MSC: 03C15 03C75 03D55 03E15 × Cite Format Result Cite Review PDF Full Text: DOI
Craig, William Near-equational and equational systems of logic for partial functions. I. (English) Zbl 0691.03016 J. Symb. Log. 54, No. 3, 795-827 (1989). Reviewer: C.S.Kalfa MSC: 03C05 08B05 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Cenzer, Douglas; Smith, Rick L. On the ranked points of a \(\Pi ^ 0_ 1\) set. (English) Zbl 0689.03022 J. Symb. Log. 54, No. 3, 975-991 (1989). MSC: 03D55 03D30 × Cite Format Result Cite Review PDF Full Text: DOI
van den Dries, Lou; Marker, David; Martin, Gary Definable equivalence relations on algebraically closed fields. (English) Zbl 0689.03019 J. Symb. Log. 54, No. 3, 928-935 (1989). Reviewer: M.F.Singer MSC: 03C60 12L12 × Cite Format Result Cite Review PDF Full Text: DOI
Corredor, Luis Jaime Bad groups of finite Morley rank. (English) Zbl 0689.03017 J. Symb. Log. 54, No. 3, 768-773 (1989). Reviewer: P.M.Neumann MSC: 03C60 03C45 20A15 × Cite Format Result Cite Review PDF Full Text: DOI
Fletcher, Peter Nonstandard set theory. (English) Zbl 0688.03044 J. Symb. Log. 54, No. 3, 1000-1008 (1989). Reviewer: K.Čuda MSC: 03H05 03E70 × Cite Format Result Cite Review PDF Full Text: DOI
Dekker, J. C. E.; Ellentuck, E. Isols and the pigeonhole principle. (English) Zbl 0688.03029 J. Symb. Log. 54, No. 3, 833-846 (1989). Reviewer: L.Harkleroad MSC: 03D50 05A15 × Cite Format Result Cite Review PDF Full Text: DOI
Appenzeller, Fred An independence result in quadratic form theory: Infinitary combinatorics applied to \(\epsilon\)-Hermitian spaces. (English) Zbl 0687.03030 J. Symb. Log. 54, No. 3, 689-699 (1989). Reviewer: F.Appenzeller MSC: 03E35 11E16 × Cite Format Result Cite Review PDF Full Text: DOI
Louveau, Alain Two results on Borel orders. (English) Zbl 0687.03028 J. Symb. Log. 54, No. 3, 865-874 (1989). MSC: 03E15 06A05 03E10 × Cite Format Result Cite Review PDF Full Text: DOI
Ambos-Spies, K.; Lerman, M. Lattice embeddings into the recursively enumerable degrees. II. (English) Zbl 0687.03022 J. Symb. Log. 54, No. 3, 735-760 (1989). Reviewer: C.Calude MSC: 03D25 × Cite Format Result Cite Review PDF Full Text: DOI
Font, Josep M.; Verdú, Ventura A first approach to abstract modal logics. (English) Zbl 0687.03008 J. Symb. Log. 54, No. 3, 1042-1062 (1989). Reviewer: B.Boričić MSC: 03B45 03G10 06A15 × Cite Format Result Cite Review PDF Full Text: DOI
Maddux, Roger D. Nonfinite axiomatizability results for cylindric and relation algebras. (English) Zbl 0686.03035 J. Symb. Log. 54, No. 3, 951-974 (1989). Reviewer: A.Ursini MSC: 03G15 03B20 03B10 × Cite Format Result Cite Review PDF Full Text: DOI
Kechris, Alexander S.; Marker, David; Sami, Ramez L. \(\Pi^ 1_ 1\) Borel sets. (English) Zbl 0686.03025 J. Symb. Log. 54, No. 3, 915-920 (1989). Reviewer: J.M.Plotkin MSC: 03E15 03E45 03E60 × Cite Format Result Cite Review PDF Full Text: DOI
Bartoszynski, Tomek; Ihoda, Jaime I. On the cofinality of the smallest covering of the real line by meager sets. (English) Zbl 0686.03023 J. Symb. Log. 54, No. 3, 828-832 (1989). Reviewer: K.Gloede MSC: 03E15 28A05 03E35 03E05 × Cite Format Result Cite Review PDF Full Text: DOI
Bartoszynski, Tomek; Ihoda, Jaime I.; Shelah, Saharon The cofinality of cardinal invariants related to measure and category. (English) Zbl 0686.03022 J. Symb. Log. 54, No. 3, 719-726 (1989). Reviewer: K.Gloede MSC: 03E15 03E35 28A05 × Cite Format Result Cite Review PDF Full Text: DOI
Fremlin, D. H.; Nyikos, P. J. Saturating ultrafilters on \({\mathbb{N}}\). (English) Zbl 0686.03021 J. Symb. Log. 54, No. 3, 708-718 (1989). Reviewer: N.H.Williams MSC: 03E05 03E55 03E35 03E50 × Cite Format Result Cite Review PDF Full Text: DOI
Owings, James C. jun. A cardinality version of Beigel’s nonspeedup theorem. (English) Zbl 0685.03034 J. Symb. Log. 54, No. 3, 761-767 (1989). Reviewer: C.Calude MSC: 03D15 03D30 × Cite Format Result Cite Review PDF Full Text: DOI
Poizat, Bruno Generix strikes again. (French) Zbl 0685.03032 J. Symb. Log. 54, No. 3, 847-857 (1989). Reviewer: C.Calude MSC: 03D15 × Cite Format Result Cite Review PDF Full Text: DOI
Rubel, Lee A. Digital simulation of analog computation and Church’s thesis. (English) Zbl 0683.03040 J. Symb. Log. 54, No. 3, 1011-1017 (1989). Reviewer: G.Mints MSC: 03F60 12H20 × Cite Format Result Cite Review PDF Full Text: DOI
Denef, J.; Lipshitz, L. Decision problems for differential equations. (English) Zbl 0683.03039 J. Symb. Log. 54, No. 3, 941-950 (1989). Reviewer: G.Mints MSC: 03F60 12H20 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Kent, Clement F.; Hodgson, Bernard R. Extensions of arithmetic for proving termination of computations. (English) Zbl 0683.03037 J. Symb. Log. 54, No. 3, 779-794 (1989). Reviewer: G.Mints MSC: 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Kummer, Martin A note on direct sums of Friedberg numberings. (English) Zbl 0682.03023 J. Symb. Log. 54, No. 3, 1009-1010 (1989). MSC: 03D20 03D45 × Cite Format Result Cite Review PDF Full Text: DOI
Sambin, G.; Vaccaro, V. A new proof of Sahlqvist’s theorem on modal definability and completeness. (English) Zbl 0682.03009 J. Symb. Log. 54, No. 3, 992-999 (1989). Reviewer: G.Mints MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI