Switch to: References

Add citations

You must login to add citations.
  1. Ultrafilters and types on models of arithmetic.L. A. S. Kirby - 1984 - Annals of Pure and Applied Logic 27 (3):215-252.