The intersection of nonstandard models of arithmetic

Journal of Symbolic Logic 37 (1):103-106 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272552

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,599

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Andreas Blass, Near Coherence of Filters, I: Cofinal Equivalence of Models of Arithmetic. [REVIEW]H. B. Enderton - 1993 - Journal of Symbolic Logic 58 (1):350-350.
Andreas Blass. Near coherence of filters, 1: cofinal equivalence of models of arithmetic. Notre Dame journal of formal logic, vol. 27 , pp. 579–591. [REVIEW]H. B. Enderton - 1993 - Journal of Symbolic Logic 58 (1):350.
Addition in nonstandard models of arithmetic.R. Phillips - 1972 - Journal of Symbolic Logic 37 (3):483-486.
Recursively saturated nonstandard models of arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.
Recursively saturated nonstandard models of arithmetic; addendum.C. Smoryński - 1982 - Journal of Symbolic Logic 47 (3):493-494.
The Bass-milnor-serre theorem for nonstandard models in peano arithmetic.Anatole Khelif - 1993 - Journal of Symbolic Logic 58 (4):1451-1458.
Andreas Blass and Saharon Shelah. Ultrafilters with small generating sets. Israel journal of mathematics, vol. 65 , pp. 259–271. - Andreas Blass and Saharon Shelah. There may be simple - and -points and the Rudin–Keisler ordering may be downward directed. Annals of pure and applied logic, vol. 33 , pp. 213–243. - Andreas Blass. Near coherence of filters. II: Applications to operator ideals, the Stone–Čech remainder of a half-line, order ideals of sequences, and the slenderness of groups. Transactions of the American Mathematical Society, vol. 300 , pp. 557–581. - Andreas Blass and Saharon Shelah. Near coherence of filters III: a simplified consistency proof. Notre Dame journal of formal logic, vol. 30 , pp. 530–538. - Andreas Blass and Claude Laflamme. Consistency results about filters and the number of inequivalent growth types. The journal of symbolic logic, vol. 54 , pp. 50–56. - Andreas Blass. Applications of superperfect forcing and its relatives. Set theory and its applications. [REVIEW]Peter J. Nyikos - 1992 - Journal of Symbolic Logic 57 (2):763-766.
Nonstandard models in recursion theory and reverse mathematics.C. T. Chong, Wei Li & Yue Yang - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.

Analytics

Added to PP
2009-01-28

Downloads
58 (#403,793)

6 months
6 (#728,910)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Ultrafilters over a measurable cardinal.A. Kanamori - 1976 - Annals of Mathematical Logic 10 (3-4):315-356.
Automorphisms of Countable Short Recursively Saturated Models of PA.Erez Shochat - 2008 - Notre Dame Journal of Formal Logic 49 (4):345-360.
Lower Bounds of Sets of P-points.Borisa Kuzeljevic, Dilip Raghavan & Jonathan L. Verner - 2023 - Notre Dame Journal of Formal Logic 64 (3):317-327.

View all 6 citations / Add more citations

References found in this work

Ultrafilters on a countable set.David Booth - 1970 - Annals of Mathematical Logic 2 (1):1.

Add more references