Work

Continuous first order logic and local stability

Year: 2010

Type: article

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.

Source: Transactions of the American Mathematical Society

DOI: 10.1090/s0002-9947-10-04837-3

Authors: Itaï Ben Yaacov, Alexander Usvyatsov

Institutions: University of Lisbon, University of California, Los Angeles

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: hybrid

Funder: National Science Foundation

Award: Stability Theory in Continuous First Order Logic