Models of axiomatic systems
From MaRDI portal
Publication:5822066
DOI10.4064/fm-39-1-133-158zbMath0053.20102OpenAlexW4234249603MaRDI QIDQ5822066
Publication date: 1953
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213259
Related Items
A Non-Standard Truth Definition, Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\), What languages have Tarski truth definitions?, GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑n-DEFINABLE THEORIES OF ARITHMETIC, Independent Recursive Axiomatizability in Arithmetic, The logical strength of compositional principles, Andrzej Mostowski and the Notion of a Model, Arithmetical completeness theorem for modal logic \(\mathsf{K}\), On partial disjunction properties of theories containing Peano arithmetic, In memory of Andrzej Mostowski, The implicit commitment of arithmetical theories and its semantic core, Independent axiomatizability of sets of sentences