Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory

DOI10.46298/lmcs-20(4:2)2024MaRDI QIDQ6635512

Iosif Petrakis, Max Zeuner

Publication date: 12 November 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

integrable functionsmeasure spacesintegration spacesconstuctive measure theory

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Measure and integration (28-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Measure, randomness and sublocales
• Intuitionism. An introduction
• On the Daniell integral
• A computable approach to measure and integration theory
• The constructive Radon-Nikodym theorem
• Metric Boolean algebras and constructive measure theory
• A general form of integral.
• Algebras of complemented subsets
• Constructive algebraic integration theory
• Constructing categories and setoids of setoids in type theory
• A type theory for probability density functions
• Foundations of Constructive Probability Theory
• Integrals and valuations
• On the Lebesgue measurability of continuous functions in constructive analysis
• A Short Proof of an Existence Theorem in Constructive Measure Theory
• Constructive set theory
• Countable Choice as a Questionable Uniformity Principle
• Direct spectra of Bishop spaces and their limits
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
• Proof-relevance in Bishop-style constructive mathematics
• Synthetic topology in Homotopy Type Theory for probabilistic programming
• Embeddings of Bishop spaces
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Algebraic integration theory
• Constructive measure theory
• A Constructive Approach to the Theory of Stochastic Processes
• Notes on Integration
• Abstract Probability Spaces and a Theorem of Kolmogoroff
• Bases of Pseudocompact Bishop Spaces
• Subspaces in Pointfree Topology: Towards a New Approach to Measure Theory
• Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory

Related Items (1)

Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory

This page was built for publication: Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory