An undecidable arithmetical statement

DOI10.4064/fm-36-1-143-164zbMath0039.00802OpenAlexW2048854384MaRDI QIDQ5798022

Andrzej Mostowski

Publication date: 1949

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

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

LOGICALITY AND MODEL CLASSES, A contribution to Gödel's axiomatic set theory, II: Basic notions and application of the theory of dyadic rings of the set theoretical type, Structures elementarily equivalent relative to infinitary languages to models of higher power, Andrzej Mostowski: A Biographical Note, In memory of Andrzej Mostowski, Categorical set theory: A characterization of the category of sets, … and so on: Schütte on Naming Ordinals, Unnamed Item, A contribution to Gödel's axiomatic set theory, III