SIMON FR ASE R UNIVERSITY
    Paper S-58
    MMQANDUM
    .
    JX)
    To..................Mx....D... P....Rob.e.r.ts.oii,...........................................
    ..From ....... ..... ..
    P. G.Tuck
    ............
    Secre
    .ary of Sena.e
    .................. .............
    Acting
    ea •
    nof
    .
    Science.
    Subject
    B. Florence
    .
    ,...Ph.D.
    ..Date................
    September
    .2?,....
    17
    Candidate, Dept. of Mathematics
    .
    At its meeting of September 26, 1967, the Faculty of Science
    unanimously carried the following motion:
    That Faculty approved document 8-A and recommend
    to Senate that Mr. John B. Florence be granted
    the degree of Ph.D.
    Document 8-A Is attached.
    .
    ck
    D. G.
    Tuck
    Pt
    .
    S*
    •
    c
    -
    M st
    8-A
    /to
    /7
    TO: Dr. D. G. Tuck
    FROM: Ronald Harrop
    Acting Dean
    Head, Mathematics
    Faculty of Science
    Department
    RE: J.B. Florence M.A.(2nd
    DATE: September
    8, 1967
    •.
    class Hons.)(St. Andrews)
    196k;
    M.Sc.(Newcastle upon
    Tyne)
    1965
    -Candidate for
    Ph.D. degree
    The following requirements for the Ph.D. degree have been
    met by Mr. Florence.
    Residence;
    1 calendar year at Newcastle upon Tyne
    1964/5.
    6
    semesters at Simon Fraser University
    1965/7'
    courses:
    i) Newcastle upon Tyne: year courses and year seminars
    in Algebra and in Mathematical Logic.
    (Equivalent of 20 hours course work)
    (No grades or transcripts but the degree has an
    external examiner.)
    M.Sc. Dissertation Title: Maximal Recursively
    Enumerable Sets
    2) S.F.U.:
    802-2 (Advanced Seminar(Mathematical Logic)) A
    803-4
    (Mathematical Lógic(Recursive Functions)) A
    821-4 General Topology
    A
    802-2 (Advanced Seminar(Mathematical Logic)) A
    804-4
    (Mathematical Logic(Model Theory))
    A
    Comprehensive examination passed July 1966.
    Lan"uage
    requirements in German and French passed Fall
    196
    Spring
    1967
    respectively.
    Thesis:
    Three contributions to the theory of recursively enumerable
    classes.
    Supervising Committee:
    A.H. Lachlan (Senior Supervisor)
    E. M. Shoemaker
    S. K. Thomason
    •
    5M
    •1
    -2 -
    Examining Committee:
    A. H. Lachlan (Chairman)
    W. E. Ritter (external examiner)
    R.
    Harrop (For E. M. Shoemaker)
    S.
    K. Thomason
    Thesis accepted July 27, 1967
    This completes the requirements for the Ph.D. degree
    for Mr. Florence.
    Ronald Harrop
    Head, Mathematics
    Department
    0

    Back to top