• English
    • Norsk
    • 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 [3588]
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 
Universitetsbiblioteket i Oslo


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 
Universitetsbiblioteket i Oslo


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy