Choice and Pointfree Topology
 
 
Description: 

Remarks on the interaction between pointfree topology and certain choice principles, specifically the Axiom of Choice (AC), the Axiom of Countable Choice (ACC), and the Boolean Prime Ideal Theorem (PIT), in connection with the following issues:

(1) The equivalence of PIT with certain spatiality conditions,

(2) the relation between the classical Stone-Cech compactification and its pointfree counterpart (which does not require any choice principle),

(3) the same regarding the classical Hausdorff Tychonoff Theorem and the pointfree Tychonoff Theorem (which also does not involve any choice principle),

(4) the equivalence of ACC and the Lindelofness of certain 0-dimensional frames, and

(5) the equivalence of AC and PIT with certain conditions concerning, respectively, the maximal and the prime elements of coherent frames.

Date:  2013-06-18
Start Time:   15:00
Speaker:  Bernhard Banaschewski (McMaster Univ., Hamilton, Canada)
Institution:  McMaster University
Place:  Sala 5.5
Research Groups: -Algebra, Logic and Topology
See more:   <Main>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support