Sciweavers

JSYML
2007
80views more  JSYML 2007»
13 years 11 months ago
Theories very close to PA where Kreisel's Conjecture is false
We give four examples of theories in which Kreisel’s Conjecture is false: (1) the theory PA(-) obtained by adding a function symbol minus, ‘−’, to the language of PA, and t...
Pavel Hrubes