A generalization of the incompleteness theorem

DOI10.4064/fm-49-2-205-232zbMath0099.00604OpenAlexW1987284508MaRDI QIDQ3279279

Andrzej Mostowski

Publication date: 1961

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/213591

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (8)

On Guaspari's problem about partially conservative sentences ⋮ The scope of Gödel's first incompleteness theorem ⋮ 1 — Consistency and faithful interpretations ⋮ UNIVERSAL ROSSER PREDICATES ⋮ In memory of Andrzej Mostowski ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ Rosser and Mostowski sentences ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC

This page was built for publication: A generalization of the incompleteness theorem