Opening book details…
About this scholarly article
A Note on the Theory of Well Orders by Jeřábek, Emil is a scholarly article available to read on EtoBox.
- Author
- Jeřábek, Emil
- Published
- 2024
- Language
- EN
About this book
We give a simple proof that the first-order theory of well orders is axiomatized by transfinite induction, and that it is decidable.
Details
Rate this book
Sign in to rate this book
Quick info
- Language
- English
- Published
- 2024
- Availability
- Checking…