Gödel Theorems for Non-Constructive Logics
From MaRDI portal
Publication:5768565
DOI10.2307/2266293zbMath0017.24202OpenAlexW2009003556MaRDI QIDQ5768565
No author found.
Publication date: 1937
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2266293
Related Items (11)
Recursive Predicates and Quantifiers ⋮ On ω-consistency and related properties ⋮ The classical and the ω-complete arithmetic ⋮ Transfinite recursive progressions of axiomatic theories ⋮ The scope of Gödel's first incompleteness theorem ⋮ The consistency of the ramified Principia ⋮ On the consistency of Quine's New foundations for mathematical logic ⋮ On undecidable statements in enlarged systems of logic and the concept of truth ⋮ A new application for explanation-based generalisation within automated deduction ⋮ The role of the Omitting Types Theorem in infinitary logic ⋮ Lorenzen Between Gentzen and Schütte
Cites Work
This page was built for publication: Gödel Theorems for Non-Constructive Logics