Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Regular Talk:
Some Reflections on the Principle of Image Collection

Speaker: Albert Ziegler
Presentation: ImageCollectiom.ppt
Slot: Mon, 10:30-10:50, Faraday B (col. 2)

Abstract

This article considers two alternative and formal weaker forms of
Fullness, one of the axioms of constructive Zermelo--Fraenkel set
theory. The relation to other axioms is analysed and some results that
previously invoked Fullness are shown to be provable with the weaker
forms too, sometimes even more easily. 


websites: Arnold Beckmann 2006-04-19 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net