Pages that link to "Item:Q1254312"
From MaRDI portal
The following pages link to On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X) (Q1254312):
Displayed 12 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Transductions in arithmetic (Q904144) (← links)
- On the relation provable equivalence and on partitions in effectively inseparable sets (Q1156125) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993) (← links)
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596) (← links)
- Rosser provability and normal modal logics (Q2186698) (← links)
- Uniform density in Lindenbaum algebras (Q2258545) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
- Fixed point algebras (Q3333037) (← links)
- ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM (Q5107534) (← links)