//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
🚨NEW BOOK ALERT🚨 Effective Metric Structure Theory by @johannamath.bsky.social et al., Springer 2026. link.springer.com/book/10.1007...
Book discusses the increasingly popular topic of computable metric structure theory which unifies methods from effective analysis and computable algebra.
Effective Metric Structure Theory
link.springer.com
11d
Women In Logic