W. Phoa. An introduction to fibrations, topos theory, the effective topos and modest sets. Report ECS-LFCS-92-208, Univ. of Edinburgh (1992).  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Term = j= Phi ctr . Then Theorem 3.35 tells us that Phi ctr , which is what we concluded in Example 3.31. And vice versa. We believe that the above development would go through, mutatis mutandis, for Henkin models [Hen50] as well as in a constructive framework like that of topos theory [Pho92], see Section 3.9 of [TvD88] In the absence of the axiom of choice, e.g. in topos theory, one must replace the function in the proof of Theorem 3.35 by a relation which is functional up to . 18 4 Behavioural equivalence and indistinguishability We now consider specific definitions of ....

W. Phoa. An introduction to fibrations, topos theory, the effective topos and modest sets. Report ECS-LFCS-92-208, Univ. of Edinburgh (1992).

....j= Phi ctr . Then Theorem 3.35 tells us that Term 1 j= Phi ctr , which is what we concluded in Example 3.31. And vice versa. We believe that the above development would go through, mutatis mutandis, for Henkin models [Hen50] as well as in a constructive framework like that of topos theory [Pho92], see Section 3.9 of [TvD88] In the absence of the axiom of choice, e.g. in topos theory, one must replace the function in the proof of Theorem 3.35 by a relation which is functional up to . 18 4 Behavioural equivalence and indistinguishability We now consider specific definitions of ....

W. Phoa. An introduction to fibrations, topos theory, the effective topos and modest sets. Report ECS-LFCS-92-208, Univ. of Edinburgh (1992).

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC