Gödel Theorems for Non-Constructive Logics

DOI10.2307/2266293zbMath0017.24202OpenAlexW2009003556MaRDI QIDQ5768565

J. Barkley Rosser

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

zbMATH Keywords

Foundations, philosophy, logic

Related Items

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

• General recursive functions of natural numbers
• Ein Gültigkeitskriterium für die Sätze der klassischen Mathematik