Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/8313
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Banaschewski, Bernhard | en_US |
dc.contributor.author | Squire, Richard | en_US |
dc.date.accessioned | 2014-06-18T16:42:29Z | - |
dc.date.available | 2014-06-18T16:42:29Z | - |
dc.date.created | 2010-11-25 | en_US |
dc.date.issued | 1989 | en_US |
dc.identifier.other | opendissertations/3528 | en_US |
dc.identifier.other | 4545 | en_US |
dc.identifier.other | 1662241 | en_US |
dc.identifier.uri | http://hdl.handle.net/11375/8313 | - |
dc.description.abstract | <p>To each non-degenerate topos [symbol removed] we associate L([symbol removed]), the intermediate propositional logic (i.p.l.) consisting of those polynomials, built up from variables, 0, 1, ʌ, v and →, which become valid when interpreted in the natural internal Heyting algebra structure of the subobject classifier of [symbol removed]. For various polynomials φ, we give first order characterizations for the class of small categories determined by the condition φ ε L([symbol removed]) - where [symbol removed] is the topos of sets and C ranges over small categories. A basic example is:</p> <p>v v ד v ε L([symbol removed]) iff C is a groupoid.</p> <p>The presheaf topos [symbol removed], of actions of a single idempotent, whose i.p.l. is given by:</p> <p>φ ε L([symbol removed]) iff ד u v v v (v → u) ꜔ φ,</p> <p>is used to exemplify a relativization of the basic example, to toposes. For each topos [symbol removed] we introduce r([symbol removed]), the set of all polynomials φ such that for all internal categories C of [symbol removed], if φ ε L([symbol removed]) then C is a groupoid. Using a theorem of Jankov's we can compute ɼ([symbol removed]) when M belongs to a certain class of finite monoids that includes semilattices; in particular: φ ε ɼ([symbol removed]) iff φ ꜔ u v (u → (v v ד v)). This polynomial - the cogenerator of ɼ([symbol removed]) - is strictly weaker than the generator of L([symbol removed]).</p> <p>We use the higher order type theoretical language of a topos ([symbol removed]), developed in the first half of the thesis, to establish that for an extensive class of polynomials, the condition φ ε ɼ([symbol removed]) can be internalized; that is, we can define a formula ([symbol removed]), of the language of [symbol removed], such that: φ ε ɼ([symbol removed]) iff [symbols removed].</p> <p>This theorem has as particular cases:</p> <p>(1) [symbols removed]</p> <p>(2) [symbols removed]</p> <p>(3) [symbols removed]</p> | en_US |
dc.subject | Mathematics | en_US |
dc.subject | Mathematics | en_US |
dc.title | Presheaf Toposes and Propositional Logic | en_US |
dc.type | thesis | en_US |
dc.contributor.department | Mathematics | en_US |
dc.description.degree | Doctor of Philosophy (PhD) | en_US |
Appears in Collections: | Open Access Dissertations and Theses |
Files in This Item:
File | Size | Format | |
---|---|---|---|
fulltext.pdf | 11.63 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.