scientific article; zbMATH DE number 4187805

MaRDI QIDQ5752569zbMATH OpenFDO

Authors Per Martin-Löf

Publication date 1990

zbMATH Keywords

choice sequencesintuitive notions of the infinitenonstandard extension of type theory

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Nonstandard models (03H99)

Recommendations

• A note on Mathematics of infinity
• scientific article; zbMATH DE number 4112580
• Non Standard Regular Finite Set Theory
• How to measure the infinite. Mathematics with infinite and infinitesimal numbers
• scientific article; zbMATH DE number 3999916

Cited in

(17)

• A constructive approach to state description semantics
• A model for intuitionistic non-standard arithmetic
• A constructive approach to nonstandard analysis
• Foundational aspects of multiscale digitization
• Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
• Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory
• A Dialogical Account of the Intersubjectivity of Intuitionism
• scientific article; zbMATH DE number 5082400 (Why is no real title available?)
• A note on Mathematics of infinity
• scientific article; zbMATH DE number 1542872 (Why is no real title available?)
• scientific article; zbMATH DE number 2090052 (Why is no real title available?)
• scientific article; zbMATH DE number 7168147 (Why is no real title available?)
• Infinite objects in type theory
• Coalgebras in functional programming and type theory
• Remarks on Martin-Löf's partial type theory
• Paradoxical connectives: proof-theoretic semantics, recursion, and fixed-point operators
• Insight in discrete geometry and computational content of a discrete model of the continuum

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 Q5752569)