Errata : “Lawless sequences of natural numbers”
Remark on complete interpretations by models.
Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt.
Lawless sequences of natural numbers
Note on arithmetic models for consistent formulae of the predicate calculus
On the concepts of completeness and interpretation of formal systems
La prédicativité
Formally self-referential propositions for cut free classical analysis and related systems
CONTENTSIntroduction............................................................................................................................................................................................................ 5 I. Results on self-referential propositions............................................................................................................................. 11 1. Definitions of some principal metamathematical notions......................................................................
Number theoretic concepts and recursive well-orderings.
1 - Consistency and Faithful Interpretations.
Eine Unableitbarkeitsmethode für den intuitionistischen Aussagenkalkül.
Applications of formalized consistency proofs II
Some applications of formalized consistency proofs
Page 1