Effective Metric Structure Theory

Beschreibung

This monograph introduces the reader to the increasingly popular topic of computable metric structure theory, a subject which unifies methods from effective analysis and computable algebra into one coherent framework. Computable structure theory had been constrained to the algebraic and discrete realms, but in the past 10 years or so, much work has been done in extending this topic to structures from analysis such as metric spaces, Banach spaces, and operator algebras. This book is the first comprehensive treatment of these basic results and discusses several challenging open problems that have arisen.  The book provides a foundation for the study of classic objects from functional analysis using tools from continuous model theory and computable structure theory.  It is largely self contained, though it is assumed that the reader is familiar with first-order logic. It should prove useful to students and researchers in continuous logic looking to familiarize themselves with computable structure theory as well as to researchers in the latter field looking to extend their work to structures from analysis. The discussion contains a large number of well-crafted examples and could provide the basis for a course or seminar in this area.

This monograph introduces the reader to the increasingly popular topic of computable metric structure theory, a subject which unifies methods from effective analysis and computable algebra into one coherent framework. Computable structure theory had been constrained to the algebraic and discrete realms, but in the past 10 years or so, much work has been done in extending this topic to structures from analysis such as metric spaces, Banach spaces, and operator algebras. This book is the first comprehensive treatment of these basic results and discusses several challenging open problems that have arisen.  The book provides a foundation for the study of classic objects from functional analysis using tools from continuous model theory and computable structure theory.  It is largely self contained, though it is assumed that the reader is familiar with first-order logic. It should prove useful to students and researchers in continuous logic looking to familiarize themselves with computable structure theory as well as to researchers in the latter field looking to extend their work to structures from analysis. The discussion contains a large number of well-crafted examples and could provide the basis for a course or seminar in this area.

Autor*in

Johanna N. Y. Franklin

Themen in »Effective Metric Structure Theory«

computability theory model theory continuous logic metric structures operator algebras effective metric structure theory metric structure computable analysis L-structures definable sets computable categoricity Urysohn space Lp spaces

Stimmen zu »Effective Metric Structure Theory«

Details

Link teilen