Mathematics – Logic
Scientific paper
2008-01-28
Mathematics
Logic
Scientific paper
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.
Usvyatsov Alexander
Yaacov Itaï Ben
No associations
LandOfFree
Continuous first order logic and local stability does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Continuous first order logic and local stability, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Continuous first order logic and local stability will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-157022