Types omitted in uncountable models of arithmetic

Journal of Symbolic Logic 40 (3):317-320 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272157

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

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

On certain types and models for arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
Expansions, omitting types, and standard systems.Fredrik Engström - 2004 - Dissertation, Chalmers
Models without indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
Models of arithmetic and upper Bounds for arithmetic sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
Additive structure in uncountable models for a fixed completion of P.Julia F. Knight - 1983 - Journal of Symbolic Logic 48 (3):623-628.
The complexity of classification problems for models of arithmetic.Samuel Coskey & Roman Kossak - 2010 - Bulletin of Symbolic Logic 16 (3):345-358.
Some remarks on initial segments in models of peano arithmetic.Henryk Kotlarski - 1984 - Journal of Symbolic Logic 49 (3):955-960.
Regularity in models of arithmetic.George Mills & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):272-280.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.

Analytics

Added to PP
2009-01-28

Downloads
29 (#552,493)

6 months
15 (#168,953)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Skolem Ultrapowers and Their Non‐Standard Variant.Henryk Kotlarski - 1980 - Mathematical Logic Quarterly 26 (14-18):227-236.

Add more citations

References found in this work

No references found.

Add more references