An induction principle over real numbers

DOI10.1007/s00153-016-0513-8zbMath1402.03091OpenAlexW2529297474MaRDI QIDQ512134

Assia Mahboubi

Publication date: 24 February 2017

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01376054/file/main.pdf

zbMATH Keywords

open inductionencodingbar inductiondyadic numberenumerative open setreal numbers and constructive analysis

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Intuitionistic mathematics (03F55)

Cites Work

• Proving open properties by induction
• Constructivism in mathematics. An introduction. Volume I
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Unnamed Item
• Unnamed Item

This page was built for publication: An induction principle over real numbers