Research Article
Sous-groupes periodiques d'un groupe stable
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 385-400
-
- Article
- Export citation
The Cichoń diagram
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-423
-
- Article
- Export citation
Definability of models by means of existential formulas without identity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 424-434
-
- Article
- Export citation
Pointwise compact and stable sets of measurable functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 435-455
-
- Article
- Export citation
Quadratic forms in normal open induction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 456-476
-
- Article
- Export citation
Extending the first-order theory of combinators with self-referential truth
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 477-513
-
- Article
- Export citation
Kripke models for linear logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 514-545
-
- Article
- Export citation
On solvable centerless groups of Morley rank 3
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 546-556
-
- Article
- Export citation
The Baire category theorem in weak subsystems of second-order arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 557-578
-
- Article
- Export citation
The development of arithmetic in Frege's Grundgesetze der arithmetik
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 579-601
-
- Article
- Export citation
Theory contraction and base contraction unified
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 602-625
-
- Article
- Export citation
The number of proofs for a BCK-formula
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 626-628
-
- Article
- Export citation
On the Cantor-Bendixon rank of recursively enumerable sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 629-640
-
- Article
- Export citation
Every real closed field has an integer part
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 641-647
-
- Article
- Export citation
Scott analysis of pseudotypes
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 648-663
-
- Article
- Export citation
Bounds for the closure ordinals of essentially monotonic increasing functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 664-671
-
- Article
- Export citation
Decidability and undecidability of theories with a predicate for the primes
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 672-687
-
- Article
- Export citation
The deduction rule and linear and near-linear proof simulations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 688-709
-
- Article
- Export citation
Reviews
B. I. Zil′ber. Totally categorical theories: structural properties and the non-finite axiomatizability. Model theory of algebra and arithmetic, Proceedings of the conference on applications of logic to algebra and arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 381–410. - B. I. Zil′ber. Strongly minimal countably categorical theories. Siberian mathematical journal, vol. 21 no. 2 (for 1980, pub. 1981), pp. 219–230. (English translation of Sil′no minimal′nye schetno kategorichnye teorii, Sibirskiimatematicheskii zhurnal. vol. 21 no. 2 (1980), pp. 98-112.) - B. I. Zil′ber. Strongly minimal countably categorical theories. II. Ibid., vol. 25 no. 3 (for 1984, pub. 1985), pp. 396-412. (English translation of Sil′no minimal′nye schetno kategorichnye teorii, II, ibid., vol. 25 no. 3 (1984), pp. 71-88.) - B. I. Zil′ber. Strongly minimal countably categorical theories. III. Ibid., vol. 25 no. 4 (for 1984, pub. 1985), pp. 559-571. (English translation of Sil'no minimal'nye schetno-kategorichnye teorii, III, ibid., vol. 25 no. 4 (1984), pp. 63-77.) - B. I. Zil′ber. Totally categorical structures and combinatorial geometries. Soviet mathematics–Doklady, vol. 24 no. 1 (for 1981, pub. 1982), pp. 149-151. (English translation by E. Mendelson of Total′no kategorichnye struktury i kombinatornye geometrii, Doklady Akademii Nauk SSSR, vol. 259 (1981), pp. 1039-1041.) - B. I. Zil′ber The structure of models of uncountably categorical theories. Proceedings of the International Congress of Mathematicians, August 16–24,1983, Warszawa, Volume 1, PWN—Polish Scientific Publishers, Warsaw, and North-Holland, Amsterdam, New York, and Oxford, 1984, pp. 359-368.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 710-713
-
- Article
- Export citation
Gisela Ahlbrandt and Martin Ziegler. Quasi finitely axiomatizable totally categorical theories. Annals of pure and applied logic, vol. 30 (1986), pp. 63–82. - Ehud Hrushovski. Totally categorical structures. Transactions of the American Mathematical Society, vol. 313 (1989), pp. 131–159.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 713-714
-
- Article
- Export citation