@inproceedings{10.1007/BFb0076224,
    Address = {Berlin, Heidelberg},
    Author = {Ku{\v{c}}era, Anton{\'\i}n},
    BookTitle = {Recursion Theory Week},
    Editor = {Ebbinghaus, Heinz-Dieter and M{\"u}ller, Gert H. and Sacks, Gerald E.},
    File = {Measure, Π 0 1 -classes and complete extensions of PA - Kučera1985\_Chapter\_MeasureΠ10-classesAndCompleteE.pdf},
    ISBN = {978-3-540-39596-6},
    Pages = {245--259},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Measure, $\Pi$10-classes and complete extensions of PA},
    Year = {1985},
    date-added = {2022-07-27 10:17:53 +0200},
    date-modified = {2022-07-27 10:17:53 +0200},
    doi = {10.1007/BFb0076224}
}

@inproceedings{10.1007/BFb0076224, Address = {Berlin, Heidelberg}, Author = {Ku{\v{c}}era, Anton{\'\i}n}, BookTitle = {Recursion Theory Week}, Editor = {Ebbinghaus, Heinz-Dieter and M{\"u}ller, Gert H. and Sacks, Gerald E.}, File = {Measure, Π 0 1 -classes and complete extensions of PA - Kučera1985_Chapter_MeasureΠ10-classesAndCompleteE.pdf}, ISBN = {978-3-540-39596-6}, Pages = {245--259}, Publisher = {Springer Berlin Heidelberg}, Title = {Measure, $\Pi$10-classes and complete extensions of PA}, Year = {1985}, date-added = {2022-07-27 10:17:53 +0200}, date-modified = {2022-07-27 10:17:53 +0200}, doi = {10.1007/BFb0076224} }