Pages that link to "Item:Q3273298"

The following pages link to Arithmetization of metamathematics in a general setting (Q3273298):

Displaying 50 items.

• A note on typed truth and consistency assertions (Q263089) (← links)
• Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
• On predicate provability logics and binumerations of fragments of Peano arithmetic (Q377475) (← links)
• Positive provability logic for uniform reflection principles (Q392274) (← links)
• The second incompleteness theorem and bounded interpretations (Q454368) (← links)
• The de Jongh property for basic arithmetic (Q481876) (← links)
• Yablifying the Rosser sentence (Q484179) (← links)
• Rosser-type undecidable sentences based on Yablo's paradox (Q484194) (← links)
• Conventionalism, consistency, and consistency sentences (Q514102) (← links)
• The incompleteness theorems after 70 years (Q598275) (← links)
• A generalized notion of weak interpretability and the corresponding modal logic (Q685075) (← links)
• On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability (Q685078) (← links)
• Structuralism and meta-mathematics (Q707711) (← links)
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
• Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
• Intensionality in mathematics (Q762052) (← links)
• Some independence results in interpretability logic (Q804562) (← links)
• Unwinding modal paradoxes on digraphs (Q830367) (← links)
• Passive induction and a solution to a Paris-Wilkie open question (Q882120) (← links)
• Informal versus formal mathematics (Q885512) (← links)
• Henkin sentences and local reflection principles for Rosser provability (Q892168) (← links)
• Transductions in arithmetic (Q904144) (← links)
• A simple dynamic logic (Q1087866) (← links)
• Interpretability of various extensions of arithmetic (Q1095138) (← links)
• Computability of partial functions and enumerability of sets in Peano's arithmetic (Q1147131) (← links)
• Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic (Q1153077) (← links)
• Binumerability in a sequence of theories (Q1163544) (← links)
• The formalization of interpretability (Q1176098) (← links)
• Predicate provability logic with non-modalized quantifiers (Q1176101) (← links)
• Independent numerations of theories and recursive progressions (Q1204765) (← links)
• Significato e verita nell'aritmetica peaniana (Q1221103) (← links)
• Experimental logics and \(\Delta^0_2\)-theories (Q1222647) (← links)
• Relativity phenomena in set theory (Q1223289) (← links)
• Un'estensione del teorema di Lob (Q1224575) (← links)
• On expandability of models of Peano arithmetic. I (Q1236114) (← links)
• On expandability of models of Peano arithmetic. III (Q1238808) (← links)
• On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X) (Q1254312) (← links)
• Arithmetical hierarchy and complexity of computation (Q1255490) (← links)
• On the set of 'meaningful' sentences of arithmetic (Q1256458) (← links)
• A sequence of theories for arithmetic whose union is complete (Q1259592) (← links)
• Tarski on ``essentially richer'' metalanguages (Q1283316) (← links)
• There is no plus-capping degree (Q1325049) (← links)
• On bimodal logics of provability (Q1332858) (← links)
• The fixed point property in modal logic (Q1409307) (← links)
• Consequences of an exotic definition for \(\text{P}=\text{NP}\). (Q1412482) (← links)
• Predicate logics of expressively strong theories (Q1582839) (← links)
• The logical strength of compositional principles (Q1704080) (← links)
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993) (← links)
• On partial disjunction properties of theories containing Peano arithmetic (Q1756504) (← links)
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596) (← links)