Prefer a chat interface with context about you and your work?
Fans, real valuations, and hereditarily-Pythagorean fields