Preliminary investigations on induction over real numbers
Logic in Computer Science
2023-05-25 v1
Abstract
The induction principle for natural numbers expresses that when a property holds for some natural number a and is hereditary, then it holds for all numbers greater than or equal to a. We present a similar principle for real numbers.
Cite
@article{arxiv.2305.14803,
title = {Preliminary investigations on induction over real numbers},
author = {Gilles Dowek},
journal= {arXiv preprint arXiv:2305.14803},
year = {2023}
}