Why topology in the minimalist foundation must be pointfree

DOI10.12775/LLP.2013.010zbMath1341.03097OpenAlexW2006709633MaRDI QIDQ4982399

Maria Emilia Maietti, Giovanni Sambin

Publication date: 9 April 2015

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2013.010

zbMATH Keywords

constructive type theoryreal numbersbar inductionpointfree topologychoice sequenceminimalist foundationaxiom of unique choice

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice

This page was built for publication: Why topology in the minimalist foundation must be pointfree