{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/16322"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/16322","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics","abstract":"Thesis. 1978. Ph.D.--Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy.","abstract_html":"Thesis. 1978. Ph.D.--Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy.","abstract_has_math":false,"creators":["Auerbach, David Daniel"],"institution":"Massachusetts Institute of Technology","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy","school":null,"contributors":[],"advisors":["George S. Boolos."],"committee_chairs":[],"committee_members":[],"year":1978,"date_issued":"1978","date_published":"1978","updated_at":"2026-07-22T22:21:07Z","subjects":["Linguistics and Philosophy"],"languages":["eng"],"rights":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."],"rights_urls":["http://dspace.mit.edu/handle/1721.1/16322","http://dspace.mit.edu/handle/1721.1/7582"],"identifier_entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://dspace.mit.edu/handle/1721.1/16322"],"render_values":[{"text":"http://dspace.mit.edu/handle/1721.1/16322","href":"http://dspace.mit.edu/handle/1721.1/16322","code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/1721.1/16322","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["George S. Boolos."]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy"]},{"key":"dc:creator","label":"Author","values":["Auerbach, David Daniel"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2009-01-30T18:31:40Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2009-01-30T18:31:40Z"]},{"key":"dc:date.issued","label":"Date","values":["1978"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Linguistics and Philosophy"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://dspace.mit.edu/handle/1721.1/16322","http://dspace.mit.edu/handle/1721.1/7582"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://dspace.mit.edu/handle/1721.1/16322","http://hdl.handle.net/1721.1/16322"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Thesis. 1978. Ph.D.--Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy.","MICROFICHE COPY AVAILABLE IN ARCHIVES AND HUMANITIES.","Bibliography: leaves 131-132."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Ph.D."]},{"key":"dc:title","label":"Title","values":["Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics"]}]}],"canonical_facts":{"dc:contributor.advisor":["George S. Boolos."],"dc:contributor.department":["Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy"],"dc:creator":["Auerbach, David Daniel"],"dc:date.accessioned":["2009-01-30T18:31:40Z"],"dc:date.available":["2009-01-30T18:31:40Z"],"dc:date.issued":["1978"],"dc:description":["Thesis. 1978. Ph.D.--Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy.","MICROFICHE COPY AVAILABLE IN ARCHIVES AND HUMANITIES.","Bibliography: leaves 131-132."],"dc:description.degree":["Ph.D."],"dc:identifier.uri":["http://dspace.mit.edu/handle/1721.1/16322","http://hdl.handle.net/1721.1/16322"],"dc:language.iso":["eng"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."],"dc:rights.uri":["http://dspace.mit.edu/handle/1721.1/16322","http://dspace.mit.edu/handle/1721.1/7582"],"dc:subject":["Linguistics and Philosophy"],"dc:title":["Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics"],"dc:type":["Thesis"]},"updated_at":"2026-07-22T22:21:07Z"}