Browsing Institutt for informatikk by Author "Hagalisletto, Anders Moen"

Now showing items 1-2 of 2

  • Complete fragments of arithmetic 
    Hagalisletto, Anders Moen (Research report / Forskningsrapport, 2004)
    In the famous paper of Kurt Gödel he proved that number theory, containing axioms for addition and multiplication is incomplete. But what about simpler theories? Are they complete? The answer is yes. The theories of addition ...
  • Non-standard models for MINPAR 
    Hagalisletto, Anders Moen (Research report / Forskningsrapport, 2004)
    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 ...