PA(aa)
-
Published:1995-10-01
Issue:4
Volume:36
Page:
-
ISSN:0029-4527
-
Container-title:Notre Dame Journal of Formal Logic
-
language:
-
Short-container-title:Notre Dame J. Formal Logic
Publisher
Duke University Press
Reference13 articles.
1. Barwise, J., M. Kaufmann, and M. Makkai, "Stationary logic," Annals of Mathematical Logic, vol. 13 (1978), pp. 171-224 2. (correction in Annals of Mathematical Logic, vol. 20 (1981), pp. 231-232). Zbl 0372.02031 MR 82f:03031a 3. Eklof, P., and A. Mekler, “Stationary logic of finitely determinate structures," Annals of Mathematical Logic, vol. 17 (1979), pp. 227–270. Zbl 0448.03025 MR 82f:03033 4. Gaifman, H., “Models and types of Peano's arithmetic," Annals of Mathematical Logic, vol. 9 (1976), pp. 223–306. Zbl 0332.02058 MR 53:10577 5. Kakuda, Y., “The role of a filter quantifier in set theory," pp. 16–95 in Mathematical Logic and Applications, Lecture Notes in Mathematics vol. 1388, edited by J. Shinoda et al., Springer-Verlag, Berlin, 1989. Zbl 0673.03044 MR 90m:03090
|
|