Arithmetization of metamathematics in a general setting
From MaRDI portal
Publication:3273298
DOI10.4064/fm-49-1-35-92zbMath0095.24301MaRDI QIDQ3273298
Publication date: 1960
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213578
Related Items
Lindenbaum Algebras and Partial Conservativity, The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem, Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories, Deduction-preserving “recursive isomorphisms” between theories, Logische Kategorien, 1 — Consistency and faithful interpretations, On predicate provability logics and binumerations of fragments of Peano arithmetic, Positive provability logic for uniform reflection principles, The second incompleteness theorem and bounded interpretations, The incompleteness theorems after 70 years, A generalized notion of weak interpretability and the corresponding modal logic, On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability, Structuralism and meta-mathematics, Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem, Intensionality in mathematics, Some independence results in interpretability logic, Passive induction and a solution to a Paris-Wilkie open question, Informal versus formal mathematics, A simple dynamic logic, Interpretability of various extensions of arithmetic, Computability of partial functions and enumerability of sets in Peano's arithmetic, Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic, Binumerability in a sequence of theories, The formalization of interpretability, Predicate provability logic with non-modalized quantifiers, Independent numerations of theories and recursive progressions, Significato e verita nell'aritmetica peaniana, Experimental logics and \(\Delta^0_2\)-theories, Relativity phenomena in set theory, Un'estensione del teorema di Lob, On expandability of models of Peano arithmetic. I, On expandability of models of Peano arithmetic. III, On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X), Arithmetical hierarchy and complexity of computation, On the set of 'meaningful' sentences of arithmetic, A sequence of theories for arithmetic whose union is complete, Tarski on ``essentially richer metalanguages, There is no plus-capping degree, On bimodal logics of provability, The fixed point property in modal logic, Consequences of an exotic definition for \(\text{P}=\text{NP}\)., Predicate logics of expressively strong theories, Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.), Some problems of completeness of arithmetic, On formalization of model-theoretic proofs of Gödel's theorems, Inconsistency of a metatheory of Nudel'man, The predicative Frege hierarchy, Montague's paradox, informal provability, and explicit modal logic, The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\), Proof Theory in Philosophy of Mathematics, Fixed point algebras, Partially Conservative Extensions of Arithmetic, Problemi aperti sulle algebre diagonali
