• English
    • Norsk
  • English 
    • English
    • Norsk
  • Administration
View Item 
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • View Item
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Non-standard models for MINPAR

Hagalisletto, Anders Moen
Research report
View/Open
Report318.pdf (98.96Kb)
Year
2004
Permanent link
http://urn.nb.no/URN:NBN:no-18739

Is part of
Research report
Metadata
Show metadata
Appears in the following Collection
  • Institutt for informatikk [3640]
Abstract
In the following essay we shall describe models for the theory MINPAR, the theory for finite binary trees, described in Jervell [2003]. In particular we shall investigate non-standard models simpler than the one presented by Roger, denotedM*. These include the models for both right and left oriented w-ladders and the zik-zak model. We believe that M* is the maximal nonstandard model for MINPAR, and that it is constructively inaccessible from any simpler model, not only those presented in the paper.
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy
 

 

For students / employeesSubmit master thesisAccess to restricted material

Browse

All of DUOCommunities & CollectionsBy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

For library staff

Login
RSS Feeds
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy