Pages that link to "Item:Q3851087"
From MaRDI portal
The following pages link to Theories incomparable with respect to relative interpretability (Q3851087):
Displaying 9 items.
- Alethic reference (Q777945) (← links)
- Reference and truth (Q777946) (← links)
- Problems in formal temporal reasoning (Q1104773) (← links)
- The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.) (Q1222158) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- Problemi aperti sulle algebre diagonali (Q4121961) (← links)
- REFERENCE IN ARITHMETIC (Q4961744) (← links)
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
