A Constructive Model of Uniform Continuity

DOI10.1007/978-3-642-38946-7_18zbMath1433.03155OpenAlexW123915678MaRDI QIDQ5300905

Martín Hötzel Escardó, Chuangjie Xu

Publication date: 28 June 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38946-7_18

zbMATH Keywords

constructive mathematicsuniform continuitysheavestopos theoryGödel's system Tfan functionalintuitionistic type theorytopological models\(\mathrm{HA}^{\omega }\)

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Other constructive mathematics (03F65) Combinatory logic and lambda calculus (03B40) Presheaves and sheaves in general topology (54B40) Type theory (03B38)

Related Items (5)

A constructive manifestation of the Kleene-Kreisel continuous functionals ⋮ Compactly generated spaces and quasi-spaces in topology ⋮ A Computable Solution to Partee’s Temperature Puzzle ⋮ Validating Brouwer's continuity principle for numbers using named exceptions ⋮ Continuous and monotone machines

Uses Software

• Agda

This page was built for publication: A Constructive Model of Uniform Continuity