Pages that link to "Item:Q5184891"
From MaRDI portal
The following pages link to Some Prime Elements in the Lattice of Interpretability Types (Q5184891):
Displayed 15 items.
- The unprovability of small inconsistency. A study of local and global interpretability (Q688510) (← links)
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Pairs, sets and sequences in first-order theories (Q943342) (← links)
- The formalization of interpretability (Q1176098) (← links)
- On \(\mathsf{Q}\) (Q1699730) (← links)
- Remarks and problems on a lattice of equational chapters (Q1821134) (← links)
- Weak sequential theories of finite full binary trees (Q2104270) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- Extension and interpretability (Q2658276) (← links)
- Sequence encoding without induction (Q2888636) (← links)
- CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN (Q3644806) (← links)
- The small‐is‐very‐small principle (Q5108874) (← links)
- The Interpretation Existence Lemma (Q5214783) (← links)