Why topology in the minimalist foundation must be pointfree
type: Item
instance of: scholarly article
title: Why topology in the minimalist foundation must be pointfree
zbMATH Open document ID: 1341.03097
DOI: 10.12775/LLP.2013.010
author: Maria Emilia Maietti
author: Giovanni Sambin
published in: Logic and Logical Philosophy
publication date: 2015-04-09T00:00:00Z
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 18C50
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F55
zbMATH DE Number: 6423785
zbMATH Keywords: pointfree topology
zbMATH Keywords: real numbers
zbMATH Keywords: choice sequence
zbMATH Keywords: bar induction
zbMATH Keywords: constructive type theory
zbMATH Keywords: axiom of unique choice
zbMATH Keywords: minimalist foundation
MaRDI profile type: Publication
full work available at URL: llp.2013.010
OpenAlex ID: W2006709633
description: scientific article; zbMATH DE number 6423785