Effective Metric Structure Theory

Johanna N. Y. Franklin · Isaac Goldbring · Timothy H. McNicholl

Apr 2026 · Springer Nature

Ebook

164

Pages

About this ebook

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.

Discover more

About the author

Johanna Franklin is a Professor of Mathematics at Hofstra University. Her research interests lie in computable structure theory, computable analysis, and algorithmic randomness.

Isaac Goldbring is a Professor of Mathematics at the University of California, Irvine. His research interests are in model theory and nonstandard analysis, with applications to a wide variety of areas of mathematics, including operator algebras, combinatorics, Lie theory, and quantum theory.

Timothy McNicholl is a Professor of Mathematics at Iowa State University. He is an internationally recognized scholar in computable analysis. He has worked extensively on the computable structure theory of Banach spaces. He has also published papers on computable complex analysis, computable structure theory, and computable topology.

Johanna Franklin is a Professor of Mathematics at Hofstra University. Her research interests lie in computable structure theory, computable analysis, and algorithmic randomness. Isaac Goldbring is a Professor of Mathematics at the University of California, Irvine. His research interests are in mo...

Rate this ebook

Tell us what you think.

Reading information

Smartphones and tablets

Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.

Laptops and computers

You can listen to audiobooks purchased on Google Play using your computer's web browser.

eReaders and other devices

To read on e-ink devices like Kobo eReaders, you'll need to download a file and transfer it to your device. Follow the detailed Help Center instructions to transfer the files to supported eReaders.

Flag as inappropriate