FOM: priority and forcing

[Adrian-Richard-David Mathias]

There is a paper by Lachlan, based on his lectures at the 
1971 Cambridge Summer School in Mathematical Logic, which 
(from memory) presents priority arguments as 
applications of the Baire Category Theorem for cunningly defined 
topologies; a counterpart, perhaps, to Ryll-Nardzewski's 
interpretation of the construction of generic objects as another 
instance of BCT. 

The paper is in the Proceedings of that meeting, published in the 
Springer Lecture Notes series in 1973, and edited by myself and 
Hartley Rogers Jr. 

A.R.D.Mathias, 
   Professeur de Mathématiques Pures

Département de Mathématiques et Informatique,
Université de la Réunion
15, Avenue René Cassin BP 7151
97715 St Denis de la Réunion, Messagerie 9,
France

bureau:     00262 262 93 82 88
télécopie:  00262 262 93 82 60