Set forcing over models of Zermelo or Mac Lane

Abstract : no abstract
Type de document :
Communication dans un congrès
Libert, Thierry and Hinnion, Roland. One hundred years of axiomatic set theory, Oct 2008, Bruxelles, Belgium. Acad.-Bruylant, Louvain-la-Neuve, 17, pp.41--66, 2010, Cahiers Centre Logique
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01188043
Contributeur : Nicolas Alarcon <>
Soumis le : vendredi 28 août 2015 - 13:02:15
Dernière modification le : mercredi 7 février 2018 - 08:12:02

Identifiants

  • HAL Id : hal-01188043, version 1

Collections

Citation

Adrian R D Mathias. Set forcing over models of Zermelo or Mac Lane. Libert, Thierry and Hinnion, Roland. One hundred years of axiomatic set theory, Oct 2008, Bruxelles, Belgium. Acad.-Bruylant, Louvain-la-Neuve, 17, pp.41--66, 2010, Cahiers Centre Logique. 〈hal-01188043〉

Partager

Métriques

Consultations de la notice

23