Continuous Truth II: Reflections

DOI10.1007/978-3-642-39992-3_15zbMath1394.03084OpenAlexW2097055807MaRDI QIDQ2849429

Michael Paul Fourman

Publication date: 17 September 2013

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39992-3_15

zbMATH Keywords

analysistoposlogicintuitionismsheaf modelpredicative

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items (4)

A constructive manifestation of the Kleene-Kreisel continuous functionals ⋮ Synthetic topology in Homotopy Type Theory for probabilistic programming ⋮ Unnamed Item ⋮ Higher order functions and Brouwer’s thesis

This page was built for publication: Continuous Truth II: Reflections