How constructive is constructing measures?

DOI10.4115/jla.2017.9.c3zbMath1423.03158arXiv1409.3428OpenAlexW1793509362MaRDI QIDQ2987777

Arno Pauly, Willem L. Fouché

Publication date: 18 May 2017

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1409.3428

zbMATH Keywords

Hausdorff dimensionmeasure theorycomputable analysisWeihrauch reducibilityFrostman lemma

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Spaces of measures, convergence of measures (28A33) Foundations of classical theories (including reverse mathematics) (03B30) Computation over the reals, computable analysis (03D78)

Related Items (1)

Effective aspects of Hausdorff and Fourier dimension

Uses Software

• MathOverflow

Cites Work

• Unnamed Item
• Unnamed Item
• Theory of representations
• Recursive characterization of computable real-valued functions and relations
• Computability on subsets of metric spaces.
• A topological view on algebraic computation models
• Computability on computable metric spaces
• Real hypercomputation and continuity
• Universal measure zero, large Hausdorff dimension, and nearly Lipschitz maps
• On the Computational Content of the Brouwer Fixed Point Theorem
• Fourier spectra of measures associated with algorithmically random Brownian motion
• Computability of the Radon-Nikodym Derivative
• Weihrauch Degrees of Finding Equilibria in Sequential Games
• Finite choice, convex choice and finding roots
• On the algebraic structure of Weihrauch degrees
• Admissible representations for probability measures
• New Computational Paradigms

This page was built for publication: How constructive is constructing measures?