Pith. sign in

REVIEW

The Instructor's Guide to Real Induction

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1208.0973 v1 pith:FF7HT3W6 submitted 2012-08-05 math.HO

The Instructor's Guide to Real Induction

classification math.HO
keywords realinductionapplicablegiveorderedanalogousanalysisapplied
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We introduce real induction, a proof technique analogous to mathematical induction but applicable to statements indexed by an interval on the real line. More generally we give an inductive principle applicable in any Dedekind complete linearly ordered set. Real and ordered induction is then applied to give streamlined, conceptual proofs of basic results in honors calculus, elementary real analysis and topology.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.