A note on Mathematics of infinity

DOI10.2307/2275138zbMath0795.03084OpenAlexW2152941748MaRDI QIDQ4283062

Erik Palmgren

Publication date: 1 September 1994

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275138

zbMATH Keywords

Heyting arithmeticMartin-Löf type theoryrecursive functionschoice sequencesarithmetical theories based on intuitionistic logic

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Related Items (4)

A constructive approach to nonstandard analysis ⋮ Foundational aspects of multiscale digitization ⋮ Coalgebras in functional programming and type theory ⋮ Weyl and Intuitionistic Infinitesimals

This page was built for publication: A note on Mathematics of infinity