|
|
|
Vol. 11(5), 2011 |
| Short note on Sacks generic extensions |
Rodrigo A. Freire
Centre for Logic, Epistemology and the History of Science
State University of Campinas - Campinas, Brazil
|
Abstract:
In this short note I give a simple and direct proof of the fact that a
Sacks generic extension is generated by one Sacks real. A direct and
detailed argument for this folkloric and well-known result is not to be
found in most standard texts on this subject, including [2]. In fact, I
have only found one paper presenting a direct proof for this
proposition ([1]), but his argument is very short in the crucial part
on the Cantor-Bendixon analysis. I provide here a more detailed
argument, as I think that it is worth having this proof available to
the nonspecialist.
|
vol.
11, n. 5, 2011 |
|
|
