Models of axiomatic systems

DOI10.4064/FM-39-1-133-158MaRDI QIDQ5822066zbMATH OpenOpenAlexFDO

Authors Andrzej Mostowski

Publication date 1953

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(14)

• In memory of Andrzej Mostowski
• Mathematical developments of the incompleteness theorems
• A Non-Standard Truth Definition
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• Independent axiomatizability of sets of sentences
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
• What languages have Tarski truth definitions?
• Generalizations of Gödel's incompleteness theorems for \(\Sigma_n\)-definable theories of arithmetic
• Incompleteness of boundedly axiomatizable theories
• Independent Recursive Axiomatizability in Arithmetic
• Andrzej Mostowski and the notion of a model
• The implicit commitment of arithmetical theories and its semantic core
• The logical strength of compositional principles
• On partial disjunction properties of theories containing Peano arithmetic

This page was built for publication: Models of axiomatic systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5822066)