scientific article; zbMATH DE number 1296844
Foundations of classical theories (including reverse mathematics) (03B30) Other classical set theory (including functions, relations, and set algebra) (03E20) Foundations: limits and generalizations, elementary topology of the line (26A03) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15)
The Continuous Induction is the following statement equivalent to the Dedekind Axiom: Assume that \(P_x\) is a condition concerning a real number \(x\) such that (1) there is \(x_0\) such that \(P_x\) holds for every \(x<x_0\); (2) if \(P_x\) holds for all \(x<y\), then there is \(\delta_y>0\) such that \(P_x\) is true for every \(x<y+\delta_y\). Then \(P_x\) holds for every real number \(x\). This principle was introduced in \textit{Jingzhong Zhang} [``Research on educational mathematics, Sichuan Educational Press, Chengdu (Chinese) (1994)]. In this paper the authors employ the Continuous Induction in proofs of basic theorems concerning the structure of the real line and properties of continuous functions defined on a compact interval.
- 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
- scientific article; zbMATH DE number 1061825
- scientific article; zbMATH DE number 3999927
- scientific article; zbMATH DE number 1163362
- scientific article; zbMATH DE number 3057873
- The Induction Axiom and the Axiom of Choice
- scientific article; zbMATH DE number 3570443
- Axiomatic derivation of the continuum hypothesis
- scientific article; zbMATH DE number 1880277
- scientific article; zbMATH DE number 978456
- Die Unabhängigkeit des archimedischen Axioms vom starken Intervallschachtelungsaxiom
- First-order continuous induction and a logical study of real closed fields
- Zur Induktion im Kontinuum
- 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
- To predigest proving of theorem in real number field by using separable proposition
- scientific article; zbMATH DE number 687717 (Why is no real title available?)
- The instructor's guide to real induction
- Proving theorems in a real field by means of continual induction
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4245050)
