The hanf number of omitting complete types

Saharon Shelah

doi:10.2140/pjm.1974.50.163

The hanf number of omitting complete types

Saharon Shelah

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

It is proved in this paper that the Hanf number m^c of omitting complete types by models of complete countable theories is the same as that of omitting not necessarily complete type by models of a countable theory.

Original language	English
Pages (from-to)	163-168
Number of pages	6
Journal	Pacific Journal of Mathematics
Volume	50
Issue number	1
DOIs	https://doi.org/10.2140/pjm.1974.50.163
State	Published - Jan 1974

Access to Document

10.2140/pjm.1974.50.163

Cite this

@article{2f1953b8e16841979621d72bad645d60,

title = "The hanf number of omitting complete types",

abstract = "It is proved in this paper that the Hanf number mc of omitting complete types by models of complete countable theories is the same as that of omitting not necessarily complete type by models of a countable theory.",

author = "Saharon Shelah",

year = "1974",

month = jan,

doi = "10.2140/pjm.1974.50.163",

language = "אנגלית",

volume = "50",

pages = "163--168",

journal = "Pacific Journal of Mathematics",

issn = "0030-8730",

publisher = "Mathematical Sciences Publishers",

number = "1",

}

TY - JOUR

T1 - The hanf number of omitting complete types

AU - Shelah, Saharon

PY - 1974/1

Y1 - 1974/1

N2 - It is proved in this paper that the Hanf number mc of omitting complete types by models of complete countable theories is the same as that of omitting not necessarily complete type by models of a countable theory.

AB - It is proved in this paper that the Hanf number mc of omitting complete types by models of complete countable theories is the same as that of omitting not necessarily complete type by models of a countable theory.

UR - http://www.scopus.com/inward/record.url?scp=84972581313&partnerID=8YFLogxK

U2 - 10.2140/pjm.1974.50.163

DO - 10.2140/pjm.1974.50.163

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84972581313

SN - 0030-8730

VL - 50

SP - 163

EP - 168

JO - Pacific Journal of Mathematics

JF - Pacific Journal of Mathematics

IS - 1

ER -

The hanf number of omitting complete types

Abstract

Access to Document

Other files and links

Fingerprint

Cite this