On the n-uniqueness of types in rosy theories

Byunghan Kim

doi:10.1007/s00153-016-0487-6

On the n-uniqueness of types in rosy theories

Byunghan Kim

Department of Mathematics

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

2 Citations (Scopus)

Abstract

We prove that in a rosy theory, the n-uniqueness of a strong type p implies the strong n-uniqueness of p. In addition we study some of the boundary properties of p.

Original language	English
Pages (from-to)	677-686
Number of pages	10
Journal	Archive for Mathematical Logic
Volume	55
Issue number	5-6
DOIs	https://doi.org/10.1007/s00153-016-0487-6
Publication status	Published - 2016 Aug 1

Bibliographical note

Funding Information:
This work was supported by NRF of Korea Grant 2013R1A1A2073702.

Publisher Copyright:
© 2016, Springer-Verlag Berlin Heidelberg.

All Science Journal Classification (ASJC) codes

Philosophy
Logic

Access to Document

10.1007/s00153-016-0487-6

Cite this

@article{b4cd3149ebb94365b6dd5a9d952bbe2d,

title = "On the n-uniqueness of types in rosy theories",

abstract = "We prove that in a rosy theory, the n-uniqueness of a strong type p implies the strong n-uniqueness of p. In addition we study some of the boundary properties of p.",

author = "Byunghan Kim",

note = "Funding Information: This work was supported by NRF of Korea Grant 2013R1A1A2073702. Publisher Copyright: {\textcopyright} 2016, Springer-Verlag Berlin Heidelberg.",

year = "2016",

month = aug,

day = "1",

doi = "10.1007/s00153-016-0487-6",

language = "English",

volume = "55",

pages = "677--686",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "5-6",

}

TY - JOUR

T1 - On the n-uniqueness of types in rosy theories

AU - Kim, Byunghan

PY - 2016/8/1

Y1 - 2016/8/1

N2 - We prove that in a rosy theory, the n-uniqueness of a strong type p implies the strong n-uniqueness of p. In addition we study some of the boundary properties of p.

AB - We prove that in a rosy theory, the n-uniqueness of a strong type p implies the strong n-uniqueness of p. In addition we study some of the boundary properties of p.

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

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

U2 - 10.1007/s00153-016-0487-6

DO - 10.1007/s00153-016-0487-6

M3 - Article

AN - SCOPUS:84964290630

SN - 0933-5846

VL - 55

SP - 677

EP - 686

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 5-6

ER -

On the n-uniqueness of types in rosy theories

Abstract

Bibliographical note

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this