Pages that link to "Item:Q2287034"
From MaRDI portal
The following pages link to First-order continuous induction and a logical study of real closed fields (Q2287034):
Displaying 5 items.
- Generalizing theorems in real closed fields (Q1899140) (← links)
- Axiomatic (and non-axiomatic) mathematics (Q2080664) (← 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)
- An Intuitionistic Axiomatisation of Real Closed Fields (Q4531092) (← links)
- The Instructor’s Guide to Real Induction (Q5108578) (← links)