Continuous first order logic for unbounded metric structures

Details Continuous first order logic for unbounded metric structures Continuous first order logic for unbounded metric structures

2009-03-28

arxiv.org/abs/0903.4957v1

Journal of Mathematical Logic 8, 2 (2008) 197-223

Mathematics

Logic

Scientific paper

10.1142/S0219061308000737

We present an adaptation of continuous first order logic to unbounded metric structures. This has the advantage of being closer in spirit to C. Ward Henson's logic for Banach space structures than the unit ball approach (which has been the common approach so far to Banach space structures in continuous logic), as well as of applying in situations where the unit ball approach does not apply (i.e., when the unit ball is not a definable set). We also introduce the process of single point \emph{emboundment} (closely related to the topological single point compactification), allowing to bring unbounded structures back into the setting of bounded continuous first order logic. Together with results from \cite{BenYaacov:Perturbations} regarding perturbations of bounded metric structures, we prove a Ryll-Nardzewski style characterisation of theories of Banach spaces which are separably categorical up to small perturbation of the norm. This last result is motivated by an unpublished result of Henson.

Affiliated with

Also associated with

No associations

Rating

Continuous first order logic for unbounded metric structures 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 for unbounded metric structures, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Continuous first order logic for unbounded metric structures will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-188332