The problem was solved by Artin in 1927, [2], using the typical non-constructive machinery of modern algebra, and in 1955 Artin asked Kreisel if the proof could be made constructive. Kreisel asserted that this was possible, and published indications of his method in two places, [3] and [4]. Although [3] gives more detail than, [4], both papers are rather cryptic, neither giving a complete connected account: moreover, for the logical part of the argument, Kreisel uses the Hilbert-Bernays e-theorems. [...]
| Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QMM.116809 |
| Date | January 1965 |
| Creators | Brown, John. |
| Contributors | Denton, J. (Supervisor) |
| Publisher | McGill University |
| Source Sets | Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada |
| Language | English |
| Detected Language | English |
| Type | Electronic Thesis or Dissertation |
| Format | application/pdf |
| Coverage | Master of Science. (Department of Mathematics. ) |
| Rights | All items in eScholarship@McGill are protected by copyright with all rights reserved unless otherwise indicated. |
| Relation | alephsysno: NNNNNNNNN, Theses scanned by McGill Library. |
Page generated in 0.0016 seconds