Saracino, Dan Prime e. c. commutative rings in characteristic \(n\geqq 2\). (English) Zbl 0932.03039 J. Symb. Log. 64, No. 2, 629-633 (1999). Reviewer: Hans Schoutens (Piscataway) MSC: 03C60 13L05 × Cite Format Result Cite Review PDF Full Text: DOI
Barwise, Jon; van Benthem, Johan Interpolation, preservation, and pebble games. (English) Zbl 0930.03040 J. Symb. Log. 64, No. 2, 881-903 (1999). MSC: 03C70 03C40 03C80 × Cite Format Result Cite Review PDF Full Text: DOI
Ghilardi, Silvio Unification in intuitionistic logic. (English) Zbl 0930.03009 J. Symb. Log. 64, No. 2, 859-880 (1999). MSC: 03B35 03B20 06D20 08B30 03B55 × Cite Format Result Cite Review PDF Full Text: DOI
Baltag, Alexandru Interpolation and preservation for pebble logics. (English) Zbl 0930.03041 J. Symb. Log. 64, No. 2, 846-858 (1999). MSC: 03C70 03C40 03C80 × Cite Format Result Cite Review PDF Full Text: DOI
Schoutens, Hans Existentially closed models of the theory of Artinian local rings. (English) Zbl 1060.03056 J. Symb. Log. 64, No. 2, 825-845 (1999). Reviewer: Carlo Toffalori (Camerino) (MR 2001g:03068) MSC: 03C60 13E10 13L05 13H10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Buechler, Steven Lascar strong types in some simple theories. (English) Zbl 0930.03035 J. Symb. Log. 64, No. 2, 817-824 (1999). MSC: 03C45 × Cite Format Result Cite Review PDF Full Text: DOI
Portier, Natacha Polynomial stability of differential fields. (Stabilité polynômiale des corps différentiels.) (French) Zbl 0939.03040 J. Symb. Log. 64, No. 2, 803-816 (1999). Reviewer: Serban A.Basarab (Bucureşti) MSC: 03C60 03D15 12L12 68Q15 12H05 03C10 × Cite Format Result Cite Review PDF Full Text: DOI
Okada, Mitsuhiro; Terui, Kazushige The finite model property for various fragments of intuitionistic linear logic. (English) Zbl 0930.03021 J. Symb. Log. 64, No. 2, 790-802 (1999). MSC: 03B47 03C13 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Ivanov, A. A. Generic expansions of \(\omega\)-categorical structures and semantics of generalized quantifiers. (English) Zbl 0930.03034 J. Symb. Log. 64, No. 2, 775-789 (1999). MSC: 03C35 03C80 03C15 × Cite Format Result Cite Review PDF Full Text: DOI
Hirst, Jeffry L. Ordinal inequalities, transfinite induction, and reverse mathematics. (English) Zbl 0930.03085 J. Symb. Log. 64, No. 2, 769-774 (1999). Reviewer: Alberto Marcone (Udine) MSC: 03F35 × Cite Format Result Cite Review PDF Full Text: DOI
Jaber, Khaled Generic equations in a nilpotent stable group. (Équations génériques dans un groupe stable nilpotent.) (French) Zbl 0930.03039 J. Symb. Log. 64, No. 2, 761-768 (1999). MSC: 03C60 20A15 03C45 × Cite Format Result Cite Review PDF Full Text: DOI
Mikulás, Szabolcs; Marx, Maarten Undecidable relativizations of algebras of relations. (English) Zbl 0934.03080 J. Symb. Log. 64, No. 2, 747-760 (1999). Reviewer: R.Maddux (Ames) MSC: 03G15 03B25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Zhang, Yi On a class of m. a. d. families. (English) Zbl 0930.03061 J. Symb. Log. 64, No. 2, 737-746 (1999). MSC: 03E17 03E35 20A15 × Cite Format Result Cite Review PDF Full Text: DOI
Blass, Andreas; Mildenberger, Heike On the cofinality of ultrapowers. (English) Zbl 0930.03060 J. Symb. Log. 64, No. 2, 727-736 (1999). MSC: 03E17 03E05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link Backlinks: MO
Steprāns, Juris Unions of rectifiable curves in Euclidean space and the covering number of meagre ideal. (English) Zbl 0929.03051 J. Symb. Log. 64, No. 2, 701-726 (1999). Reviewer: T.Natkaniec (Gdańsk)) MSC: 03E35 03E17 54A25 54A35 54E35 × Cite Format Result Cite Review PDF Full Text: DOI
Kaneko, Mamoru Common knowledge logic and game logic. (English) Zbl 0929.03023 J. Symb. Log. 64, No. 2, 685-700 (1999). MSC: 03B42 91A35 03F05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Baldwin, John T.; Grossberg, Rami; Shelah, Saharon Transfering saturation, the finite cover property, and stability. (English) Zbl 0929.03041 J. Symb. Log. 64, No. 2, 678-684 (1999). MSC: 03C45 03C50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jeong, Joohee A decidable variety that is finitely undecidable. (English) Zbl 0935.03017 J. Symb. Log. 64, No. 2, 651-677 (1999). Reviewer: A.A.Mullin (Huntsville) MSC: 03B25 03C13 08B99 × Cite Format Result Cite Review PDF Full Text: DOI
Sui, Yuefei; Zhang, Zaiyue The cupping theorem in \(\mathbf {R}/\mathbf {M}\). (English) Zbl 0929.03046 J. Symb. Log. 64, No. 2, 643-650 (1999). MSC: 03D25 × Cite Format Result Cite Review PDF Full Text: DOI
Hyttinen, Tapani; Shelah, Saharon Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part C. (English) Zbl 0929.03042 J. Symb. Log. 64, No. 2, 634-642 (1999). MSC: 03C45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Prest, Mike Tensor product and theories of modules. (English) Zbl 0932.03040 J. Symb. Log. 64, No. 2, 617-628 (1999). Reviewer: C.Toffalori (Camerino) MSC: 03C60 16B70 × Cite Format Result Cite Review PDF Full Text: DOI
Hauser, Kai; Woodin, W. Hugh \(\Pi_3^1\) sets and \(\Pi_3^1\) singletons. (English) Zbl 0930.03057 J. Symb. Log. 64, No. 2, 590-616 (1999). MSC: 03E15 03E45 03E60 03E55 03E35 × Cite Format Result Cite Review PDF Full Text: DOI
Givant, Steven Universal classes of simple relation algebras. (English) Zbl 0934.03079 J. Symb. Log. 64, No. 2, 575-589 (1999). Reviewer: R.Maddux (Ames) MSC: 03G15 08C10 08B26 × Cite Format Result Cite Review PDF Full Text: DOI
Kanovei, Vladimir On non-wellfounded iterations of the perfect set forcing. (English) Zbl 0930.03062 J. Symb. Log. 64, No. 2, 551-574 (1999). MSC: 03E40 × Cite Format Result Cite Review PDF Full Text: DOI
Rathjen, Michael Explicit mathematics with the monotone fixed point principle II: Models. (English) Zbl 0930.03093 J. Symb. Log. 64, No. 2, 517-550 (1999). Reviewer: B.Boričić (Beograd) MSC: 03F50 03F35 03F65 × Cite Format Result Cite Review PDF Full Text: DOI
Hummel, Tamara; Jockusch, Carl G. jun. Generalized cohesiveness. (English) Zbl 0935.03050 J. Symb. Log. 64, No. 2, 489-516 (1999). Reviewer: R.Murawski (Poznań) MSC: 03D28 03D10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bell, John L. Frege’s theorem in a constructive setting. (English) Zbl 0930.03083 J. Symb. Log. 64, No. 2, 486-488 (1999). MSC: 03F30 03F65 03E70 03F55 × Cite Format Result Cite Review PDF Full Text: DOI
Mints, G. Cut-elimination for simple type theory with an axiom of choice. (English) Zbl 0930.03080 J. Symb. Log. 64, No. 2, 479-485 (1999). Reviewer: B.Boričić (Beograd) MSC: 03F05 03B15 × Cite Format Result Cite Review PDF Full Text: DOI
Spinas, Otmar Countable filters on \(\omega\). (English) Zbl 0934.03059 J. Symb. Log. 64, No. 2, 469-478 (1999). Reviewer: J.M.Plotkin (East Lansing) MSC: 03E05 03E35 × Cite Format Result Cite Review PDF Full Text: DOI
Heaton, A. J. A jump operator for subrecursion theories. (English) Zbl 0932.03045 J. Symb. Log. 64, No. 2, 460-468 (1999). Reviewer: J.Mycka (Lublin) MSC: 03D20 × Cite Format Result Cite Review PDF Full Text: DOI
Rudominer, Mitch The largest countable inductive set is a mouse set. (English) Zbl 0930.03059 J. Symb. Log. 64, No. 2, 443-459 (1999). MSC: 03E15 03E45 03E55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Komjáth, Péter Some remarks on the partition calculus of ordinals. (English) Zbl 0951.03041 J. Symb. Log. 64, No. 2, 436-442 (1999). Reviewer: N.Brunner (Wien) MSC: 03E02 03E05 × Cite Format Result Cite Review PDF Full Text: DOI
Lurie, Jacob Anti-admissible sets. (English) Zbl 0930.03067 J. Symb. Log. 64, No. 2, 407-435 (1999). MSC: 03E70 × Cite Format Result Cite Review PDF Full Text: DOI