Pages that link to "Item:Q5768565"
From MaRDI portal
The following pages link to Gödel Theorems for Non-Constructive Logics (Q5768565):
Displayed 11 items.
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- On <i>ω</i>-consistency and related properties (Q3233195) (← links)
- The classical and the <i>ω</i>-complete arithmetic (Q3252699) (← links)
- The role of the Omitting Types Theorem in infinitary logic (Q3919693) (← links)
- Lorenzen Between Gentzen and Schütte (Q5024725) (← links)
- A new application for explanation-based generalisation within automated deduction (Q5210770) (← links)
- Transfinite recursive progressions of axiomatic theories (Q5727661) (← links)
- The consistency of the ramified <i>Principia</i> (Q5771774) (← links)
- On the consistency of Quine's <i>New foundations for mathematical logic</i> (Q5772178) (← links)
- On undecidable statements in enlarged systems of logic and the concept of truth (Q5774802) (← links)
- Recursive Predicates and Quantifiers (Q5843994) (← links)