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 (12)
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
This page was built for publication: Models of axiomatic systems