6 found
Order:
  1.  8
    Initial Segments of Models of Peano's Axioms.L. A. S. Kirby, J. B. Paris, A. Lachlan, M. Srebrny & A. Zarach - 1983 - Journal of Symbolic Logic 48 (2):482-483.
  2.  8
    Ultrafilters and Types on Models of Arithmetic.L. A. S. Kirby - 1984 - Annals of Pure and Applied Logic 27 (3):215-252.
  3.  20
    Flipping Properties in Arithmetic.L. A. S. Kirby - 1982 - Journal of Symbolic Logic 47 (2):416-422.
  4.  18
    Angus Macintyre. Ramsey Quantifiers in Arithmetic. 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. 186–210. - James H. Schmerl and Stephen G. Simpson. On the Role of Ramsey Quantifiers in First Order Arithmetic. The Journal of Symbolic Logic, Vol. 47 , Pp. 423–435. - Carl Morgenstern. On Generalized Quantifiers in Arithmetic. The Journal of Symbolic Logic, Vol. 47 , Pp. 187–190. [REVIEW]L. A. S. Kirby - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
  5.  8
    Review: Angus Macintyre, L. Pacholski, J. Wierzejewski, A. J. Wilkie, Ramsey Quantifiers in Arithmetic; James H. Schmerl, Stephen G. Simpson, On the Role of Ramsey Quantifiers in First Order Arithmetic; Carl Morgenstern, On Generalized Quantifiers in Arithmetic. [REVIEW]L. A. S. Kirby - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
  6.  15
    Models of Arithmetic and Categories with Finiteness Conditions.R. Diaconescu & L. A. S. Kirby - 1987 - Annals of Pure and Applied Logic 35 (C):123-148.