Continuous first order logic and local stability

Itaï Ben Yaacov; Alexander Usvyatsov

doi:10.1090/S0002-9947-10-04837-3

Continuous first order logic and local stability

Itaï Ben Yaacov, Alexander Usvyatsov

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

Abstract

We develop continuous first order logic, a variant of the logic described by Chang and Keisler (1966). We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends Henson's logic for Banach space structures. We conclude with the development of local stability, for which this logic is particularly well-suited.

Original language	English
Pages (from-to)	5213-5259
Number of pages	47
Journal	Transactions of the American Mathematical Society
Volume	362
Issue number	10
DOIs	https://doi.org/10.1090/S0002-9947-10-04837-3
State	Published - Oct 2010
Externally published	Yes

Keywords

Continuous logic
Local stability
Metric structures
Stability

Access to Document

10.1090/S0002-9947-10-04837-3

Cite this

@article{7ca3a62d096244768ce644874bdb8e45,

title = "Continuous first order logic and local stability",

abstract = "We develop continuous first order logic, a variant of the logic described by Chang and Keisler (1966). We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends Henson's logic for Banach space structures. We conclude with the development of local stability, for which this logic is particularly well-suited.",

keywords = "Continuous logic, Local stability, Metric structures, Stability",

author = "{Ben Yaacov}, Ita{\"i} and Alexander Usvyatsov",

year = "2010",

month = oct,

doi = "10.1090/S0002-9947-10-04837-3",

language = "אנגלית",

volume = "362",

pages = "5213--5259",

journal = "Transactions of the American Mathematical Society",

issn = "0002-9947",

publisher = "American Mathematical Society",

number = "10",

}

TY - JOUR

T1 - Continuous first order logic and local stability

AU - Ben Yaacov, Itaï

AU - Usvyatsov, Alexander

PY - 2010/10

Y1 - 2010/10

N2 - We develop continuous first order logic, a variant of the logic described by Chang and Keisler (1966). We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends Henson's logic for Banach space structures. We conclude with the development of local stability, for which this logic is particularly well-suited.

AB - We develop continuous first order logic, a variant of the logic described by Chang and Keisler (1966). We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends Henson's logic for Banach space structures. We conclude with the development of local stability, for which this logic is particularly well-suited.

KW - Continuous logic

KW - Local stability

KW - Metric structures

KW - Stability

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

U2 - 10.1090/S0002-9947-10-04837-3

DO - 10.1090/S0002-9947-10-04837-3

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

AN - SCOPUS:77956290699

SN - 0002-9947

VL - 362

SP - 5213

EP - 5259

JO - Transactions of the American Mathematical Society

JF - Transactions of the American Mathematical Society

IS - 10

ER -

Continuous first order logic and local stability

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this