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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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.
Open arithmetic and its nonstandard models.Sedki Boughattas - 1991 - Journal of Symbolic Logic 56 (2):700-714.
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 - 1994 - Journal of Symbolic Logic 59 (4):1451-1458.
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
38 (#408,853)

6 months
16 (#218,157)

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