One hundred years of axiomatic set theory

• Date de parution : 13/07/2010
• Editeur : Academia
• EAN : 9782872099740
• Série : (-)
• Support : Papier

• Nombre de pages : (-)
• Collection : (-)
• Genre : Anglais
• Thème : Sciences humaines en langue anglaise
• Prix littéraire(s) : (-)

This Cahier du centre de logique is made of papers presented at the homonymous conference that was organized by the editors in October 2008 to celebrate the 100th birthday of axiomatic set theory. It can virtually be divided into two bundles of papers : one discussing systems related to... Voir plus

This Cahier du centre de logique is made of papers presented at the homonymous conference that was organized by the editors in October 2008 to celebrate the 100th birthday of axiomatic set theory. It can virtually be divided into two bundles of papers : one discussing systems related to Zermelo's, the other dealing more specifically with systems related to type theory and stratification, both of which treating of key notions in the axiomatization of set theory.