A note on Mathematics of infinity

DOI10.2307/2275138MaRDI QIDQ4283062zbMATH OpenOpenAlexFDO

Authors 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

arithmetical theories based on intuitionistic logicchoice sequencesHeyting arithmeticMartin-Löf type theoryrecursive functions

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Recommendations

• scientific article; zbMATH DE number 4187805
• scientific article; zbMATH DE number 3853066
• scientific article; zbMATH DE number 749939
• Constructive theory of sets with types; compatibility with Church's thesis
• scientific article; zbMATH DE number 1984510

Cited in

(9)

• A constructive approach to nonstandard analysis
• Foundational aspects of multiscale digitization
• Weyl and Intuitionistic Infinitesimals
• scientific article; zbMATH DE number 3897506 (Why is no real title available?)
• scientific article; zbMATH DE number 1047980 (Why is no real title available?)
• scientific article; zbMATH DE number 1984510 (Why is no real title available?)
• Finiteness and rational sequences, constructively
• scientific article; zbMATH DE number 4187805 (Why is no real title available?)
• Coalgebras in functional programming and type theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4283062)