A nonstandard proof of a lemma from constructive measure theory

DOI10.1002/MALQ.200610008MaRDI QIDQ3419672zbMATH OpenOpenAlexWikidataFDO

Authors David A. Ross

Publication date 7 February 2007

Published in MLQ (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200610008

zbMATH Keywords

constructive analysismeasure theorynonstandard analysis

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other connections with logic and set theory (28E15) Nonstandard functional analysis (46S20) Constructive functional analysis (46S30)

Recommendations

• scientific article; zbMATH DE number 1795229
• A New Approach to Constructive Topology and Measure Theory
• Nonstandard analysis and constructivism?
• Developments in Constructive Nonstandard Analysis
• A functional approach to nonstandard measure theory

Cites work

• Constructive measure theory
• scientific article; zbMATH DE number 3621713 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)

Cited in

(4)

• Nonstandard analysis and constructivism?
• Toward a clarity of the extreme value theorem
• The computational content of nonstandard analysis
• Bishop's lemma

This page was built for publication: A nonstandard proof of a lemma from constructive measure theory

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