Pages that link to "Item:Q1181486"
From MaRDI portal
The following pages link to A note on the interpretability logic of finitely axiomatized theories (Q1181486):
Displaying 11 items.
- On the proofs of arithmetical completeness for interpretability logic (Q689212) (← links)
- Interpretability in PRA (Q1035648) (← links)
- Non-covering in the interpretability lattice of equational theories (Q1802249) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- Provability in finite subtheories of PA and relative interpretability: a modal investigation (Q3760515) (← links)
- (Q4347425) (← links)
- TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (Q5107215) (← links)
- Interpreting GPFCSP within the LΠ ½ logic framework (Q5252363) (← links)
- Complexity of the interpretability logics <b>IL</b>W and <b>IL</b>P (Q5877713) (← links)
