A nonstandard proof of a lemma from constructive measure theory

DOI10.1002/MALQ.200610008zbMATH Open1109.03071OpenAlexW2065855006WikidataQ124803618 ScholiaQ124803618MaRDI QIDQ3419672FDOQ3419672

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

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

zbMATH Keywords

measure theorynonstandard analysisconstructive analysis

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Constructive measure theory
• Title not available (Why is that?)

Cited In (4)

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

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)