On the formal points of the formal topology of the binary tree
type: Item
instance of: scholarly article
title: On the formal points of the formal topology of the binary tree
zbMATH Open document ID: 1024.03064
author: Silvio Valentini
published in: Archive for Mathematical Logic
publication date: 2003-09-16T00:00:00Z
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 54A05
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03F50
zbMATH DE Number: 1982489
zbMATH Keywords: constructive mathematics
zbMATH Keywords: formal topology
zbMATH Keywords: formal point
zbMATH Keywords: Martin-Löf's constructive type theory
MaRDI profile type: Publication
full work available at URL: s001530100133
OpenAlex ID: W1995866419
DOI: 10.1007/S001530100133
description: scientific article; zbMATH DE number 1982489