On some peculiar aspects of the constructive theory of point-free spaces
type: Item
instance of: scholarly article
title: On some peculiar aspects of the constructive theory of point-free spaces
zbMATH Open document ID: 1200.03043
author: Giovanni Curi
published in: Mathematical Logic Quarterly
publication date: 2010-08-18T00:00:00Z
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 54A35
zbMATH DE Number: 5772366
zbMATH Keywords: locale
zbMATH Keywords: formal space
zbMATH Keywords: constructive set theory
zbMATH Keywords: constructive type theory
zbMATH Keywords: topos logic
zbMATH Keywords: independence results
zbMATH Keywords: uniformity principle
MaRDI profile type: Publication
full work available at URL: malq.200910037
OpenAlex ID: W1995836454
cites work: Aspects of general topology in constructive set theory
cites work: On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
cites work: Aspects of predicative algebraic set theory. II: Realizability
cites work: An intuitionistic proof of Tychonoff's theorem
cites work: A logical approach to abstract algebra
cites work: Formal topologies on the set of first-order formulae
cites work: Inductively generated formal topologies.
cites work: Exact approximations to Stone-Čech compactification
cites work: On the existence of Stone-Čech compactification
cites work: Heyting-valued interpretations for constructive set theory
cites work: Forcing in intuitionistic systems without power-set
cites work: The Gleason cover of a topos. I
cites work: Q3322276
cites work: Q5477360
cites work: Q5477363
cites work: ABOUT MODEST SETS
cites work: Pretopologies and completeness proofs
DOI: 10.1002/MALQ.200910037
Recommended article: A Few Points on Pointfree Pseudocompactness
Recommended article: A pointfree theory of Pervin spaces
Recommended article: On certain constructions in finitistic spaces
Recommended article: On point-finiteness in pointfree topology
Recommended article: Pointfree pseudocompactness revisited
Recommended article: The constructive maximal point space and partial metrizability
Recommended article: Some remarks concerning pseudocompactness in pointfree topology
Recommended article: Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory
Recommended article: On a generalization of pointfree realcompactness
Recommended article: Q4373408
description: scientific article; zbMATH DE number 5772366