Point-free construction of real exponentiation

MaRDI QIDQ5101348zbMATH OpenFDO

Authors

Publication date 30 August 2022

Full work available at URL https://arxiv.org/abs/2104.00162, https://lmcs.episciences.org/9879

zbMATH Keywords

constructive analysisexponentiationgeometric logiclogarithmplacespoint-free topology

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• From Intuitionistic Mathematics to Point-Free Topology
• scientific article; zbMATH DE number 1164976
• Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
• Spatiality for formal topologies
• Uniform locales and their constructive aspects

Cites work

• A localic theory of lower and upper integrals
• Adelic models of tensor-triangulated categories
• An induction principle for consequence in arithmetic universes
• Arithmetic universes and classifying toposes
• Continuity and geometric logic
• Effectively given domains
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 2222240 (Why is no real title available?)
• Information systems for continuous posets
• On the Parshin-Beilinson adeles for schemes
• On the passage from local to global in number theory
• Proper maps of locales
• Sublocales in formal topology
• Topical categories of domains

Cited in

(2)

• scientific article; zbMATH DE number 5251297 (Why is no real title available?)
• Point-free Construction of Real Exponentiation

This page was built for publication: Point-free construction of real exponentiation

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