The following pages link to (Q4245050):
Displaying 4 items.
- Die Unabhängigkeit des archimedischen Axioms vom starken Intervallschachtelungsaxiom (Q1072548) (← links)
- First-order continuous induction and a logical study of real closed fields (Q2287034) (← links)
- An equivalent form of the Dedekind axiom and its application. II. Also on the unity of the continuous induction, the mathematical induction and the transfinite induction (Q2716363) (← links)
- The Instructor’s Guide to Real Induction (Q5108578) (← links)