scientific article

MaRDI QIDQ3300794

Matthew I. Frank

Publication date: 30 July 2020

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

continuityconstructive mathematicscountable choice

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Logic in computer science (03B70) Constructive real analysis (26E40) Axiom of choice and related propositions (03E25) Computation over the reals, computable analysis (03D78) Computer science (68-XX)

Uses Software

• MathOverflow

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: