Beskrivelse
Et grunnleggende graduate-kurs i matematisk logikk. Propositionell og predikatlogikk, bevisteori, Genzens kutt-eliminasjon, fullstendighet, kompakthet, Henkin-modeller, modelteori, aritmetikk og ubesluttsomhet. Spesialemner (dersom tiden tillater) avhengig av instruktørens og publikums interesser.
Referansetekst i originalspråket
A basic graduate course in mathematical logic. Propositional and predicate logic, proof theory, Gentzen's Cut-Elimination, completeness, compactness, Henkin models, model theory, arithmetic and undecidability. Special topics (time permitting) depending on interests of instructor and audience.
Kilder og referanser
Datoer og kilder beholdes for å hjelpe deg å verifisere opplysningene. Oversettelsene tilbys for å lette lesing; den offisielle kilden er referansen for krav og betingelser.
Kildereferanse : https://calendar.carleton.ca/grad/courses/MATH/