Sökning: "partal conservativity"

Hittade 1 avhandling innehållade orden partal conservativity.

1. 1. On some Orderings of Extensions of Arithmetic

   Författare :Christian Bennet; Göteborgs universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; Arithmetization; interpretability; lattice; Lindenbaum algebra; partal conservativity; Peano Arithmetic; relative consistency; self-reference;

   Sammanfattning : .... LÄS MER