Ask a Question

Prefer a chat interface with context about you and your work?

A characterization of well-orders

A characterization of well-orders