« first day (1222 days earlier)      last day (1890 days later) » 

Malice Vidrine
Malice Vidrine
22:44
@user21820 - Can you confirm that there seems to be a typo in the definition of the search tree for Pi_1^1 sentences in that Pohlers chapter? The clause for a V-type redex refers to the "first formula in CS(F)," and I want to double check that it's in no way clear where this F comes from in the definition.
In case you don't want to dig for that again, here's a picture of the page with the definition of the search tree. drive.google.com/open?id=1257SXEbOAz4a7PatEpOcUOEkfnqt_d3k

« first day (1222 days earlier)      last day (1890 days later) »