Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Continuous first order logic and local stability

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
Read More Add to Saved list
  • Additional Information
    • Contributors:
      Institut Camille Jordan (ICJ); École Centrale de Lyon (ECL); Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL); Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon); Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS); Department of Mathematics UCLA; University of California Los Angeles (UCLA); University of California (UC)-University of California (UC)
    • Publication Information:
      HAL CCSD
      American Mathematical Society
    • Publication Date:
      2010
    • Collection:
      Université Jean Monnet – Saint-Etienne: HAL
    • Abstract:
      International audience ; We develop continuous first order logic, a variant of the logic described in \cite{Chang-Keisler:ContinuousModelTheory}. 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.
    • Relation:
      info:eu-repo/semantics/altIdentifier/arxiv/0801.4303; hal-00220454; https://hal.science/hal-00220454; https://hal.science/hal-00220454/document; https://hal.science/hal-00220454/file/cfo.pdf; ARXIV: 0801.4303
    • Accession Number:
      10.1090/S0002-9947-10-04837-3
    • Online Access:
      https://doi.org/10.1090/S0002-9947-10-04837-3
      https://hal.science/hal-00220454
      https://hal.science/hal-00220454/document
      https://hal.science/hal-00220454/file/cfo.pdf
    • Rights:
      info:eu-repo/semantics/OpenAccess
    • Accession Number:
      edsbas.28641C01