| dc.date.accessioned | 2013-03-12T07:59:52Z | |
| dc.date.available | 2013-03-12T07:59:52Z | |
| dc.date.issued | 2004 | en_US |
| dc.date.submitted | 2008-03-11 | en_US |
| dc.identifier.uri | http://hdl.handle.net/10852/9841 | |
| dc.description.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. | nor |
| dc.language.iso | eng | en_US |
| dc.relation.ispartof | Research report http://urn.nb.no/URN:NBN:no-35645 | en_US |
| dc.relation.uri | http://urn.nb.no/URN:NBN:no-35645 | |
| dc.title | Non-standard models for MINPAR | en_US |
| dc.type | Research report | en_US |
| dc.date.updated | 2008-03-14 | en_US |
| dc.creator.author | Hagalisletto, Anders Moen | en_US |
| dc.subject.nsi | VDP::420 | en_US |
| dc.identifier.urn | URN:NBN:no-18739 | en_US |
| dc.type.document | Forskningsrapport | en_US |
| dc.identifier.duo | 70913 | en_US |
| dc.identifier.bibsys | 080425593 | en_US |
| dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/9841/1/Report318.pdf | |