Heyting arithmetics
Section outline
-
Heyting arithmetics and its main properties: axiomatics, models, incompleteness.
Presentation topic 1.: Smorynski's trick, disjunction and existence property, de Jongh's theorem
-
Heyting arithmetics and its main properties: axiomatics, models, incompleteness.
Presentation topic 1.: Smorynski's trick, disjunction and existence property, de Jongh's theorem